$proof$ = sent3 & sent21 -> int1: northern hemisphere is a part of earth; int1 & sent8 -> int2: northern hemisphere will have more sunlight in summer; int2 & sent15 -> hypothesis;
$proof$ = sent13 & sent1 & sent23 -> int1: the earth revolving the sun is an example of a planet revolving around its star; int1 & sent2 -> hypothesis;
$proof$ = sent24 & sent16 -> hypothesis;
$proof$ = sent14 & sent1 -> int1: the gravitational pull of the moon on earth causes the tides; int1 & sent8 -> hypothesis;
$proof$ = sent14 & sent12 -> hypothesis;
$proof$ = sent3 & sent22 -> hypothesis;
$proof$ = sent20 & sent21 -> int1: light year can be used to measure the distance between stars; int1 & sent19 -> hypothesis;
$proof$ = sent8 & sent15 -> int1: a comet is mainly made of ice and orbits the sun in an elliptical path; int1 & sent12 -> int2: a comet is an object that is mainly made of ice and orbiting the sun in an elliptical path; int2 & sent14 -> hypothesis;
$proof$ = sent10 & sent20 -> hypothesis;
$proof$ = sent3 & sent25 -> hypothesis;
$proof$ = sent11 & sent10 -> hypothesis;
$proof$ = sent16 & sent23 -> int1: the four planets closest to the sun are solid; int1 & sent8 -> int2: the four planets farthest from the sun are gas; int2 & sent10 -> hypothesis;
$proof$ = sent24 & sent5 -> int1: earth is a celestial object; int1 & sent23 -> hypothesis;
$proof$ = sent23 & sent3 -> int1: a star is a source of light / light energy through nuclear reactions; int1 & sent18 -> hypothesis;
$proof$ = sent13 & sent19 -> hypothesis;
$proof$ = sent11 & sent17 -> int1: the sun is an average sized star in our galaxy; int1 & sent4 -> int2: the sun is a yellow dwarf with medium size; int2 & sent20 -> hypothesis;
$proof$ = sent13 & sent5 -> hypothesis;
$proof$ = sent9 & sent1 -> int1: the sun is a kind of main-sequence star; int1 & sent8 -> hypothesis;
$proof$ = sent24 & sent7 -> hypothesis;
$proof$ = sent23 & sent13 -> int1: as the mass of a celestial object decreases, the force of gravity on that celestial object will decrease; int1 & sent10 -> int2: as the mass of a moon decreases, the force of gravity on the moon will decrease; int2 & sent19 -> int3: as the force of gravity on the moon decreases, the human can jump higher; int3 & sent7 -> hypothesis;
$proof$ = sent9 & sent12 -> int1: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; int1 & sent11 -> int2: an object weighs more on earth than on the moon because earth has more mass than the moon; int2 & sent24 -> int3: an object will weigh less on earth than on the moon because the surface gravity on the moon is less than the surface gravity on the earth; int3 & sent15 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: a telescope can be used for observing the moon; int1 & sent24 -> hypothesis;
$proof$ = sent12 & sent9 -> hypothesis;
$proof$ = sent20 & sent15 & sent12 -> hypothesis;
$proof$ = sent9 & sent21 -> int1: a first quater and a last quater are different phases of the moon; int1 & sent18 -> int2: the last quater and the first quater will occur 28 days after the last quater; int2 & sent25 -> hypothesis;
$proof$ = sent24 & sent8 -> int1: gravity causes moons to orbit planets; int1 & sent9 -> hypothesis;
$proof$ = sent10 & sent4 -> hypothesis;
$proof$ = sent15 & sent3 -> hypothesis;
$proof$ = sent9 & sent18 -> hypothesis;
$proof$ = sent8 & sent2 -> int1: a star is made of gases; int1 & sent21 -> int2: the sun is the largest celestial body in the solar system; int2 & sent9 -> hypothesis;
$proof$ = sent22 & sent25 -> int1: an animal requires oxygen in a spacesuit backpack to breathe; int1 & sent8 -> hypothesis;
$proof$ = sent1 & sent19 -> hypothesis;
$proof$ = sent17 & sent4 -> int1: precipitation and infiltration are stages in the water cycle; int1 & sent14 -> int2: precipitation and infiltration are stages in the water cycle; int2 & sent6 -> hypothesis;
$proof$ = sent23 & sent17 -> int1: shells can be fossilized into sedimentary rocks; int1 & sent10 -> hypothesis;
$proof$ = sent15 & sent22 -> hypothesis;
$proof$ = sent25 & sent8 -> hypothesis;
$proof$ = sent14 & sent22 & sent18 -> int1: the land used to be covered by water in the past; int1 & sent25 -> hypothesis;
$proof$ = sent4 & sent9 -> int1: if fossils of trilobites are found in a place then that place used to be covered by water in the past; int1 & sent1 & sent20 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: a shark is a kind of aquatic animal; int1 & sent19 -> int2: if fossils of sharks are found in a place then that place used to be covered by water in the past; int2 & sent25 & sent3 -> int3: sharks live in shallow seas; int3 & sent18 -> hypothesis;
$proof$ = sent17 & sent2 -> int1: fossils can be used as information on ancient environment; int1 & sent12 -> hypothesis;
$proof$ = sent24 & sent6 -> int1: fossils can be found in limestones; int1 & sent14 -> hypothesis;
$proof$ = sent22 & sent7 -> int1: the formation of diamonds requires intense heat; int1 & sent13 -> int2: the formation of diamonds occurs beneath the surface of the earth; int2 & sent10 -> hypothesis;
$proof$ = sent10 & sent2 -> hypothesis;
$proof$ = sent7 & sent14 -> hypothesis;
$proof$ = sent9 & sent25 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: sedimentary rocks can contain fossils; int1 & sent7 -> int2: sedimentary rocks do not contain fossils; sent14 & sent25 -> int3: sedimentary and metamorphic are classes of rock; int3 & sent22 -> int4: formation in the rock cycle can mean sedimentary rock changes into metamorphic rock; int2 & int4 -> int5: formation in the rock cycle can mean sedimentary rocks can be changed into metamorphic rocks; int5 & sent14 -> int6: in the rock cycle, sedimentary rocks that contain fossils can be changed into metamorphic rocks that do not contain fossils; int6 & sent13 -> hypothesis;
$proof$ = sent10 & sent10 -> int1: if something is physically changed then the mass of that something will stay the same; int1 & sent24 -> int2: in the rock cycle, old rocks are physically changed to form new rocks; int2 & sent23 -> int3: in the rock cycle, old rocks are physically changed to form new rocks; int3 & sent20 -> int4: as the earth processes change, the total amount of material on earth will stay the same; int4 & sent1 -> hypothesis;
$proof$ = sent23 & sent17 -> int1: rock is made of minerals; int1 & sent1 -> hypothesis;
$proof$ = sent21 & sent18 -> int1: granite is formed by cooling magma; sent4 & sent15 -> int2: granite is a hard material; int1 & int2 -> int3: granite is a kind of igneous rock; int3 & sent22 -> hypothesis;
$proof$ = sent7 & sent25 -> int1: sedimentary rocks are made of small particles of sand; int1 & sent17 -> int2: sedimentary rocks are made of small particles of sand; int2 & sent15 -> int3: sedimentary rocks are made of small particles of sand with different colored layers; sent8 & sent5 -> int4: sedimentary rocks are formed by sediments compacting and cementing together; int3 & int4 -> hypothesis;
$proof$ = sent1 & sent18 -> int1: being buried under soil and mud changes dead vegetation into coal through extreme heat and pressure in a swamp over a long period of time; int1 & sent7 -> int2: coal is formed from dead plants; int2 & sent14 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: forming the fossil fuel coal requires deposition and burial of decaying vegetation; int1 & sent9 -> int2: decaying plants are required for the formation of coal and oil and gas; sent11 & sent2 -> int3: if something is required for the formation of a fossil fuel then that something helps in the formation of that fossil fuel; int2 & int3 -> int4: decaying plants help in the formation of coal and oil and gas; int4 & sent16 -> hypothesis;
$proof$ = sent13 & sent21 -> int1: burning fossil fuels releases carbon dioxide into the atmosphere; int1 & sent9 -> hypothesis;
$proof$ = sent19 & sent25 -> int1: using fossil fuels causes global warming; int1 & sent12 -> int2: using fossil fuels causes global warming; int2 & sent8 -> int3: using fossil fuels has a significant impact on the earth's atmosphere; sent2 & sent2 -> int4: a source of something comes from a source of that something; int4 & sent20 -> int5: using fossil fuels has a significant impact on the earth's atmosphere; int3 & int5 -> hypothesis;
$proof$ = sent23 & sent5 -> int1: gases released during the use of fossil fuels causes global warming; int1 & sent2 -> int2: gases released during the use of fossil fuels causes global warming; int2 & sent4 -> hypothesis;
$proof$ = sent9 & sent10 & sent22 -> int1: burning coal and gasoline emits sulfur dioxide; int1 & sent13 -> int2: burning fossil fuels such as coal and gasoline causes acid rain; int2 & sent18 -> int3: burning fossil fuels such as coal and gasoline contributes to the formation of acid rain; int3 & sent8 -> hypothesis;
$proof$ = sent14 & sent4 -> hypothesis;
$proof$ = sent17 & sent9 -> int1: surface mining removes vegetation above the coal; int1 & sent20 & sent1 -> int2: surface mining affects the lithosphere and biosphere; int2 & sent15 -> hypothesis;
$proof$ = sent4 & sent1 -> hypothesis;
$proof$ = sent13 & sent13 -> int1: producing crops requires using farm land; int1 & sent17 -> int2: as the use of a resource increases, the amount of available farm land decreases; sent23 & sent1 -> int3: ethanol is made out of a resource; int2 & int3 -> int4: as the use of ethanol increases, the amount of available farm land decreases; int4 & sent2 -> hypothesis;
$proof$ = sent15 & sent6 -> int1: tidal energy is a kind of renewable resource; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: wood boards are made of a renewable natural resource; int1 & sent8 -> hypothesis;
$proof$ = sent12 & sent18 -> int1: irrigation is a process of increasing water use; int1 & sent14 -> int2: increasing irrigation will decrease the amount of water used by irrigation; int2 & sent24 -> int3: increasing irrigation can deplete the nutrients in soil; int3 & sent10 & sent11 -> hypothesis;
$proof$ = sent17 & sent3 -> int1: overgrazing can increase the rate at which erosion is performed; int1 & sent22 -> int2: overgrazing can increase the rate at which erosion is performed; int2 & sent23 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: decreasing the amount of trees cut has a positive impact on the environment; int1 & sent1 -> int2: cutting trees has a negative impact on the environment; int2 & sent16 -> int3: cutting trees has a negative impact on the environment; int3 & sent25 -> hypothesis;
$proof$ = sent22 & sent6 -> int1: clearing trees from a forest means cutting down trees in that forest; int1 & sent17 -> int2: clearing trees from a forest causes the number of trees to decrease in that forest; int2 & sent16 -> hypothesis;
$proof$ = sent25 & sent13 -> int1: tree roots decrease / reduce soil erosion; int1 & sent24 -> int2: cutting down trees in a forest causes the number of trees to decrease in that forest; int2 & sent1 -> int3: cutting down trees in a forest causes soil erosion to increase; int3 & sent15 -> hypothesis;
$proof$ = sent23 & sent9 -> int1: green plants produce oxygen through photosynthesis; int1 & sent7 -> int2: deforestation causes the production of oxygen to decrease; int2 & sent16 -> hypothesis;
$proof$ = sent10 & sent10 -> int1: salt water is a kind of water that contains salt; int1 & sent3 -> int2: water that has salt removed may have come from a sea; int2 & sent17 -> int3: water that has salt removed may have come from a sea; int3 & sent24 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: glaciers are a kind of water reservoir; int1 & sent12 -> int2: glaciers are a kind of water reservoir that provide freshwater; int2 & sent16 -> hypothesis;
$proof$ = sent22 & sent20 -> int1: humans building trails usually requires cutting down trees; int1 & sent21 -> int2: humans building trails by cutting down trees has a negative impact on the forest; sent1 & sent16 -> int3: the earth contains many ecosystems; int2 & int3 -> int4: humans building trails by cutting down trees has a negative impact on the forest; int4 & sent13 -> hypothesis;
$proof$ = sent11 & sent15 -> int1: runoff from a cropland into a lake causes water pollution; int1 & sent20 -> int2: runoff from a cropland entering a lake has a negative impact on water quality; int2 & sent7 -> int3: runoff from a cropland entering a lake has a negative impact on water quality; sent10 & sent24 -> int4: water is a kind of natural resource; int3 & int4 -> hypothesis;
$proof$ = sent5 & sent16 -> int1: every year seals return to the same beaches to give birth; int1 & sent23 -> int2: if humans disturb seals at the beaches they give birth at then those seals will move to a different beach; int2 & sent14 -> int3: if humans disturb seals at the beaches they give birth at then those seals will give birth at a different beach; int3 & sent20 -> hypothesis;
$proof$ = sent24 & sent10 -> int1: beans are a kind of resource; int1 & sent16 -> int2: conserving resources is a kind of process; int2 & sent22 -> int3: helping the conservation of resources has a positive impact on the conservation of those resources; int3 & sent21 -> hypothesis;
$proof$ = sent11 & sent20 -> int1: as the time spent taking a shower decreases, the water used for taking a shower will decrease; int1 & sent13 -> int2: decreasing the water used for taking a shower conserves water; int2 & sent7 -> int3: conserving water requires using less water; int3 & sent6 -> hypothesis;
$proof$ = sent10 & sent18 -> hypothesis;
$proof$ = sent7 & sent6 -> int1: acid rain has a negative impact on the environment; int1 & sent18 -> int2: acid rain lowers the water quality; int2 & sent10 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: runoff from the farm contains fertilizers; int1 & sent5 -> int2: fertilizers in the runoff from the farm have a positive impact on the algae growth; sent22 & sent23 -> int3: algae is a kind of organism; int2 & int3 -> int4: fertilizers in the runoff from the farm can increase the population of algae; int4 & sent1 -> hypothesis;
$proof$ = sent25 & sent1 -> int1: toxic chemicals are dumped into the pond with fish; int1 & sent24 -> int2: toxic chemicals are dumped into the pond with fish; int2 & sent5 & sent10 -> hypothesis;
$proof$ = sent4 & sent17 & sent9 -> hypothesis;
$proof$ = sent8 & sent25 & sent7 -> int1: human hunting sloths can decrease sloth populations; int1 & sent16 -> hypothesis;
$proof$ = sent9 & sent20 -> hypothesis;
$proof$ = sent20 & sent10 -> int1: an earthquake can change earth's surface rapidly; int1 & sent4 -> hypothesis;
$proof$ = sent13 & sent24 -> hypothesis;
$proof$ = sent7 & sent25 -> int1: water vapor is an invisible gas found in the atmosphere; int1 & sent11 -> hypothesis;
$proof$ = sent19 & sent16 & sent20 -> hypothesis;
$proof$ = sent14 & sent9 -> int1: ocean water level rising causes seawater to flood coastal area; int1 & sent2 -> int2: ocean water level rising causes the salt content of coastal wetlands to increase; int2 & sent1 -> hypothesis;
$proof$ = sent11 & sent7 -> hypothesis;
$proof$ = sent14 & sent1 -> int1: as a submarine descends into water, the pressure on the submarine will increase; int1 & sent9 -> hypothesis;
$proof$ = sent23 & sent15 -> int1: limestone is a kind of calcium carbonate rock; int1 & sent8 -> hypothesis;
$proof$ = sent17 & sent22 -> int1: fire can destroy plants in an environment; int1 & sent10 -> int2: forest fires can decrease the plants in an environment; int2 & sent11 -> int3: forest fires increase soil erosion; int3 & sent14 -> hypothesis;
$proof$ = sent6 & sent19 -> hypothesis;
$proof$ = sent18 & sent5 -> int1: planting corn every year decreases the nutrients required by that kind of crop; int1 & sent11 -> hypothesis;
$proof$ = sent9 & sent13 -> int1: drought can decrease the thickness of soil; int1 & sent12 -> int2: drought can cause harm to trees by decreasing the thickness of soil; int2 & sent16 -> hypothesis;
$proof$ = sent8 & sent20 -> hypothesis;
$proof$ = sent10 & sent21 -> int1: a warm front will cause clouds to form; int1 & sent15 -> int2: the warm front will cause clouds to form; int2 & sent11 -> hypothesis;
$proof$ = sent10 & sent9 -> int1: the air around the equator will increase in temperature; int1 & sent1 -> int2: the air around the equator will be warm; int2 & sent16 -> hypothesis;
$proof$ = sent5 & sent16 -> int1: a weather balloon is a kind of flexible container; int1 & sent22 -> int2: as air pressure surrounding the balloon decreases, the flexible container will expand; int2 & sent9 -> int3: as the altitude increases, the air pressure around the balloon will decrease; int3 & sent2 -> hypothesis;
$proof$ = sent15 & sent8 -> hypothesis;
$proof$ = sent15 & sent18 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: ocean water vapor is formed by water vapor evaporating and then condensing in the air; int1 & sent19 -> hypothesis;
$proof$ = sent18 & sent4 -> int1: as the gradient of a stream increases, the ability of the stream to transport sediments will increase; int1 & sent20 -> int2: as the gradient of a stream increases, the deposition of materials on the stream will decrease; int2 & sent17 -> hypothesis;
$proof$ = sent6 & sent11 -> int1: wind erosion can change the earth's surface; int1 & sent1 -> hypothesis;
$proof$ = sent17 & sent18 -> int1: cycles of freezing and thawing water cause mechanical weathering; int1 & sent7 -> hypothesis;
$proof$ = sent19 & sent10 -> int1: low precipitation in clouds is similar to low precipitation in air; int1 & sent24 -> int2: a high-pressure system can cause low precipitation in clouds; int2 & sent4 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: a hurricane cannot form over cool ocean waters; int1 & sent3 -> hypothesis;
$proof$ = sent22 & sent10 -> hypothesis;
$proof$ = sent7 & sent14 -> int1: in the water cycle, rain will be collected in bodies of water; int1 & sent2 -> hypothesis;
$proof$ = sent14 & sent25 -> int1: the sun can warm up ocean water; int1 & sent1 -> int2: the water in the ocean will warm up; int2 & sent4 & sent13 -> hypothesis;
$proof$ = sent14 & sent25 & sent1 -> int1: evaporation of water causes the amount of water to decrease; int1 & sent5 -> int2: evaporation of water causes the amount of water to disappear; int2 & sent12 & sent15 -> int3: absorbing the energy from the sun will cause drops of water to disapper; int3 & sent22 -> hypothesis;
$proof$ = sent13 & sent17 & sent25 -> int1: water absorbing solar energy will increase in temperature; int1 & sent3 -> int2: water absorbing solar energy will increase in heat energy; sent12 & sent17 -> 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 & sent11 -> hypothesis;
$proof$ = sent12 & sent11 -> hypothesis;
$proof$ = sent24 & sent18 -> int1: a thunderstorm is a source of precipitation; int1 & sent15 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent7 & sent11 & sent3 -> int1: the bowling ball is touching the floor; sent21 & sent3 -> int2: the bowling ball and the floor are kinds of objects; int1 & int2 & sent10 -> int3: friction occurs between the bowling ball and the floor; int3 & sent13 -> int4: the mechanical energy in the bowling ball is converted into heat and sound energy when it touches the floor; int4 & sent19 -> hypothesis;
$proof$ = sent6 & sent15 -> hypothesis;
$proof$ = sent24 & sent6 -> hypothesis;
$proof$ = sent18 & sent15 -> int1: a fan is the appliance that rotates the vanes in the fan; int1 & sent19 -> hypothesis;
$proof$ = sent14 & sent15 & sent13 -> int1: methane reacting with oxygen is a reaction where methane reacts with oxygen to form a gas; int1 & sent3 -> hypothesis;
$proof$ = sent16 & sent19 -> int1: a light bulb produces the light energy required for seeing; int1 & sent21 -> int2: the light bulb produces light energy that is not used; sent8 & sent24 -> int3: if something converts a resource into energy it doesn't use then that something is not using the resource efficiently; int2 & int3 -> int4: the light bulb is not using the resource efficiently; int4 & sent15 -> hypothesis;
$proof$ = sent8 & sent12 -> int1: a flashlight converts electrical energy into light energy; int1 & sent15 -> int2: a flashlight converts electrical energy into light energy; int2 & sent16 -> hypothesis;
$proof$ = sent18 & sent20 -> int1: coiled wires are a kind of wire; int1 & sent10 -> int2: insulated wire, iron rod, and battery are kinds of wire; int2 & sent15 -> hypothesis;
$proof$ = sent1 & sent16 -> hypothesis;
$proof$ = sent3 & sent23 -> hypothesis;
$proof$ = sent16 & sent25 -> int1: a light bulb generates waves that are electromagnetic; int1 & sent20 -> hypothesis;
$proof$ = sent16 & sent3 -> hypothesis;
$proof$ = sent20 & sent5 -> hypothesis;
$proof$ = sent14 & sent7 -> hypothesis;
$proof$ = sent10 & sent13 -> int1: the laser beam is shone through a glass prism; int1 & sent24 -> hypothesis;
$proof$ = sent19 & sent9 -> int1: refraction is when light bends and is split into lights of different color; int1 & sent8 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent16 & sent5 -> hypothesis;
$proof$ = sent10 & sent5 -> int1: hearing is used for sensing sound by humans; int1 & sent22 -> int2: human talking to each other can sense the sound made by the other human through air vibrations; int2 & sent6 -> int3: human talking to each other can sense the sound made by the other human through air vibrations; int3 & sent16 -> hypothesis;
$proof$ = sent22 & sent15 -> int1: insense sound energy can move objects by making them vibrate; int1 & sent2 -> int2: a thunder can move objects by making them vibrate through intense sound energy; int2 & sent20 -> int3: a thunder can move a window by making them vibrate through intense sound energy; int3 & sent5 -> hypothesis;
$proof$ = sent10 & sent21 -> int1: saltwater is a kind of substance; int1 & sent15 -> int2: if saltwater has a higher density than freshwater, then the molecules in the freshwater will be closer than in freshwater; int2 & sent24 -> hypothesis;
$proof$ = sent10 & sent2 -> hypothesis;
$proof$ = sent14 & sent4 -> int1: a metal spoon is a thermal conductor; sent23 & sent2 -> int2: hot tea is a source of heat; int2 & sent24 -> int3: the hot tea will be a source of heat for the metal spoon; int1 & int3 & sent21 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: when friction occurs between two objects, both objects' temperatures increase; int1 & sent20 -> hypothesis;
$proof$ = sent11 & sent5 -> hypothesis;
$proof$ = sent15 & sent2 -> int1: if a spoon is used to stir a liquid, then the spoon is exposed to the liquid; int1 & sent23 -> int2: if a spoon is used to stir hot chocolate, the the spoon is exposed to the hot chocolate; int2 & sent25 -> int3: the spoon is exposed to the hot chocolate; sent20 & sent4 -> int4: a spoon is a thermal conductor; int4 & sent21 -> int5: if a spoon is exposed to the hot chocolate, then the spoon may become hot; int3 & int5 -> int6: the hot chocolate will become hot; int6 & sent13 -> int7: the spoon will become hot; int7 & sent6 -> int8: the hot chocolate will become hot; int8 & sent11 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: sunlight is a kind of electromagnetic wave; int1 & sent13 -> int2: sunlight transfers heat and light energy through radiation; int2 & sent24 -> int3: the brick transfers heat and light energy through radiation; int3 & sent8 -> hypothesis;
$proof$ = sent15 & sent20 -> int1: sunlight is a kind of ultraviolet light; int1 & sent18 -> hypothesis;
$proof$ = sent20 & sent22 & sent21 & sent8 -> hypothesis;
$proof$ = sent17 & sent25 -> hypothesis;
$proof$ = sent11 & sent20 -> hypothesis;
$proof$ = sent5 & sent13 & sent24 -> int1: friction occurs between two objects; int1 & sent25 & sent16 -> int2: frictional force between two sticks causes them to increase in temperature; int2 & sent2 -> hypothesis;
$proof$ = sent16 & sent21 -> int1: low friction can cause an object to slip; int1 & sent19 -> int2: as friction increases, the chance of an object slipping will decrease; int2 & sent8 -> hypothesis;
$proof$ = sent2 & sent19 -> int1: the rubber ball is moving on a surface; int1 & sent7 & sent22 -> int2: friction occurs between the rubber ball and the surface; int2 & sent12 & sent22 -> int3: friction causes the speed of the rubber ball to decrease; int3 & sent21 & sent22 -> hypothesis;
$proof$ = sent8 & sent25 -> int1: as the roughness of a surface increases, friction on the object will increase; int1 & sent9 -> int2: friction on the object increases when it is moving from the concrete surface to the grass surface; int2 & sent24 -> hypothesis;
$proof$ = sent3 & sent4 & sent18 -> int1: friction occurs between the rock and the frozen pond; int1 & sent7 & sent22 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: a soccer ball is a kind of object; int1 & sent1 & sent20 -> hypothesis;
$proof$ = sent2 & sent5 & sent6 -> hypothesis;
$proof$ = sent17 & sent13 & sent12 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: a magnet can attract a paper clip; int1 & sent10 -> int2: a magnet can attract a paper clip; int2 & sent19 -> int3: a magnet can affect an object that is not touching; int3 & sent12 -> hypothesis;
$proof$ = sent22 & sent1 -> int1: a lever and a wheel and axle are three kinds of simple machines; int1 & sent25 & sent17 -> int2: a bicycle is made of more than one simple machine; int2 & sent15 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: a sailboat is a kind of object that travels 35 km in 5 hrs; int1 & sent18 -> int2: the speed of the sailboat is 7 km/hr; int2 & sent20 -> hypothesis;
$proof$ = sent20 & sent18 -> hypothesis;
$proof$ = sent18 & sent12 -> hypothesis;
$proof$ = sent16 & sent14 -> int1: seat belts prevent injuries to passengers by applying opposite force to the passenger's motion; int1 & sent8 -> hypothesis;
$proof$ = sent24 & sent5 -> hypothesis;
$proof$ = sent21 & sent13 -> int1: fur is usually part of a mammal; sent21 & sent23 -> int2: amphibian is a kind of taxonomic group of animals; int2 & sent16 -> int3: fish are a kind of taxonomic group of animals; sent3 & sent25 -> int4: a bird does not have fur; int4 & sent6 -> int5: fur is often a part of an animal; int1 & int5 -> hypothesis;
$proof$ = sent25 & sent9 -> int1: feathers are not a part of mammals; sent25 & sent3 -> int2: some species of birds do not have wings; int1 & int2 -> int3: some species of birds do not have wings; sent22 & sent7 -> int4: wings are a part of birds; int3 & int4 -> int5: feathers and wings are parts of birds; int5 & sent4 -> int6: feathers and wings are a characteristic of birds; int6 & sent1 -> hypothesis;
$proof$ = sent8 & sent20 -> int1: bone structure is a kind of inherited characteristic of animals; int1 & sent21 -> int2: animals with similar bone structure probably evolved from their ancestor in recent geological history; sent25 & sent3 -> int3: recent geological history is a relatively short period of time; int2 & int3 -> hypothesis;
$proof$ = sent11 & sent1 -> int1: laying eggs occurs during adulthood; int1 & sent15 -> int2: laying eggs occurs during the adult stage in the life cycle; int2 & sent20 -> int3: laying eggs occurs during the adult stage in the life cycle; int3 & sent21 -> hypothesis;
$proof$ = sent10 & sent25 -> int1: an example of metamorphosis is when a butterfly changes from an immature form to an adult form; sent18 & sent20 -> int2: the adult form of a caterpillar is a butterfly and the immature form of a butterfly is a caterpillar; int1 & int2 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: things that grow become larger; int1 & sent10 -> int2: a plant requires more nutrients to grow; int2 & sent14 -> hypothesis;
$proof$ = sent9 & sent4 -> int1: a prarie dog is a kind of animal; int1 & sent15 -> int2: sound can be used for communication by prarie dogs; int2 & sent6 -> hypothesis;
$proof$ = sent15 & sent6 -> int1: some aquatic animals live in ponds; int1 & sent15 -> int2: some aquatic animals live in ponds; int2 & sent18 -> int3: webbed feet are used for moving aquatic animals through water; sent9 & sent1 -> int4: moving fast in water has a positive impact on an aquatic animal's survival; sent20 & sent24 -> int5: living in water causes an aquatic animal to adapt to living in water; int3 & int5 -> int6: webbed feet are a kind of adaptation for living in water; int6 & sent8 -> hypothesis;
$proof$ = sent7 & sent10 -> int1: camouflage can be used by animals to hide from predators; int1 & sent2 -> hypothesis;
$proof$ = sent13 & sent7 -> int1: coloration is a kind of adaptation for hiding in an environment; int1 & sent1 -> int2: an animal having the same color as its environment is a kind of adaptation for hiding; sent14 & sent6 -> int3: an arctic environment becomes white in the winter; int3 & sent24 -> int4: an arctic hare and its environment both have the same color; int2 & int4 -> int5: an arctic hare and an arctic environment both have the same color as their environment; int5 & sent25 -> int6: an arctic hare and an arctic environment are both have the same color as their environment; int6 & sent13 -> int7: an arctic hare having the same color as its environment is used for hiding from predators; int7 & sent2 -> hypothesis;
$proof$ = sent20 & sent15 -> int1: a snowshoe hare's fur is brown in the summer; sent3 & sent23 -> int2: a snowshoe hare's fur is white in the winter; int1 & int2 & sent7 -> int3: a snowshoe hare sheds its fur in the summer and winter; int3 & sent24 -> int4: an animal shedding fur is a kind of adaptation for hiding in an environment; int4 & sent13 -> hypothesis;
$proof$ = sent3 & sent11 -> int1: an example of camouflage is an organism having the same color as its environment; sent19 & sent17 -> int2: a green environment usually has leaves in color; int1 & int2 -> int3: an example of camouflage is an organism having the same color as green leaves; sent22 & sent12 -> int4: an insect is a kind of organism; int3 & int4 -> int5: an example of camouflage is an insect having the same color as green leaves; int5 & sent17 -> hypothesis;
$proof$ = sent8 & sent23 -> int1: smell can be used for finding food; int1 & sent21 -> int2: smell can be used for finding food; int2 & sent18 -> int3: smell can be used by predators for finding food; int3 & sent10 -> int4: producing a bad odor can be used by predators for avoiding predators; int4 & sent25 -> hypothesis;
$proof$ = sent8 & sent22 -> int1: a camel's humps are used for storing fat; int1 & sent4 -> hypothesis;
$proof$ = sent21 & sent1 -> int1: winter and spring have cold temperatures; int1 & sent10 -> int2: animals require warmth for survival in cold temperatures; int2 & sent19 -> int3: animals must adapt to changes in seasons in order to survive; int3 & sent11 -> int4: some animals' fur grows thicker for survival in cold temperatures; sent9 & sent20 -> int5: spring follows winter; int5 & sent3 -> int6: some animals' fur grows thicker for staying warm in winter; int4 & int6 -> int7: some animals' fur grows thicker for staying warm in the winter; int7 & sent11 -> int8: some animals' fur grows thicker for staying warm in the winter; int8 & sent7 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: storing water is a kind of adaptation for increasing the availability of water; int1 & sent5 -> int2: storing water is a kind of adaptation for plants to survive in a dry environment; int2 & sent13 -> int3: storing water is a kind of adaptation for surviving in a dry environment; int3 & sent20 -> hypothesis;
$proof$ = sent16 & sent18 -> int1: animals have a negative impact on cacti; int1 & sent25 -> int2: a cactus must protect itself from animals; sent13 & sent11 -> int3: a cactus spine is a kind of sharp object; int2 & int3 -> hypothesis;
$proof$ = sent14 & sent14 -> int1: a storm can cause changes to an environment; int1 & sent4 -> int2: a storm can cause a habitat to be destroyed; int2 & sent17 -> int3: a storm can cause a habitat to be destroyed; int3 & sent18 -> int4: an example of an adaptation is something that is able to adapt to a storm; sent24 & sent5 -> int5: if something has a positive impact on the survival of an animal then that animal is likely going to survive; int4 & int5 -> int6: animals that are able to adapt can survive; int6 & sent18 -> int7: animals that are able to adapt can survive after a storm; int7 & sent5 -> hypothesis;
$proof$ = sent11 & sent22 -> int1: cheetahs are a species of organisms that have a variety of different genes; int1 & sent8 -> int2: as the number of different genes in cheetahs increases, the likelihood of some cheetahs passing down a unique combination of traits to their offspring increases; sent19 & sent10 -> int3: as the population of a certain kind of organism decreases, the ability of that species to survive will decrease; int3 & sent21 -> int4: as the genetic variation in cheeta species decreases, the ability of cheetahs to adapt to changes in the environment will decrease; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent15 -> int1: if the water in a pond decreases then that pond might cease to exist; int1 & sent19 -> int2: a drought may cause the ponds to cease to exist; int2 & sent4 -> int3: a drought may cause fish to die; sent24 & sent21 -> int4: if a fish's habitat ceases to exist then that fish will die; int3 & int4 -> hypothesis;
$proof$ = sent14 & sent6 -> int1: drought is when the amount of available water decreases; int1 & sent11 -> int2: a drought is a kind of slow environmental change; sent19 & sent23 -> int3: a farm is a kind of environment; int2 & int3 -> int4: a drought has a negative impact on farming; sent18 & sent24 -> int5: decreasing something that is required for farming has a negative impact on that process; int5 & sent1 -> int6: as a resource is low in availabliltyis low in availabliltyis low in availabliltyis a negative impact on the farm; int4 & int6 -> hypothesis;
$proof$ = sent11 & sent12 -> int1: sweat is a product of heat energy; int1 & sent16 -> int2: sweat is cooled by increasing heat energy; sent15 & sent22 -> int3: cooling the body requires sweat; int2 & int3 -> hypothesis;
$proof$ = sent22 & sent17 -> int1: the digestive system absorbs food into the blood stream; int1 & sent7 -> int2: the digestive system absorbs food into the blood stream; int2 & sent25 -> int3: the digestive system absorbs food into the circulatory system through the blood stream; int3 & sent9 -> int4: the circulatory system carries food from the digestive systems to the rest of the body; int4 & sent2 -> int5: the digestive system carries nutrients from the digestive systems to the rest of the body; int5 & sent21 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: blood is a part of the circulatory system that carries oxygen from the lungs to the rest of the body; int1 & sent16 -> int2: the circulatory system carries oxygen from the lungs to the rest of the body; int2 & sent14 -> int3: the skeletal system carries oxygen from the circulatory system to the rest of the body; sent11 & sent12 -> int4: red blood cells are a part of the circulatory system that carries oxygen to the bones; int3 & int4 -> int5: the skeletal system carries oxygen to the rest of the body; int5 & sent8 -> hypothesis;
$proof$ = sent3 & sent21 -> int1: the liver is a kind of organ in animals; int1 & sent2 -> int2: the liver is a part of a human; sent24 & sent2 -> int3: a human is a kind of organism; int3 & sent20 -> int4: if there is a loss of something then that something may decrease the survival of that human; int2 & int4 -> int5: a loss of their liver has a negative impact on the survival of that human; sent5 & sent23 -> int6: if something has a negative impact on the survival of an animal then that something may decrease the ability of that animal; int6 & sent17 -> int7: if there is a loss of something then that human cannot survive; int5 & int7 -> hypothesis;
$proof$ = sent6 & sent23 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the immune system destroys bacteria once they have invaded the body; int1 & sent17 -> int2: white blood cells destroy bacteria that enter the body; int2 & sent20 & sent13 -> hypothesis;
$proof$ = sent24 & sent2 -> int1: decreasing disease-causing microbes has a positive impact on a living thing's body; int1 & sent20 -> int2: specialized cells have a positive impact on the body by destroying disease-causing microbes; int2 & sent7 -> hypothesis;
$proof$ = sent11 & sent18 -> int1: the muscular system is a kind of body system; int1 & sent13 -> int2: the muscular system is a part of the body; int2 & sent12 -> int3: the nervous system can be used for controlling the muscular system; int3 & sent6 -> int4: the nervous system can be used for controlling the muscular system; int4 & sent10 -> hypothesis;
$proof$ = sent5 & sent25 -> int1: nerve cells conduct messages in the body; int1 & sent3 -> int2: the nervous system conducts electrical signals in the body; int2 & sent24 -> int3: the nervous system sends electrical signals to the other body systems; int3 & sent8 -> hypothesis;
$proof$ = sent11 & sent18 -> int1: the unhealthy diet of a mother during pregnancy has a negative impact on the embryo; sent4 & sent16 -> int2: offspring receive genes from their parents through the placenta; int1 & int2 -> hypothesis;
$proof$ = sent8 & sent24 -> int1: new cells with a full set of chromosomes are formed by fertilization; int1 & sent1 -> hypothesis;
$proof$ = sent5 & sent25 -> int1: skin is the first layer on the body of some animals; int1 & sent15 -> hypothesis;
$proof$ = sent6 & sent8 -> hypothesis;
$proof$ = sent4 & sent20 -> hypothesis;
$proof$ = sent19 & sent20 -> int1: the heart is located in the abdomen; int1 & sent5 -> hypothesis;
$proof$ = sent25 & sent4 -> hypothesis;
$proof$ = sent8 & sent4 -> hypothesis;
$proof$ = sent7 & sent9 -> int1: cell wall provides protection / shape / support for animals; int1 & sent19 -> hypothesis;
$proof$ = sent12 & sent4 -> int1: a fertilized egg will have half of the number of chromosomes in a fertilized egg; int1 & sent11 -> hypothesis;
$proof$ = sent2 & sent25 -> hypothesis;
$proof$ = sent19 & sent25 -> hypothesis;
$proof$ = sent17 & sent10 -> int1: a leaf is a part of a plant used to perform photosynthesis; sent18 & sent14 -> int2: if something is used by photosynthesis to make something else, then that something is required to perform photosynthesis; int1 & int2 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: a leaf is a part of a green plant; int1 & sent11 -> hypothesis;
$proof$ = sent21 & sent15 -> int1: a plant requires photosynthesis to grow; sent11 & sent3 -> int2: if photosynthesis is a source of something then that something can be used for making that something; int1 & int2 -> int3: a plant can use sugar from photosynthesis to grow; int3 & sent4 -> hypothesis;
$proof$ = sent19 & sent9 -> int1: carbon dioxide is required for photosynthesis; sent4 & sent8 -> int2: taking in carbon dioxide is a step in the photosynthesis process; int1 & int2 -> hypothesis;
$proof$ = sent25 & sent7 -> int1: a producer releases oxygen; int1 & sent16 -> int2: oxygen is a gas that is released by producers; sent21 & sent15 -> int3: an animal requires oxygen to survive; int3 & sent12 -> int4: an animal taking in oxygen must obtain oxygen; int4 & sent10 -> int5: green plants must obtain oxygen by performing photosynthesis; int5 & sent11 -> int6: green plants must take in oxygen to survive / breathe; int6 & sent4 -> int7: oxygen is a kind of gas that is released by producers and taken in by consumers; int2 & int7 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: if the photosynthesis process converts something into something else then that something is used in the photosynthesis process; int1 & sent25 -> int2: in the photosynthesis process carbon is used in the air to make food; int2 & sent12 -> int3: in the photosynthesis process carbon is used in the air to make food; int3 & sent22 -> hypothesis;
$proof$ = sent13 & sent4 -> int1: a leaf uses photosynthesis to produce sugar; sent3 & sent22 -> int2: chlorophyll is a part of sunlight; int2 & sent11 -> int3: a leaf uses sunlight to perform photosynthesis; int1 & int3 -> int4: a leaf uses chlorophyll to produce sugar; int4 & sent1 -> hypothesis;
$proof$ = sent5 & sent12 -> int1: photosynthesis means plants convert carbon dioxide and water into sugar and oxygen; int1 & sent10 -> hypothesis;
$proof$ = sent13 & sent14 -> int1: photosynthesis is a kind of process in which plants convert carbon dioxide and water and solar energy into carbohydrates and food ans oxygen for themselves; sent22 & sent14 -> int2: if photosynthesis converts something into something else then that something else is produced by photosynthesis; int1 & int2 -> int3: photosynthesis is a kind of product of photosynthesis; sent20 & sent11 -> int4: sugars and oxygen are produced by photosynthesis; int3 & int4 -> hypothesis;
$proof$ = sent4 & sent17 -> int1: carbon dioxide is a raw material in the photosynthesis process; sent18 & sent11 -> int2: green plants make food by performing photosynthesis; int1 & int2 -> int3: carbon dioxide is used by producers to make food; sent13 & sent23 -> int4: carbon dioxide can be found in the atmosphere; int3 & int4 -> hypothesis;
$proof$ = sent20 & sent3 -> int1: a flower is a part of a plant for attracting pollinators; int1 & sent24 -> int2: a flower is used for attracting pollinators by plants; sent11 & sent14 -> int3: some birds eat nectar; int3 & sent2 -> int4: nectar is used for attracting pollinators by birds; int2 & int4 -> hypothesis;
$proof$ = sent10 & sent7 -> hypothesis;
$proof$ = sent3 & sent20 -> int1: pollination by pollinating animals is required for pollination; int1 & sent18 -> int2: pollination by pollinating animals has a positive impact on pollination; int2 & sent13 -> int3: pollination by insects / wind / water has a positive impact on pollination; int3 & sent1 -> hypothesis;
$proof$ = sent25 & sent12 -> int1: seed dispersal has a positive impact on a plant / a plant's reproduction; sent18 & sent3 -> int2: an example of seed dispersal is is an animal hiding / gathering / burying seeds; int2 & sent20 -> int3: an example of seed dispersal is an animal hiding / gathering / burying seeds; sent9 & sent5 -> int4: an oak tree requires seed dispersal for reproduction; int3 & int4 -> int5: an example of seed dispersal is an oak tree; int5 & sent13 -> int6: an oak tree requires seed dispersal to reproduce; int6 & sent12 -> int7: seed dispersal has a positive impact on an oak tree by spreading those acorns to a new environment; int7 & sent1 -> hypothesis;
$proof$ = sent15 & sent17 -> int1: seed dispersal has a positive impact on a plant / a plant's reproduction; sent3 & sent2 -> int2: an example of seed dispersal is animals eating / excreting seeds; int1 & int2 -> int3: an example of seed dispersal is animals eating / excreting seeds; sent1 & sent9 -> int4: bears eat berries that contain seeds; int3 & int4 -> hypothesis;
$proof$ = sent5 & sent14 -> int1: roots absorb water and nutrients from the soil; int1 & sent15 -> hypothesis;
$proof$ = sent7 & sent11 -> int1: roots absorb water from the soil; int1 & sent10 -> int2: roots absorb water from the soil; int2 & sent21 -> int3: a function of roots is to absorb water; int3 & sent1 -> hypothesis;
$proof$ = sent5 & sent3 -> hypothesis;
$proof$ = sent25 & sent20 -> int1: photosynthesis is a source of sugars; int1 & sent15 -> int2: plants are a source of sugars; int2 & sent14 -> int3: plants transport sugars from the leaves of a plant to the roots; int3 & sent24 & sent4 -> int4: sugars are transported from the needles to the roots of a pine tree; int4 & sent9 -> hypothesis;
$proof$ = sent10 & sent24 -> int1: grass requires nutrients from soil to grow; sent6 & sent8 -> int2: a plant requires nutrients from soil to grow; int2 & sent23 -> int3: a plant requires nutrients from soil to grow; int3 & sent25 -> int4: all plants have the ability to grow; int1 & int4 -> int5: grass and a cow both have the ability to grow; int5 & sent22 -> int6: grass and a cow both have the ability to grow; int6 & sent5 -> hypothesis;
$proof$ = sent16 & sent21 -> int1: when it rains, the amount of available water in that body of water will increase; int1 & sent22 -> int2: when it floods, the amount of available water in that body of water will increase; int2 & sent3 -> int3: as water increases in quantity and quality of water increases, the amount of water in that body of water will increase; int3 & sent20 -> int4: as water increases in that body of water, the amount of water in that body of water will increase; int4 & sent11 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: a frog eating flies and a green plant absorbing light are examples of animals eating light; int1 & sent6 -> hypothesis;
$proof$ = sent9 & sent13 -> int1: the ability to store something is a kind of property; int1 & sent8 -> int2: if something does not have the ability to store something then that something is not food; sent19 & sent4 -> int3: food is a source of energy for living things; int2 & int3 -> hypothesis;
$proof$ = sent3 & sent10 -> int1: if a living thing takes in something to perform a process then that something is required for that process; int1 & sent19 -> int2: a plant requires carbon dioxide to perform photosynthesis; int2 & sent16 -> int3: a plant requires carbon dioxide to make food for itself; int3 & sent23 -> hypothesis;
$proof$ = sent4 & sent10 -> int1: a plain is made of a flat land surface; int1 & sent23 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: polar bears cannot live in cold environments; sent13 & sent11 -> int2: a pool is a kind of environment; int1 & int2 -> int3: polar bears cannot live in cold pools; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent25 & sent17 -> int1: squirrels and deer and woodpeckers live in forests; sent18 & sent10 -> int2: an animal requires a habitat for survival; int2 & sent8 -> int3: animals are adapted to living in forests; int1 & int3 -> hypothesis;
$proof$ = sent15 & sent17 -> hypothesis;
$proof$ = sent11 & sent1 -> int1: alligators eat animals; int1 & sent15 -> hypothesis;
$proof$ = sent16 & sent4 -> int1: in the food chain process herbivores have the role of primary consumer which eats producers for food; int1 & sent8 -> int2: in the food chain process herbivores have the role of primary consumer which eats green plants for food; int2 & sent2 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: decomposers add nutrients to soil using decomposition; sent15 & sent24 -> int2: a plant requires nutrients in soil to survive; int1 & int2 -> int3: decomposers help a plant survive and grow by adding nutrients to soil; int3 & sent5 -> hypothesis;
$proof$ = sent10 & sent6 -> int1: a plant requires nutrients in soil for survival; int1 & sent8 -> int2: nutrients in soil are important to plants; int2 & sent17 -> hypothesis;
$proof$ = sent7 & sent8 -> int1: plants make food for themselves by performing photosynthesis; int1 & sent5 -> int2: plants turn sunlight into food energy by performing photosynthesis; int2 & sent10 -> int3: plants turn sunlight into food energy by performing photosynthesis; int3 & sent6 -> int4: plants do not need to eat other organisms because they turn sunlight into food energy; int4 & sent16 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: if the photosynthesis process converts something into something else then that something is used for the photosynthesis process; int1 & sent19 -> int2: in the photosynthesis process carbon dioxide / water / sunlight is used to make carbohydrates and food and oxygen; int2 & sent23 -> int3: plants use sunlight for photosynthesis; sent6 & sent9 -> int4: green plants make food by performing photosynthesis; int3 & int4 -> int5: plants use energy from the sun to make food; int5 & sent7 -> hypothesis;
$proof$ = sent7 & sent14 -> int1: large birds are a source of disease; int1 & sent21 -> int2: large birds dying because of disease has a negative impact on themselves; int2 & sent23 -> int3: large birds dying because of disease has a negative impact on themselves; int3 & sent16 -> int4: as the number of large birds dies because of disease then the number of small animals will increase; int4 & sent17 -> int5: large birds eat small animals because of disease; int5 & sent5 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: earthworms can loosen the soil; int1 & sent2 -> int2: more oxygen is available in the soil; sent20 & sent3 -> int3: trees roots are a vehicle for taking in oxygen; int2 & int3 -> hypothesis;
$proof$ = sent23 & sent12 -> int1: plant reproduction requires pollinating animals; int1 & sent5 -> int2: pollinating animals are required for plant reproduction; int2 & sent6 -> int3: pollinating animals have a positive impact on plant reproduction; int3 & sent7 -> int4: a bee can help on plant reproduction by carrying pollen; int4 & sent4 -> hypothesis;
$proof$ = sent15 & sent13 -> int1: a fungus helps the tree survive by improving the soil quality for trees; int1 & sent14 -> hypothesis;
$proof$ = sent23 & sent4 -> int1: microorganisms are small in size; int1 & sent6 -> int2: seeing small things is difficult; int2 & sent21 -> int3: a microscope can be used to see the microscopic living organisms in the pond water; int3 & sent7 -> hypothesis;
$proof$ = sent3 & sent14 -> int1: barney has a scar on his ear that is an acquired characteristic; sent15 & sent6 -> int2: barney is a kind of organism; int1 & int2 & sent17 -> hypothesis;
$proof$ = sent9 & sent18 -> int1: a dolphin learns to balance a ball on its nose; int1 & sent12 -> hypothesis;
$proof$ = sent4 & sent18 -> int1: a scar on the knee is an acquired characteristic; sent2 & sent12 -> int2: acquired characteristics are not inherited from parents to offspring; int1 & int2 -> hypothesis;
$proof$ = sent20 & sent7 -> int1: pulling a plow is not an instinctive behavior; int1 & sent1 -> hypothesis;
$proof$ = sent13 & sent7 -> int1: an animal will look for food in the garbage can; int1 & sent14 -> int2: an animal requires food to survive; int2 & sent4 -> hypothesis;
$proof$ = sent10 & sent17 -> int1: hunting is a kind of learned characteristics; sent23 & sent4 -> int2: inherited characteristics are the opposite of learned characteristics; int1 & int2 -> hypothesis;
$proof$ = sent11 & sent17 -> int1: genes are able to determine the inherited characteristics of an animal; int1 & sent23 -> int2: genes are able to determine the inherited characteristics of an animal; int2 & sent5 -> int3: genes are able to determine the color of fur; int3 & sent20 -> hypothesis;
$proof$ = sent23 & sent20 -> int1: genetic information in the dna can be used for making proteins; int1 & sent18 -> hypothesis;
$proof$ = sent13 & sent2 -> int1: jessica is a human with recessive trait of light eyes; int1 & sent1 -> hypothesis;
$proof$ = sent18 & sent25 & sent11 -> int1: the offspring exhibit a combination of the traits of red and white; int1 & sent15 -> hypothesis;
$proof$ = sent1 & sent19 & sent18 -> int1: both gray mice are heterozygous dominant for gray fur; int1 & sent25 -> int2: the offspring will have 25% probability to be heterozygous dominant for gray fur; int2 & sent1 -> int3: the offspring will have 25% probability to have white fur, 25% to have black fur, and 50% to have gray fur; int3 & sent17 -> hypothesis;
$proof$ = sent16 & sent18 -> int1: a thick trunk is a part of a pecan tree; int1 & sent17 -> int2: the thick trunk of the pecan tree is a part of the offspring of the pecan tree; int2 & sent9 -> hypothesis;
$proof$ = sent6 & sent14 & sent7 -> int1: cats will inherit inherited characteristics from their parents; int1 & sent20 -> hypothesis;
$proof$ = sent3 & sent15 -> int1: fur color is often a part of a dog; sent19 & sent24 -> int2: dogs will inherit the color of fur from parents; int1 & int2 -> hypothesis;
$proof$ = sent4 & sent9 -> hypothesis;
$proof$ = sent8 & sent15 & sent17 -> int1: the sexual reproduction process is prevented in the insects; int1 & sent6 & sent1 -> int2: the reproduction rate in the insects will decrease; int2 & sent13 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: a fruit fly is a kind of animal; int1 & sent17 -> int2: a fruit fly will reproduce sexually; int2 & sent15 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: fire causes paper to burn; int1 & sent6 -> hypothesis;
$proof$ = sent5 & sent21 -> int1: rusting has changed the surface of the iron nail to be orange and flaky; int1 & sent23 -> int2: a chemical reaction happened on the iron nail; int2 & sent6 -> hypothesis;
$proof$ = sent10 & sent21 -> hypothesis;
$proof$ = sent5 & sent20 -> int1: an element is made of two or more elements chemically combined; int1 & sent19 -> hypothesis;
$proof$ = sent21 & sent22 -> hypothesis;
$proof$ = sent19 & sent20 & sent25 -> int1: calcium carbonate is made of three different elements; int1 & sent13 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: sodium and chlorine are two elements; int1 & sent20 -> int2: sodium chloride is made of two elements chemically combined; int2 & sent9 -> hypothesis;
$proof$ = sent8 & sent9 -> int1: calcium carbonate reacting with acid produces carbon dioxide; int1 & sent13 -> int2: calcium carbonate and hydrochloric acid reacting with each other produces carbon dioxide; int2 & sent1 -> int3: limestone is reacting with hydrochloric acid to produce carbon dioxide; int3 & sent19 -> hypothesis;
$proof$ = sent8 & sent16 -> int1: folding a sheet of paper changes the shape of the sheet; int1 & sent3 -> hypothesis;
$proof$ = sent15 & sent25 & sent1 -> int1: a phase change is when a substance changes from one state into another state; int1 & sent10 -> int2: melting butter changes butter from a solid to a liquid; int2 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: water is undergoing a phase change; int1 & sent19 -> int2: water is undergoing a physical process where water is boiling; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent15 -> int1: the nucleus of an atom is made of neutrons and protons; int1 & sent19 -> int2: neutrons are part of the nucleus of an atom; int2 & sent18 -> hypothesis;
$proof$ = sent1 & sent18 & sent23 -> int1: rubbing rubber on wool can cause the electrical charge of the wool to be unbalanced; int1 & sent7 -> int2: rubbing rubber on wool can cause the electrical charge of the wool to be unbalanced; sent14 & sent24 -> int3: small strips of paper are a kind of object; int2 & int3 & sent21 -> int4: static electricity can attract small strips of paper; int4 & sent5 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: equal numbers of protons and electrons result in a neutral 0 electric charge; int1 & sent10 -> int2: equal numbers of protons and electrons and any number of neutrons result in a neutral 0 electric charge; int2 & sent17 -> int3: if an atom has an equal number of protons and electrons, then the atom will have a neutral charge; int3 & sent9 -> hypothesis;
$proof$ = sent23 & sent8 -> hypothesis;
$proof$ = sent19 & sent6 -> hypothesis;
$proof$ = sent7 & sent20 & sent4 -> hypothesis;
$proof$ = sent19 & sent8 -> int1: hair tends to lose electrons after being rubbed with other materials; int1 & sent4 -> int2: hair tends to be unbalanced after being rubbed with other materials; int2 & sent13 -> int3: hair being positively charged is an example of an object being unbalanced; int3 & sent14 -> hypothesis;
$proof$ = sent22 & sent16 -> int1: the atom has a positive charge; int1 & sent20 -> hypothesis;
$proof$ = sent16 & sent24 -> int1: an electron is a part of an atom that has a negative charge; int1 & sent10 -> int2: an atom is neutral in electric charge property; int2 & sent23 -> hypothesis;
$proof$ = sent5 & sent15 -> int1: ions are the charged particles formed during a chemical reaction; int1 & sent14 -> hypothesis;
$proof$ = sent9 & sent10 -> int1: iron is a solid substance; int1 & sent21 -> int2: the temperature of iron increases; int2 & sent11 -> hypothesis;
$proof$ = sent14 & sent15 -> hypothesis;
$proof$ = sent11 & sent24 -> hypothesis;
$proof$ = sent9 & sent17 -> int1: oxygen is a kind of element; int1 & sent4 -> int2: a metal can is made of an element; int2 & sent11 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: an element is made of only one kind of atom; int1 & sent12 -> hypothesis;
$proof$ = sent9 & sent13 -> hypothesis;
$proof$ = sent18 & sent11 -> hypothesis;
$proof$ = sent11 & sent19 -> int1: copper is made of one kind of atoms; int1 & sent17 -> hypothesis;
$proof$ = sent17 & sent23 -> hypothesis;
$proof$ = sent13 & sent25 -> int1: potassiumn and sodium have similar properties; int1 & sent14 -> hypothesis;
$proof$ = sent2 & sent22 -> int1: helium, neon, and argon have similar properties; int1 & sent9 & sent13 & sent19 -> hypothesis;
$proof$ = sent21 & sent15 -> hypothesis;
$proof$ = sent16 & sent4 -> hypothesis;
$proof$ = sent11 & sent3 -> int1: the water in both pans contains 1 l of water; int1 & sent19 -> hypothesis;
$proof$ = sent12 & sent17 -> int1: puddles of water will receive sunlight; int1 & sent16 -> int2: the puddles of water will increase in temperature; int2 & sent4 -> int3: the puddles of water will increase in heat energy; int3 & sent6 & sent7 -> hypothesis;
$proof$ = sent21 & sent5 -> hypothesis;
$proof$ = sent5 & sent12 & sent14 -> int1: the water will change from a liquid to a solid by decreasing heat energy; int1 & sent25 -> int2: the water will decrease in temperature; int2 & sent8 & sent5 -> hypothesis;
$proof$ = sent12 & sent22 & sent21 -> int1: water will change from a liquid to a solid when it reaches its freezing point; int1 & sent15 & sent2 -> hypothesis;
$proof$ = sent25 & sent16 -> int1: the ice cube will absorb solar energy; int1 & sent14 & sent12 -> hypothesis;
$proof$ = sent15 & sent16 -> int1: the ice cube will absorb solar energy; int1 & sent13 & sent23 -> hypothesis;
$proof$ = sent3 & sent3 -> int1: as the amount of heat energy of a substance increases, the amount of kinetic energy of that substance will increase; int1 & sent10 -> int2: increasing heat energy causes a solid substance to melt; int2 & sent11 -> hypothesis;
$proof$ = sent10 & sent14 -> int1: chocolate is a solid substance; int1 & sent20 & sent23 -> int2: chocolate melts; int2 & sent4 -> int3: the chocolate changes from a solid substance to a liquid substance; int3 & sent15 -> int4: the shape of the chocolate changes when it melts; int4 & sent21 -> hypothesis;
$proof$ = sent4 & sent13 -> int1: water is a liquid substance at room temperature; int1 & sent25 & sent19 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: heat energy is added to the food after cooking; int1 & sent2 -> int2: heat energy is added to food after cooking; int2 & sent12 -> int3: heat energy is added to water after cooking; int3 & sent8 -> hypothesis;
$proof$ = sent22 & sent3 -> hypothesis;
$proof$ = sent1 & sent23 & sent2 -> hypothesis;
$proof$ = sent24 & sent5 & sent4 -> int1: comparing the mass and volume of different marbles requires measuring the mass and volume of each marble; int1 & sent17 & sent23 -> hypothesis;
$proof$ = sent6 & sent21 -> int1: a ruler and balance can be used to measure the length and mass of an object; int1 & sent22 -> hypothesis;
$proof$ = sent22 & sent15 & sent7 -> int1: comparing the mass of different potato slices requires measuring the mass of each potato slice; int1 & sent18 -> hypothesis;
$proof$ = sent18 & sent9 -> int1: a compass is a kind of invention; int1 & sent11 -> hypothesis;
$proof$ = sent24 & sent10 -> hypothesis;
$proof$ = sent19 & sent11 & sent16 -> int1: norfolk and richmond are both towns; int1 & sent24 -> hypothesis;
$proof$ = sent18 & sent4 -> int1: kilogram can be used to measure the mass of heavy objects; int1 & sent5 -> hypothesis;
$proof$ = sent7 & sent15 -> int1: water and sand are two substances; int1 & sent8 -> int2: wet sand is made of at least two substances; int2 & sent3 -> hypothesis;
$proof$ = sent9 & sent22 -> int1: sand is a solid in soil; int1 & sent23 -> int2: a mixture of sand and clay is a mixture of solids; int2 & sent12 -> hypothesis;
$proof$ = sent24 & sent14 -> int1: fruit salad is a kind of mixture; sent20 & sent12 -> int2: fruit salad is made of solids; int1 & int2 -> int3: fruit salad is a mixture of solids; int3 & sent21 -> hypothesis;
$proof$ = sent8 & sent5 -> int1: a tennis ball is buoyant; int1 & sent24 -> hypothesis;
$proof$ = sent2 & sent21 -> int1: how a rock appears is a property of the rock; int1 & sent14 -> hypothesis;
$proof$ = sent11 & sent1 -> hypothesis;
$proof$ = sent23 & sent18 -> hypothesis;
$proof$ = sent23 & sent3 -> int1: iron nails are electrical conductors; sent2 & sent1 -> int2: iron nails are magnetic; int1 & int2 -> hypothesis;
$proof$ = sent25 & sent4 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: a wire is an electrical conductor; int1 & sent16 -> hypothesis;
$proof$ = sent25 & sent17 -> int1: a drill is a tool for cutting holes; sent19 & sent20 -> int2: diamond is a hard material; int1 & int2 -> hypothesis;
$proof$ = sent16 & sent15 -> hypothesis;
$proof$ = sent2 & sent17 -> int1: a metal spoon is a thermal conductor; sent21 & sent15 -> int2: if heat is transferred to an object then the object will get hot; int1 & int2 -> hypothesis;
$proof$ = sent18 & sent12 -> hypothesis;
$proof$ = sent10 & sent17 -> int1: the mass of a block of ice is a measure of the amount of matter in the block; int1 & sent7 -> hypothesis;
$proof$ = sent18 & sent5 & sent19 -> hypothesis;
$proof$ = sent25 & sent24 -> int1: touch is a kind of sense that can be used to observe the texture of objects; int1 & sent7 -> hypothesis;
$proof$ = sent21 & sent12 -> int1: matter in gas phase has variable volume and variable shape; int1 & sent13 -> hypothesis;
$proof$ = sent10 & sent5 -> int1: solid is a kind of physical state; int1 & sent7 -> hypothesis;
$proof$ = sent22 & sent14 -> hypothesis;
$proof$ = sent3 & sent11 -> int1: as the ability to preserve food increases, the ability to transport food increases; int1 & sent19 -> int2: as the transportation technology for food increases, the avilable types of food in distant locations will increase; int2 & sent6 -> hypothesis;
$proof$ = sent18 & sent19 -> int1: excavation and slab are roles related to the foundation in construction; int1 & sent16 -> hypothesis;
$proof$ = sent22 & sent15 -> int1: an airport has a runway for airplanes; int1 & sent21 -> hypothesis;
$proof$ = sent11 & sent15 -> hypothesis;
$proof$ = sent6 & sent19 -> hypothesis;
$proof$ = sent19 & sent15 -> hypothesis;
$proof$ = sent10 & sent15 -> int1: if heat of a liquid is transferred to the environment, the temperature of the liquid will decrease; int1 & sent1 -> int2: the temperature of the liquid will decrease and the liquid may freeze; int2 & sent12 -> hypothesis;
$proof$ = sent12 & sent14 -> hypothesis;