$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: a star is a source of light; int1 & sent1 -> int2: as the distance of the star to earth decreases, the star will appear brighter; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: new york state is located in the northern hemisphere; int1 & sent2 -> int2: new york state has the least sunlight during decemeber; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: earth is a planet that rotates on its tilted axis; int1 & sent4 -> int2: earth rotating on its tilted axis causes the cycle of day and night on earth; int2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: the plants in the gardens will receive sunlight in the summer; int1 & sent4 -> int2: the plants in the gardens will require sunlight to grow; int2 & sent1 -> int3: the plants in the gardens will require sunlight to grow; int3 & sent5 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: it is winter in southern hemisphere; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 & sent4 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the earth is a planet that rotates on its tilted axis once per day; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: mercury is a planet located in the solar system; int1 & sent3 -> int2: mercury orbits the sun in the solar system; int2 & sent5 -> int3: a complete orbit of mercury around the sun takes an earth year; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the new moon is when the moon could block the earth from the sun; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: comets have a highly elliptical orbit and has a period of over 1000 years; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent8 & sent1 & sent4 -> int1: earth is a planet that has a greater mass than the planet mars; int1 & sent6 -> int2: the force of gravity on earth will be greater than on mars; int2 & sent5 -> int3: objects will weigh less on mars than on earth because the force of gravity is less on mars; int2 & sent7 & sent3 -> int4: objects will have the same mass on earth and on mars; int3 & int4 -> int5: objects will weigh less on mars than on earth; int5 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: moons orbiting jupiter are an example of moons; int1 & sent4 -> int2: a telescope can be used to observe the moons that orbit around jupiter; int2 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: a new moon will occur 28 days after the last time it occurs; int1 & sent1 -> int2: the next new moon will occur 28 days after june 30; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: the grand canyon is a kind of place; int1 & sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: a fossil of an ocean plant is found in the desert; int1 & sent3 -> int2: the desert used to be covered by water in the past; int2 & sent2 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: marine fossils are fossils of water animals; int1 & sent7 -> int2: fossils of water animals are found in mountains; int2 & sent2 -> int3: the mountains used to be covered by water in the past; int3 & sent4 & sent3 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: quartz and feldspar are minerals; int1 & sent2 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: structural geologists study the history of rocks on earth; int1 & sent3 -> int2: structural geologists and paleontologists both study the history of rocks on earth; sent2 & sent6 -> int3: how earth's environment changed is a part of the history of earth; int2 & int3 -> int4: structural geologists and paleontologists both study the history of earth; int4 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: exposure to extreme heat and pressure causes something to become higher; int1 & sent1 -> int2: exposure to extreme heat and pressure changes a substance from a sedimentary rock into metamorphic rock; int2 & sent3 -> int3: exposure to extreme heat and pressure changes shale into metamorphic rock; int3 & sent2 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: classifying is when one sorts something by class; int1 & sent1 -> int2: rocks can be classified based on how they were formed; int2 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: classifying is when one sorts something by class; int1 & sent2 -> int2: rocks are classified based on how they were formed; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: organisms are made of organic materials; int1 & sent1 -> int2: organisms are mainly made of carbon / hydrogen / oxygen; int2 & sent5 -> int3: organisms contain high amounts of carbon; sent4 & sent8 -> int4: if something is made of something else then that something contains high amounts of that something else; int3 & int4 -> int5: high amounts of carbon are mainly made of organic material; int5 & sent7 -> int6: sedimentary deposits contain high amounts of carbon; int6 & sent9 -> int7: a sedimentary deposit formed from organic material contains high amounts of carbon; int3 & int7 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: sediment is formed by weathering; int1 & sent2 -> int2: forming sedimentary rock requires burying; int2 & sent5 -> int3: forming sedimentary rock requires burying sediments; int3 & sent7 -> int4: sedimentary rocks are formed by sediment being buried then cemented together; int4 & sent4 -> int5: sedimentary rocks are formed by sediment being buried then cemented together; sent6 & sent1 -> int6: sedimentary rocks are a kind of structure that is formed by sediment being buried then cemented together; int5 & int6 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: burning fossil fuels adds carbon to the atmosphere; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: if producing renewable electric energy requires something then that something may be able to perform that process; int1 & sent1 -> int2: producing renewable electric energy requires renewable resources; int2 & sent4 -> int3: geothermal energy has the potential to produce renewable electric energy; int3 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: resources being available has a positive impact on the things that need them; int1 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: the supply of solar energy will not change over a long period of time; sent2 & sent3 -> int2: billions of years is a longer period of time than 10 years; int1 & int2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: energy is used for heating a home by a heating system; int1 & sent4 -> int2: solar energy is a kind of renewable resource that is used for heating a home; int2 & sent2 -> hypothesis;
$proof$ = sent7 & sent1 -> int1: roots are a part of a plant; int1 & sent6 -> int2: roots help prevent soil erosion by anchoring plants into the soil; sent5 & sent4 -> int3: washing away is when water moves soil from fields / environments; int3 & sent3 -> int4: preventing soil erosion by planting trees decreases the amount of water in an environment; int2 & int4 -> int5: planting trees decreases soil erosion by moving water; int5 & sent2 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: solar energy is a kind of light energy; int1 & sent1 -> int2: photovoltaic cells use solar energy to produce electrical energy; sent3 & sent5 -> int3: if a photovoltaic cell converts something into something else then that photovoltaic cell uses that something to produce that something else; int2 & int3 -> int4: photovoltaic cells use solar energy to produce electricity; int4 & sent6 -> hypothesis;
$proof$ = sent4 & sent8 -> int1: algae is a plant that can be found in lake; int1 & sent5 & sent9 -> int2: runoff entering a lake contains chemicals / pesticides from cropland; int2 & sent2 -> int3: runoff entering a lake causes algae to grow in that lake; sent7 & sent8 -> int4: algae can be found in lake; int3 & int4 -> int5: runoff entering a lake causes algae to grow in that lake; int5 & sent3 -> hypothesis;
$proof$ = sent8 & sent3 -> int1: acid rain has a negative impact on the health of a body of water; int1 & sent1 -> int2: acid rain has a negative impact on the health of a body of water; int2 & sent2 -> int3: acid rain can change the ph of water; sent9 & sent7 -> int4: a tadpole is a kind of organism that lives in water; int3 & int4 -> int5: acid rain can change the ph of water; int5 & sent4 -> int6: changing the ph of water can cause tadpole to survive; int6 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: many automobiles increase the amount of pollution in the air; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent9 -> int1: some animals eat fish for food; int1 & sent3 -> int2: some animals eat fish for food; int2 & sent4 -> int3: an animal eating fish can cause the population of that fish to decrease; sent6 & sent5 -> int4: starvation can decrease the population of animals; int4 & sent7 -> int5: starvation can cause the population of animals to decrease; int3 & int5 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: notebook paper can be recycled; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: glass can be recycled; int1 & sent4 -> int2: glass bottles can be recyled many times; int2 & sent3 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: an earthquake can change earth's surface quickly; sent3 & sent5 -> int2: an earthquake causes the ground to shake; int1 & int2 -> int3: an earthquake can change earth's surface quickly; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 & sent3 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: acid can form soil by weathering rocks; int1 & sent5 -> int2: acid can form soil by weathering rocks; int2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: the sierra nevada mountains are a kind of mountain range; int1 & sent4 -> int2: the sierra nevada mountains can limit the water vapor reaching a location; int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a landslide can move rocks downhill; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: flowing water over long periods of time causes soil erosion; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: if water freezes in the crack of the rock, then water will expand in the crack; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: water freezing means water changes from a liquid into a solid by decreasing heat energy; int1 & sent4 -> int2: water freezing causes rocks to crack; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent3 & sent2 -> int1: water absorbing solar energy will increase in temperature; int1 & sent4 -> int2: water absorbing solar energy will increase in heat energy; sent1 & sent2 -> int3: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int2 & int3 -> int4: water absorbing solar energy will cause the evaporation of water; int4 & sent5 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: a person shivers; sent1 & sent5 -> int2: when a person shakes, chemical energy is converted to mechanical energy; int1 & int2 -> int3: when a person shivers, chemical energy is converted to mechanical energy; int3 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a hand dryer converts electrical energy into other forms of energy; int1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: electrical current runs through the wires; sent2 & sent7 -> int2: if something moves through something else then that something will collide with that something else; int2 & sent10 -> int3: electrical current running through a wire increases the kinetic energy of that wire; int1 & int3 -> int4: electrical current running through a wire increases the kinetic energy of that wire; sent1 & sent9 -> int5: temperature is a measure of the total kinetic energy of an object; int4 & int5 -> int6: electrical current running through a wire increases the kinetic energy of that wire; int6 & sent8 -> int7: adding heat to a wire causes that wire to become warm; int7 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: the car engine in cars converts chemical energy from gasoline into mechanical energy; int1 & sent1 -> hypothesis;
$proof$ = sent7 & sent3 -> int1: the block of ice is placed on a warmer sidewalk; int1 & sent8 -> int2: the block of ice is touching the sidewalk; sent4 & sent6 -> int3: if the heat energy of the sidewalk increases, then the heat energy of the sidewalk will increase; int2 & int3 -> int4: the block of ice will increase in heat energy; int4 & sent1 -> int5: the block of ice will increase; int5 & sent2 & sent9 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a blue block is a kind of object; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a leaf is a green object; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: when light shines on a reflector, light will shine on the reflector; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: looking at an image in a mirror is an example of light being reflected by the mirror; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: the person outside cannot see the person in the dark room; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent7 -> int1: when a hot egg touches a cold object, thermal conduction occurs; int1 & sent4 -> int2: when a hot egg touches a cold object, the heat energy of the hot egg will decrease; sent6 & sent5 -> int3: the hot water will increase in temperature; int2 & int3 & sent1 -> int4: the hot egg will decrease in heat energy; int4 & sent3 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: a pot is a thermal conductor; sent5 & sent2 -> int2: a stove generates heat for cooking; int2 & sent3 -> int3: the handle of the pot will become hot; int1 & int3 -> int4: the handle of the pot will become hot; int4 & sent1 -> hypothesis;
$proof$ = sent6 & sent8 -> int1: a burner is a kind of object; int1 & sent7 -> int2: a frying pan is a kind of object; int2 & sent1 -> int3: the frying pan is exposed to a heat source; int3 & sent4 -> int4: the frying pan will be hot; int4 & sent2 -> int5: the frying pan will be hot; int5 & sent9 -> int6: the frying pan is a kind of hot object; int6 & sent3 -> int7: the hot pan is a kind of hot object; int7 & sent5 -> int8: thermal conduction causes the heat flow from the burner to the frying pan; int8 & sent7 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: compression waves travel through pattern of compressions and rarefactions; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: a soccer ball and ground are kinds of objects; int1 & sent1 & sent3 -> int2: friction occurs between the soccer ball and the ground; int2 & sent5 & sent4 -> hypothesis;
$proof$ = sent5 & sent6 & sent4 -> int1: wheels and gears are kinds of objects; int1 & sent3 -> int2: friction occurs between wheels and gears; int2 & sent1 -> int3: as the smoothness of an object increases, the friction on the wheels and gears will decrease; int3 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: plants are made up of plant cells; sent7 & sent2 -> int2: a plant cell contains a nucleus; int2 & sent1 -> int3: a plant cell contains a nucleus; int1 & int3 -> int4: a plant cell is made up of a nucleus; sent6 & sent3 -> int5: if a plant is made up of a plant cell, then that plant cell is a part of the biological kingdom plantae; int4 & int5 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: the insect has changed from an immature form to an adult form; sent1 & sent2 -> int2: metamorphosis is when an animal changes from an immature form to an adult form; int1 & int2 -> int3: the insect has undergone incomplete metamorphosis; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent9 -> int1: the cones of a jack pine tree are sealed with a resin that prevents seed dispersal; sent2 & sent6 -> int2: a wildfire can be used to produce heat; int2 & sent2 -> int3: a wildfire can be used to produce heat; int3 & sent3 -> int4: removing resin from a tree causes that tree to be able to disperse seeds; int4 & sent5 -> int5: removing resin from a tree is a kind of method for removing something from that something else; int5 & sent8 -> int6: a jack pine tree can disperse seeds after a wildfire; int6 & sent9 -> hypothesis;
$proof$ = sent10 & sent5 -> int1: a bear is a kind of organism; int1 & sent4 -> int2: an example of camouflage is an animal having the same color as its environment; int2 & sent3 -> int3: an example of camouflage is a bear having dark fur; sent6 & sent5 -> int4: a bear is a kind of organism; int4 & sent1 -> int5: dark fur is a kind of adaptation for hiding; sent9 & sent8 -> int6: protecting an animal has a postive impact on that animal's survival; int6 & sent11 -> int7: hiding has a positive impact on an animal's survival; int7 & sent1 -> int8: camouflage has a positive impact on an animal's survival; int5 & int8 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a predator may eat prey; int1 & sent1 -> int2: some predators may eat prey; int2 & sent4 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: as dryness increases in an environment, the available water in that environment will decrease; int1 & sent2 -> int2: as dryness in an environment increases, the available water in that environment will decrease; int2 & sent1 -> int3: storing water is a kind of method for increasing the availability of water in an environment; sent4 & sent7 -> int4: increasing the availability of something that has a positive impact on a living thing's survival; int4 & sent3 -> int5: storing water is a kind of adaptation to a dry environment; int3 & int5 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: as a plant grows, the size of its leaves will increase; int1 & sent1 -> int2: as a plant grows, the amount of sunlight absorbed by that leaf will increase; int2 & sent7 -> int3: as a plant grows, the amount of sunlight absorbed by that leaf will increase; sent2 & sent9 -> int4: if something has a positive impact on something else then that something has a positive impact on that something else; int4 & sent6 -> int5: slow leaf growth has a negative impact on a plant; int3 & int5 -> int6: slow leaf growth has a negative impact on a plant's survival; int6 & sent5 -> int7: slow leaf growth has a negative impact on a plant's survival; int7 & sent4 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: when the amount of water in a body of water increases, a flood may occur; int1 & sent2 -> int2: a flood may cause the amount of water in a body of water to increase; int2 & sent3 -> int3: a flood may cause the populations of organisms in a body of water to increase; int3 & sent5 -> hypothesis;
$proof$ = sent8 & sent10 -> int1: hot weather causes substances to heat; int1 & sent1 -> int2: hot weather causes substances to rise; sent7 & sent12 -> int3: some fish live in water; int3 & sent5 -> int4: warm water has a lower dissolved oxygen than cold water; int2 & int4 -> int5: hot weather causes organisms to decrease in dissolved oxygen; sent13 & sent2 -> int6: fish are a kind of organism that live in water; int6 & sent3 -> int7: hot weather has a negative impact on the survival of fish; int5 & int7 -> int8: hot weather has a negative impact on the survival of fish; int8 & sent6 -> int9: increasing the temperature of an environment has a negative impact on the survival of fish; int9 & sent14 -> int10: increasing the temperature of an environment has a negative impact on the survival of fish; int10 & int6 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: a plant requires nutrients in soil to grow; sent10 & sent10 -> int2: a plant requires water from soil to grow; int1 & int2 -> int3: a plant requires water from soil to grow; int3 & sent2 -> int4: plants absorb water from soil to grow; sent9 & sent14 -> int5: sandy soil is a type of soil that contains low moisture; int5 & sent1 -> int6: the amount of water in a soil determines the amount of water in that soil; int4 & int6 -> int7: a plant requires water from soil to grow; int7 & sent7 -> int8: if something is required for a process then that something may have the greatest impact on that process; int8 & sent6 -> int9: if something impacts multiple parts of a process then that something may have the greatest impact on that process; int9 & sent11 -> int10: high soil may have the greatest impact on plant growth; int10 & int6 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: lungs in birds are used for breathing air by frogs; int1 & sent4 -> int2: the function of skin on frogs and the function of lungs in birds both perform the function of breathing; int2 & sent1 -> hypothesis;
$proof$ = sent4 & sent7 -> int1: the respiratory system transfers oxygen to the circulatory system through the respiratory system; sent9 & sent1 -> int2: the circulatory system brings oxygen from the lungs to the rest of the body; int2 & sent5 -> int3: the respiratory system brings oxygen to the rest of the body through the respiratory system; int1 & int3 -> int4: the respiratory system and circulatory system both bring oxygen to the body; int4 & sent6 -> int5: the respiratory system and the circulatory system both perform the function of bringing oxygen to the body; int5 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: an organism takes in nutrients from food into itself by eating food; int1 & sent3 -> int2: food is absorbed into the digestive system through the small intestine; sent5 & sent2 -> int3: some foods contain protein; int3 & sent6 -> int4: food is absorbed into the digestive system through the small intestine; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: if an action must be done before a process can be done, then that action helps in the performance of that process; int1 & sent6 -> int2: the kidneys help remove waste from the blood; sent3 & sent4 -> int3: waste must be eliminated from the body before it can be eliminated from the entire body; int3 & sent1 -> int4: elimination of waste from the body helps the body; int2 & int4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: the main function of the vomiting reflex is to remove toxic material from the stomach before it is absorbed; int1 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: rheumatoid arthritis is when the body attacks its own tissues; int1 & sent3 -> int2: the immune system becomes disordered before rheumatoid arthritis occurs; int2 & sent1 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: wings are a part of a bird used for flight; sent5 & sent10 -> int2: some birds use flight to avoid predators; int2 & sent1 -> int3: using flight has a positive impact on a bird's ability to fly; int1 & int3 -> int4: an example of an adaptation for flight is birds using wings; sent3 & sent2 -> int5: hollow bones have a positive impact on a bird's ability to fly; int4 & int5 -> int6: hollow bones have a positive impact on a bird's ability to fly; int6 & sent8 -> int7: an example of an adaptation for flight is birds; int7 & sent4 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: moving a bone helps the bone move; int1 & sent5 -> int2: the muscular system pulls bones to move the bones; int2 & sent3 -> int3: the muscular system pulls bones to move the bones; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: eyes are part of a human for seeing; int1 & sent9 -> int2: nerve cells are a part of a human that conducts electrical signals; sent6 & sent3 -> int3: nerve cells can carry electricity; int3 & sent4 -> int4: nerve cells can carry messages from the eyes to the brain; int2 & int4 -> int5: nerve cells can carry messages from the eyes to the brain; int5 & sent8 -> int6: nerve cells can carry messages from a part of a human for seeing; int6 & sent7 -> int7: nerve cells can carry messages from the eyes to the brain; int7 & sent4 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: bone can be used for protection; int1 & sent3 -> int2: bone can be used for protection; int2 & sent1 -> int3: the skeletal system is used for protection and support; int3 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: cell division causes the baby elephant to grow into adult elephant; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: mitosis produces two identical cell nuclei; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a kidney is a kind of organ in an animal; int1 & sent6 -> int2: blood vessels, kidneys, and bladder are organs in an animal; int2 & sent5 -> int3: the heart, blood vessels, kidneys, and bladder are organs that work together; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: chloroplast can only be found in plant cells; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: two somatic cells will have the same number of chromosomes; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a potato is made of plant cells; int1 & sent6 -> int2: a potato cell is made of organelles that store water and starch; sent4 & sent2 -> int3: a vacuole is a kind of organelle that stores water and starch; int2 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: photosynthesis converts sunlight into carbohydrates; int1 & sent1 -> hypothesis;
$proof$ = sent9 & sent6 -> int1: photosynthesis means plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; int1 & sent2 -> int2: in the photosynthesis process sunlight has the role of raw material; sent7 & sent12 -> int3: a leaf is a part of a plant for absorbing sunlight; int3 & sent11 -> int4: chlorophyll is a part of a plant for absorbing sunlight; sent4 & sent3 -> int5: sunlight is a kind of energy; int2 & int5 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: acorn is a kind of plant; sent6 & sent3 -> int2: if something is required for a process then that process may occur; int2 & sent2 -> int3: if something is buried in soil then that something may sprout; int1 & int3 -> int4: seeds may sprout when buried in soil; int4 & sent5 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: eating food is a source of energy for animals; int1 & sent1 -> int2: eating food is a source of energy for animals; int2 & sent3 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: an animal needs to eat food to maintain good health; int1 & sent4 -> int2: eating food has a positive impact on an animal / a living thing; int2 & sent2 -> int3: eating food has a positive impact on an animal / living thing; int3 & sent1 -> int4: leafy vegetables are a good source of nutrients for an animal / living thing; int4 & sent6 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: infection can cause bodily tissues to swell; int1 & sent2 -> int2: infection can cause the tissues of throat tissues to swell; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: exercise has a positive impact on a human's health; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a tundra is a kind of environment; int1 & sent2 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: humans eat organisms; int1 & sent3 -> int2: humans eat organisms; int2 & sent2 -> int3: in the food chain process a human has the role of consumer; int3 & sent1 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: eagles eat animals; int1 & sent3 -> int2: eagles do not eat plants; sent4 & sent1 -> int3: carnivores only eat animals; int2 & int3 -> hypothesis;
$proof$ = sent11 & sent7 -> int1: a decomposer returns nutrients to the soil by breaking down those dead organisms; sent3 & sent6 -> int2: returning something to a place increases the amount of that something in that place; int2 & sent10 -> int3: returning plants to the soil increases the amount of organic matter in the soil; int1 & int3 -> int4: bacteria causes soil to be fertile; sent12 & sent12 -> int5: plants and animals are made of organic matter; int5 & sent1 -> int6: as the amount of organic matter in soil increases, the growth of plants and animals will increase; int4 & int6 -> int7: bacteria causes soil to become fertile; int7 & sent2 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: if a decomposer returns to a place then the amount of that something in that place increases; int1 & sent5 -> int2: if a decomposer returns to a place then the amount of that something in that place increases; int2 & sent9 -> int3: plant decomposition is when a decomposer returns nutrients from dead organisms to the soil; int3 & sent4 -> int4: if something is made of something else then the formation of that something else requires that something else; int4 & sent2 -> int5: if something is made of something else then the formation of that something is important to that something else; sent6 & sent7 -> int6: fertile soil is high in amount of nitrogen; int5 & int6 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: a farmer is a kind of human; int1 & sent11 -> int2: farming decreases animal habitats; int2 & sent4 -> int3: humans changing a meadow causes animal populations to decrease in that meadow; sent1 & sent5 -> int4: some rabbits live in meadows; int3 & int4 -> int5: humans changing a meadow causes rabbit populations to decrease in that meadow; int5 & sent7 -> hypothesis;
$proof$ = sent5 & sent3 & sent2 -> int1: a robin eats a cricket; int1 & sent4 -> int2: the robin will be the predator and the cricket will be the prey; sent1 & sent2 -> int3: if a robin eats other animals then the robin will be the prey; int2 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: earthworms creating tunnels in soil loosen that soil; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: sunlight is a kind of nonliving thing; int1 & sent2 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a dissecting kit can be used to study amphibian anatomy; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a dog laying down on command is an example of a dog following order; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: learned characteristics are not an instinctive behavior; int1 & sent1 -> int2: hunting is a kind of learned characteristics; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: food preference is a kind of learned characteristics; sent4 & sent2 -> int2: learned characteristics are not inherited from parents; int1 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: offspring and parents will have similar characteristics; sent5 & sent4 -> int2: offspring receive genes for inherited characteristics from parents through dna; int2 & sent3 -> int3: offspring and parents will have similar characteristics; int1 & int3 -> hypothesis;
$proof$ = sent4 & sent1 & sent3 -> int1: thymine cannot be found in dna; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: lions eat zebras; int1 & sent5 -> int2: lions eat animals; int2 & sent1 -> int3: lions eating animals is an example of an animal eating another animal; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: combining baking soda and vinegar is combining two substance together; int1 & sent1 -> int2: combining baking soda and vinegar can cause chemical reactions; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: lemon juice is corrossive; int1 & sent2 -> int2: lemon juice changes the color of litmus paper from blue to red; int2 & sent1 -> int3: lemon juice is an acid that changes the color of litmus paper from blue to red; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the nucleus of an atom is made of both protons and neutrons; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: both protons and neutrons have one atomic mass unit; int1 & sent4 -> int2: most of the nucleus of an atom is made of protons and neutrons; int2 & sent2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: protons and neutrons together will be positive in electric charge; int1 & sent1 -> int2: the nucleus of an atom is positve in electric charge; int2 & sent5 -> int3: the nucleus of an atom is surrounded by mostly empty space; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: an electron is a kind of negatively-charged particle; int1 & sent2 -> int2: electrons orbit the nucleus of an atom; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: wood is a source of chemical energy; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: aluminum is made of one kind of atoms; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> hypothesis;
$proof$ = sent10 & sent8 -> int1: a lit candle is covered in a large jar; int1 & sent7 -> int2: the lit candle is exposed to limited oxygen; int2 & sent3 -> int3: the lit candle is exposed to limited oxygen when it is on fire; sent9 & sent4 -> int4: a fire requires oxygen to burn; int4 & sent1 -> int5: oxygen is a matter that is exposed to limited oxygen; int3 & int5 -> int6: the lit candle left out in the open is exposed to limited oxygen; int6 & sent6 -> int7: the lit candle is exposed to limited oxygen when it is left out in the open; int7 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: as the liquid in a tube expands, the height of the liquid in that tube will increase; int1 & sent4 -> int2: the height of the alcohol liquid changes because alcohol is heated; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: determining the mass of a substance requires measuring that substance; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 & sent4 -> int1: water changes from a liquid to a solid; int1 & sent5 -> int2: water freezing means water changes from a liquid into a solid by decreasing heat energy; int2 & sent6 -> int3: a graduated cylinder can be used to measure the volume of liquid water and solid water; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: magnifying glass can be used to see an insect by making it appear bigger; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: magnifying glass can be used to see a leaf by making it appear bigger; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the height of a door is a measure of length from the top of the door to the bottom of the door; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: centimeter is used for measuring the length of an object; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: 1 yard is a unit used for measuring length; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 & sent4 -> int1: a student combined rice cereal and marshmallows is an example of two substances combined; int1 & sent1 -> hypothesis;
$proof$ = sent6 & sent2 & sent4 -> int1: salt water dissolving in water is an example of one substance dissolving in another substance; int1 & sent3 -> int2: a solution is formed by one substance dissolving in another substance; int2 & sent5 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: copper and zinc are two metals; int1 & sent1 -> int2: brass is made of at least two metals; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> int1: sugar dissolving in water is an example of one substance dissolving in another substance; int1 & sent4 -> int2: sugar water is a mixture of two substances; int2 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: if solids are combined physically, then the physical properties of the solids will stay the same; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the intensive properties of a substance will stay the same; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: copper is an electrical conductor; sent1 & sent2 -> int2: copper is a kind of material; int1 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: sugar dissolves in water when they are combined; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: shape is a property of the leaf; int1 & sent2 -> int2: students are classifying the leaves by their properties; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: ice melting does not change the mass of the ice; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent2 & sent3 -> int1: ice, a rock, and a piece of aluminum are solids; int1 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: plants are a source of paper; int1 & sent3 -> int2: plants are a source of paper; int2 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a physicist is the scientist who studies the relationship between machines and energy; int1 & sent2 -> int2: a physicist is the scientist who studies the relationship between machines and energy; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: an airplane can move people / products across bodies of water quickly; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;