$proof$ = sent6 & sent20 -> int1: when the season changes from summer to winter, the amount of daylight will change; int1 & sent25 -> int2: when the season changes from summer to winter, the amount of daylight will decrease; int2 & sent19 -> int3: the northern hemisphere will have the most daylight in summer; int3 & sent15 -> hypothesis;
$proof$ = sent7 & sent16 & sent11 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent10 -> int2: earth revolving the sun is an example of a celestial object revolving around its star; int2 & sent13 -> int3: a complete revolution of the earth around the sun takes an earth year; int3 & sent2 -> hypothesis;
$proof$ = sent14 & sent23 -> int1: the earth revolving the sun is an example of a planet revolving around its star; int1 & sent25 -> int2: a complete revolution of the earth around the sun takes an earth year; int2 & sent16 -> int3: a complete revolution of the moon around the earth takes an earth year; int3 & sent3 -> hypothesis;
$proof$ = sent7 & sent16 -> int1: the gravitational pull of the moon on earth causes the tides; int1 & sent23 -> hypothesis;
$proof$ = sent13 & sent24 -> hypothesis;
$proof$ = sent21 & sent6 -> hypothesis;
$proof$ = sent11 & sent24 -> int1: a galaxy is a kind of celestial object; int1 & sent9 & sent5 -> int2: a star is a kind of celestial object; int2 & sent25 & sent14 -> int3: the milky way is a kind of celestial object; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: a comet is a kind of celestial object; int1 & sent15 -> int2: a comet is an object that is mainly made of ice and orbiting the sun in an elliptical path; sent12 & sent6 -> int3: a comet is mainly made of ice and orbiting the sun in an elliptical path; int2 & int3 -> hypothesis;
$proof$ = sent12 & sent15 -> int1: a galaxy is a kind of celestial object; int1 & sent5 -> hypothesis;
$proof$ = sent12 & sent8 -> int1: the earth revolving the sun is an example of a planet revolving around the sun; sent7 & sent2 -> int2: a planet is a kind of celestial object; int2 & sent24 & sent1 -> int3: the moon is a kind of celestial object; int1 & int3 -> int4: the moon is a kind of celestial object; int4 & sent5 -> int5: the moon is a kind of celestial object; int5 & sent17 & sent5 -> int6: the moon is a kind of celestial object; sent2 & sent7 -> int7: a planet is a kind of celestial object; int6 & int7 -> int8: the moon is a kind of celestial object; int8 & sent10 -> int9: the moon and the earth are different kinds of different kinds of things; int9 & sent11 -> int10: the moon and the earth are both kinds of different kinds of things; int10 & int6 -> hypothesis;
$proof$ = sent8 & sent11 -> hypothesis;
$proof$ = sent4 & sent15 -> hypothesis;
$proof$ = sent24 & sent8 -> int1: earth is a kind of celestial object; int1 & sent2 & sent23 -> hypothesis;
$proof$ = sent8 & sent10 -> int1: a star emits; int1 & sent6 -> int2: a star is a source of light; int2 & sent16 -> int3: a star is a source of light; int3 & sent7 -> hypothesis;
$proof$ = sent21 & sent15 -> int1: a yellow dwarf is a kind of main-sequence star; int1 & sent14 & sent19 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: a yellow dwarf is a kind of main-sequence star; int1 & sent3 -> int2: the sun is a kind of star that is yellow in color; int2 & sent18 & sent11 -> int3: the sun is a kind of yellow dwarf; int3 & sent10 -> int4: the sun is a kind of yellow dwarf with medium size; int4 & sent21 -> hypothesis;
$proof$ = sent22 & sent24 -> int1: the sun is a kind of celestial object; int1 & sent8 -> int2: the sun is a kind of celestial body; int2 & sent5 & sent13 -> hypothesis;
$proof$ = sent1 & sent22 -> int1: the sun is a kind of main-sequence star; int1 & sent9 -> int2: the sun is a kind of yellow main-sequence star; int2 & sent12 & sent8 -> hypothesis;
$proof$ = sent4 & sent21 -> int1: protons and neutrons are involved in nuclear fusion; int1 & sent2 -> int2: protons and neutrons are involved in the nuclear fusion process; int2 & sent25 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: less is more in the world of gravity; int1 & sent7 -> int2: as the force of gravity on an animal decreases, the animal can jump higher; sent4 & sent12 -> int3: a human is a kind of animal; int2 & int3 -> int4: as the force of gravity on a human decreases, the human can jump higher; sent14 & sent17 -> int5: the moon is a kind of celestial object; int5 & sent12 -> int6: the moon is a kind of celestial object; int4 & int6 -> hypothesis;
$proof$ = sent8 & sent11 -> int1: an astronaut is a kind of human; int1 & sent17 -> int2: an astronaut is a kind of object; int2 & sent12 -> int3: as the mass of an object decreases, the weight of an object on that object will increase; int3 & sent6 -> int4: an object weighs more on earth than on the moon because earth has more mass than the moon; int4 & sent4 -> int5: the moon is less than the earth; int5 & sent14 -> int6: the moon is a kind of object; int3 & int6 -> int7: an object will weigh more on earth than on the moon because the surface gravity on earth is less than the surface gravity on the moon; int7 & sent24 -> hypothesis;
$proof$ = sent13 & sent13 -> int1: a moon is a kind of object; int1 & sent25 & sent1 -> int2: a telescope can be used for observing the moon; int2 & sent18 -> int3: a telescope can be used for observing the moon; int3 & sent9 -> hypothesis;
$proof$ = sent4 & sent8 & sent10 -> int1: new moon is when the moon should face the earth; int1 & sent24 -> int2: the new moon is when the moon should face the earth; int2 & sent12 & sent3 -> int3: the first quarter phase of the moon will occur 28 days after the new moon; int3 & sent9 -> hypothesis;
$proof$ = sent10 & sent15 & sent12 -> hypothesis;
$proof$ = sent20 & sent21 -> int1: the first quater and the last quater are kinds of moon phases; int1 & sent15 -> int2: the lowest gravitational pull of the moon is during the first quater and the last quater; int2 & sent13 -> hypothesis;
$proof$ = sent12 & sent19 -> int1: earth is a kind of celestial object; int1 & sent16 & sent14 -> int2: the moon is a kind of celestial object; int2 & sent8 -> int3: gravity causes the moon to orbit the earth; int3 & sent24 -> hypothesis;
$proof$ = sent25 & sent24 -> int1: gravity causes planets to orbit stars; int1 & sent22 & sent7 -> hypothesis;
$proof$ = sent2 & sent20 -> int1: earth revolving the sun is an example of a planet revolving around its star; sent1 & sent9 -> int2: the sun is a kind of star; int1 & int2 & sent7 -> int3: gravity causes earth to orbit the sun; int3 & sent18 -> int4: gravity causes the earth to revolve around the sun; sent10 & sent11 -> int5: a star is a kind of celestial object; int5 & sent5 -> int6: a star is a kind of celestial object; int4 & int6 -> int7: gravity causes earth to orbit the sun; int2 & int7 -> int8: gravity causes earth to orbit the sun; int8 & sent23 -> hypothesis;
$proof$ = sent16 & sent7 -> int1: a planet is a kind of celestial object; int1 & sent19 -> int2: gravity causes planets to orbit stars; int2 & sent12 & sent9 -> hypothesis;
$proof$ = sent7 & sent20 -> int1: the sun is a star made of hydrogen and helium; sent22 & sent16 -> int2: a star is a kind of celestial object; int2 & sent18 -> int3: the sun is the largest celestial body in the solar system; int1 & int3 -> hypothesis;
$proof$ = sent25 & sent17 -> int1: an astronaut is a kind of human; int1 & sent5 -> int2: an astronaut is a kind of organism; sent3 & sent21 -> int3: a human is a kind of animal; int3 & sent24 -> int4: a human is a kind of living thing; int4 & sent19 -> int5: an animal requires oxygen for survival; int5 & sent7 -> int6: an animal requires oxygen for survival; int6 & sent9 -> int7: astronauts require oxygen to breathe; int2 & int7 -> hypothesis;
$proof$ = sent23 & sent3 -> int1: volcanoes erupting can form a new land; int1 & sent1 -> int2: volcanoes erupting can form a new land by lava cooling; int2 & sent19 -> hypothesis;
$proof$ = sent14 & sent23 -> int1: precipitation and infiltration are stages in the water cycle; int1 & sent15 -> int2: precipitation and infiltration are stages in the water cycle; int2 & sent6 -> int3: precipitation and infiltration are responsible for the formation of sinkholes and caves; int3 & sent12 -> hypothesis;
$proof$ = sent1 & sent7 -> int1: sedimentary rocks can contain fossils; int1 & sent17 -> int2: sedimentary rocks do not contain fossils; sent25 & sent17 -> int3: metamorphic rocks do not contain fossils; int2 & int3 -> int4: sedimentary rocks cannot form fossils; sent23 & sent16 -> int5: a rock is a kind of object; int5 & sent16 -> int6: a rock is a kind of object; int6 & sent21 -> int7: rocks cannot form fossils; int4 & int7 -> hypothesis;
$proof$ = sent15 & sent3 -> int1: a paw print is a kind of fossil; sent10 & sent5 -> int2: a human is a kind of living thing; sent2 & sent24 -> int3: a human is a kind of living thing; int2 & int3 -> int4: a human is a kind of organism; sent6 & sent9 -> int5: a human is a kind of organism; int5 & sent19 -> int6: a human is a kind of object; int4 & int6 -> int7: a human is a kind of organism; int7 & sent21 -> int8: a human is a kind of organism; int8 & sent13 -> int9: a fossil is a kind of object; int1 & int9 -> hypothesis;
$proof$ = sent11 & sent10 -> int1: an animal is a kind of organism; int1 & sent16 -> int2: organisms have changed over time; int2 & sent8 -> int3: conclusions can be drawn about changes in organisms over time by determining the age of fossils; sent25 & sent12 -> int4: radioactive dating is a kind of technique for determining the age of fossils; int3 & int4 -> hypothesis;
$proof$ = sent13 & sent12 -> int1: a fish is a kind of aquatic animal; int1 & sent22 -> int2: if fossils of fish are found in a place then that place used to be covered by water in the past; int2 & sent23 -> int3: if fossils of fish are found in a place then that place used to be covered by water in the past; sent20 & sent3 -> int4: a fish is a kind of aquatic animal that lives in water; int4 & sent15 -> int5: a fish is a kind of aquatic animal that lives in water; int5 & sent10 -> int6: fish are a kind of water animal that lives in oceans; int3 & int6 -> int7: fossils of fish are found on the land; int7 & sent14 -> int8: the land used to be covered by water in the past; int8 & sent25 -> hypothesis;
$proof$ = sent7 & sent24 -> int1: marine fossils are fossils of water animals; int1 & sent8 -> int2: fossils of water animals are found in marine fossils; int2 & sent4 -> int3: if fossils of water animals are found in a place then that place used to be covered by water in the past; int3 & sent8 & sent15 -> int4: if fossils of trilobites are found in a place then that place used to be covered by water in the past; int4 & sent9 -> int5: fossils of trilobites are found in ohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohiohio;
$proof$ = sent19 & sent5 -> int1: teeth are part of a shark; sent19 & sent7 -> int2: a shark is a kind of aquatic animal; int2 & sent25 -> int3: if fossils of sharks are found in a place then that place used to be covered by water in the past; int3 & sent20 & sent3 -> int4: if fossils of sharks are found in a place then that place used to be covered by water in the past; int1 & int4 -> int5: the side of the cliff used to be a shallow sea; int5 & sent23 -> hypothesis;
$proof$ = sent1 & sent25 -> int1: organisms are a part of an environment; int1 & sent5 -> int2: fossils are preserved by organisms; int2 & sent24 -> int3: fossils are preserved by organisms; int3 & sent13 -> int4: fossils are preserved by humans; int4 & sent17 -> int5: fossils can be used to study the history of organisms and environments on earth; int5 & sent2 -> int6: fossils can be used to study the history of organisms and environments; int4 & int6 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: fossils can be found in limestones; int1 & sent22 -> hypothesis;
$proof$ = sent22 & sent7 -> int1: the formation of diamonds requires extreme heat; sent25 & sent3 -> int2: the heat and pressure on earth's crust is extreme; int2 & sent10 -> int3: the formation of diamonds occurs beneath the the surface of the earth; int1 & int3 -> hypothesis;
$proof$ = sent13 & sent2 -> int1: halite is formed by the process of evaporation of salt water; int1 & sent14 -> hypothesis;
$proof$ = sent14 & sent7 -> int1: the mineral sample is yellow in color; sent10 & sent7 -> int2: sulfur is yellow in color; int1 & int2 & sent11 -> int3: the mineral sample is yellow in color; sent23 & sent13 -> int4: a mineral is a kind of object; int4 & sent25 -> int5: color is a property of the mineral; int5 & sent5 -> int6: color is a property of the mineral; int3 & int6 -> hypothesis;
$proof$ = sent16 & sent18 -> int1: hardness is a property of a mineral; int1 & sent25 -> hypothesis;
$proof$ = sent16 & sent9 -> int1: weathering is a kind of erosion; int1 & sent12 -> int2: in the rock cycle, old rocks are physically changed to form new rocks; int2 & sent2 -> int3: in the rock cycle, old rocks are physically changed to form new rocks; sent5 & sent21 -> int4: the formation of rock is a kind of process; int4 & sent13 -> int5: the process of rock cycle is a kind of process; int5 & sent25 -> int6: the formation of rock is a kind of process; int6 & sent1 -> int7: fossils are formed by the remains of organisms; int7 & sent23 -> int8: fossils are the remains of organisms; int8 & sent23 -> int9: fossils are formed by the remains of organisms or parts of organisms; int9 & sent22 -> int10: fossils are likely to be destroyed in the rock cycle; int10 & int6 -> hypothesis;
$proof$ = sent20 & sent5 -> int1: as the earth processes change, the total amount of material on earth will stay the same; int1 & sent18 -> hypothesis;
$proof$ = sent11 & sent9 -> int1: a mineral is a solid natural material; int1 & sent2 -> int2: rock is made of minerals; int2 & sent5 & sent7 -> int3: a rock is a kind of object; sent24 & sent5 -> int4: a mineral is a kind of object; int3 & int4 -> int5: a rock is identified by the minerals it contains; int5 & sent17 -> hypothesis;
$proof$ = sent16 & sent25 -> hypothesis;
$proof$ = sent6 & sent25 -> int1: sedimentary rocks are made of small particles of sand; int1 & sent13 -> int2: sedimentary rocks are made of small particles of sand with different colored layers; sent18 & sent5 -> int3: sedimentary rocks are formed by sediments compacting and cementing together; int2 & int3 -> hypothesis;
$proof$ = sent11 & sent14 -> int1: forming fossil fuels requires deposition and burial of decaying vegetation; int1 & sent5 -> int2: forming fossil fuels requires deposition and burial of decaying vegetation; int2 & sent22 -> int3: coal is formed from dead plants; sent3 & sent16 -> int4: a tree is a kind of plant; int4 & sent12 -> int5: a tree is a kind of organism; int5 & sent7 -> int6: fossil fuels are formed from dead organisms; int3 & int6 -> hypothesis;
$proof$ = sent14 & sent2 -> int1: forming coal requires deposition and burial of decaying vegetation; int1 & sent12 -> int2: decaying vegetation helps in the formation of coal; sent16 & sent17 -> int3: coal is a kind of fossil fuel; int3 & sent10 -> int4: coal and oil and gas are kinds of prehistoric fossil fuels; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent10 -> int1: burning fossil fuels increases the carbon dioxide in the atmosphere; int1 & sent15 -> int2: burning fossil fuels adds carbon dioxide to the atmosphere; int2 & sent22 -> int3: burning fossil fuels adds carbon dioxide to the atmosphere; int3 & sent19 -> hypothesis;
$proof$ = sent16 & sent7 -> int1: fuel is a kind of energy source; int1 & sent17 -> int2: if something uses something that comes from a source then that something uses the source of that something; int2 & sent6 -> int3: if something uses something that comes from a source then that something uses the source of that something; sent2 & sent8 -> int4: fossil fuels are a kind of energy resource; int4 & sent19 -> int5: burning fossil fuels increases the carbon dioxide in the atmosphere; sent1 & sent19 -> int6: burning fossil fuels increases the carbon dioxide in the atmosphere; int6 & sent10 -> int7: burning fossil fuels increases the carbon dioxide in the atmosphere; int5 & int7 -> int8: fossil fuels are a source of energy resource that significantly impact the earth's atmosphere; int8 & sent24 -> hypothesis;
$proof$ = sent4 & sent17 -> int1: gases released during the use of fossil fuels causes global warming; sent14 & sent11 -> int2: global warming means an increase in temperature; int1 & int2 -> int3: gases released during the use of fossil fuels causes global warming; int3 & sent7 -> hypothesis;
$proof$ = sent18 & sent6 -> int1: coal is a kind of fossil fuel; sent22 & sent25 -> int2: gasoline is kind of fossil fuel; int1 & int2 -> int3: burning coal and gasoline is a kind of fossil fuel; int3 & sent13 -> int4: burning fossil fuels such as coal and gasoline is a kind of human activity; int4 & sent21 -> hypothesis;
$proof$ = sent10 & sent1 -> int1: a thermal energy conductor transfers heat; int1 & sent17 -> hypothesis;
$proof$ = sent15 & sent22 -> int1: surface mining removes the vegetation above the coal; int1 & sent2 -> int2: surface mining removes plants from the vegetation above the coal; sent20 & sent5 -> int3: removing coal from the ground has a negative impact on the ecosphere; int3 & sent7 -> int4: surface mining has a negative impact on the lithosphere and biosphere; int2 & int4 -> hypothesis;
$proof$ = sent21 & sent1 -> int1: fossil fuels are a nonrenewable resource; int1 & sent19 -> int2: petroleum is a kind of nonrenewable resource; sent4 & sent7 -> int3: petroleum is a kind of nonrenewable resource; int2 & int3 -> hypothesis;
$proof$ = sent14 & sent24 -> int1: farming is when a human plants crops for food; int1 & sent13 -> int2: farming requires using farm land to produce food; int2 & sent12 -> int3: as the use of something decreases, the use of the farm land used to produce that something decreases; sent2 & sent11 -> int4: a farmer farms crops; int4 & sent10 -> int5: a farmer uses farm land to produce food; int5 & sent5 -> int6: as the use of ethanol decreases, the use of farm land that is used to produce ethanol decreases; sent21 & sent16 -> int7: corn is a kind of crop; int6 & int7 -> int8: ethanol is a kind of crop; int8 & sent15 -> int9: ethanol is a kind of food production; int9 & sent9 -> hypothesis;
$proof$ = sent2 & sent5 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: wood boards are made of a natural resource; sent17 & sent9 -> int2: wood is a kind of rewnewable resource; int1 & int2 -> int3: wood boards are made of a renewable natural resource; sent7 & sent23 -> int4: wood boards can be used to build houses; int4 & sent8 -> int5: wood boards are a kind of renewable resource; int3 & int5 -> hypothesis;
$proof$ = sent23 & sent23 -> int1: erosion can decrease the amount of nutrients in soil; int1 & sent10 -> int2: irrigation can decrease the amount of nutrients in soil; int2 & sent13 & sent7 -> hypothesis;
$proof$ = sent17 & sent9 -> int1: overgrazing increases soil erosion; sent14 & sent7 -> int2: soil erosion is when wind and moving water moves soil from fields / environments; int2 & sent2 -> int3: topsoil is moved from fields / environments to the desert; sent24 & sent5 -> int4: a desert is a kind of environment; int4 & sent23 -> int5: a desert is formed by water moving water; int3 & int5 -> int6: overgrazing can result in desertification by increasing the rate at which topsoil is eroded; int6 & sent12 -> hypothesis;
$proof$ = sent14 & sent15 -> int1: cutting down trees has a negative impact on the environment; int1 & sent14 -> int2: cutting down trees has a negative impact on the environment; sent22 & sent22 -> int3: decreasing something that is required for a process has a negative impact on that process; int3 & sent5 -> int4: decreasing something that is required for a process has a positive impact on that process; int4 & sent19 -> int5: cutting down trees has a positive impact on the environment; int2 & int5 -> hypothesis;
$proof$ = sent10 & sent9 -> int1: tree roots decrease soil erosion; sent10 & sent3 -> int2: tree roots decrease soil erosion; int1 & int2 -> int3: tree roots decrease soil erosion; sent11 & sent19 -> int4: soil erosion is when wind and moving water moves soil from fields / environments; int4 & sent25 -> int5: clearing trees from a forest causes soil erosion to increase in that forest; int3 & int5 -> int6: clearing trees from a forest causes soil erosion to increase in that forest; int6 & sent22 -> hypothesis;
$proof$ = sent19 & sent21 -> int1: a decrease in plants roots will increase soil erosion; int1 & sent13 -> int2: as the deforestation increases, the soil erosion will increase; sent1 & sent4 -> int3: cutting down trees in a forest causes deforestation to increase; int2 & int3 -> int4: cutting down trees in a forest causes soil erosion; int4 & sent24 -> hypothesis;
$proof$ = sent17 & sent24 -> int1: animals are kinds of organisms; int1 & sent15 -> int2: an animal requires oxygen for survival; int2 & sent7 -> int3: deforestation causes the animal population of oxygen to decrease; sent4 & sent10 -> int4: a rain forest is a kind of forest; int3 & int4 -> int5: deforestation causes the animal population of oxygen in a rainforest to decrease; int5 & sent8 -> int6: deforestation causes the production of oxygen in a rainforest to decrease; int6 & sent23 -> int7: deforestation causes the production of oxygen to decrease; int7 & sent19 -> hypothesis;
$proof$ = sent7 & sent11 -> int1: an ocean is a kind of body of water; int1 & sent10 -> int2: seawater is a kind of salt water; int2 & sent17 -> int3: salt water comes from the ocean; int3 & sent5 -> int4: water that has salt removed may have come from a sea; sent23 & sent3 -> int5: if something comes from something else then that something else comes from that something else; int5 & sent15 -> int6: if something comes from a sea then that something may have come from that something else; int4 & int6 -> hypothesis;
$proof$ = sent14 & sent12 -> int1: glaciers are a kind of water reservoir; int1 & sent16 -> int2: glaciers are a kind of water reservoir that provide freshwater; int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent13 -> int1: a trail requires cutting down trees; int1 & sent8 -> int2: humans building trails by cutting down trees has a negative impact on an ecosystem; sent24 & sent19 -> int3: humans changing ecosystems has a negative impact on an ecosystem; int3 & sent5 -> int4: humans changing ecosystems has a negative impact on an ecosystem; int2 & int4 -> int5: humans building trails by cutting down trees has a negative impact on the environment; int5 & sent20 -> hypothesis;
$proof$ = sent24 & sent11 -> int1: runoff from a cropland into bodies of water; int1 & sent25 -> int2: runoff from a cropland into a lake is a kind of water that runs off into the lake; int2 & sent20 -> int3: runoff from a cropland entering a lake has a negative impact on water quality; int3 & sent17 -> int4: runoff from a cropland entering a lake has a negative impact on water quality; int4 & sent2 -> hypothesis;
$proof$ = sent23 & sent16 -> int1: every year seals return to the same beaches to give birth; int1 & sent20 -> int2: every year seals return to the same beaches to give birth; sent13 & sent20 -> int3: a beach is a kind of location; int3 & sent14 -> int4: if humans disturb animals at a beach then those animals will move to a different location; int4 & sent15 -> int5: if humans disturb animals at a beach then those animals will move to a different location; int5 & sent10 -> int6: if humans disturb animals at a beach then those animals will move to a different location; int2 & int6 -> int7: if humans disturb seals then those seals will give birth at different beaches; sent16 & sent18 -> int8: a seal is a kind of living thing; int7 & int8 -> int9: if humans disturb seals at the beaches they give birth at then those seals will give birth at different beaches; int9 & sent15 -> hypothesis;
$proof$ = sent14 & sent3 -> int1: green plants are kinds of plants; int1 & sent21 -> int2: a green plant is a kind of resource; sent22 & sent21 -> int3: conserving a resource requires using less of a resource; int3 & sent19 -> int4: conserving resources requires using less of a resource; int2 & int4 -> int5: conserving resources requires using less of a resource; int5 & sent8 -> int6: a compost pile helps conserve resources by recycling plants; int6 & sent16 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: as time spent taking a shower decreases, water used will decrease; int1 & sent18 -> int2: as time spent taking a shower decreases, water used will decrease; int2 & sent12 -> int3: decreasing the use of water conserves water; int3 & sent16 -> int4: conserving water requires using less water; int4 & sent13 -> hypothesis;
$proof$ = sent10 & sent18 -> int1: humans building roads in an ecosystem causes that ecosystem to change; int1 & sent7 -> int2: humans building roads in an ecosystem will have a negative impact on the ecosystem and the organisms living in that ecosystem; sent17 & sent23 -> int3: humans changing an ecosystem has a negative impact on an ecosystem; int2 & int3 -> int4: humans building roads in an ecosystem will have a negative impact on the ecosystem and the organisms living in that ecosystem; int4 & sent22 -> int5: humans building roads in an ecosystem will have a negative impact on the ecosystem and the organisms living in that ecosystem; sent14 & sent9 -> int6: cutting down trees has a negative impact on the ecosystem; int5 & int6 -> int7: humans building roads in an ecosystem has a negative impact on the organisms living in that ecosystem; int3 & int7 -> hypothesis;
$proof$ = sent6 & sent18 -> hypothesis;
$proof$ = sent21 & sent23 -> int1: a farmer farms crops; plants for food; sent20 & sent11 -> int2: a plant requires nutrients to grow; int2 & sent10 -> int3: algae requires nutrients to grow; int3 & sent19 -> int4: algae requires nutrients to grow; int4 & sent5 -> int5: fertilizers in the runoff from the farm can increase the population of algae; sent12 & sent14 -> int6: algae is a kind of organism; int6 & sent7 -> int7: algae is a kind of organism; int7 & sent16 -> int8: algae is a kind of organism; int5 & int8 -> int9: fertilizers in the runoff from the farm can increase the population of algae; int9 & sent13 -> hypothesis;
$proof$ = sent1 & sent18 -> int1: toxic chemicals are dumped into a pond; int1 & sent1 -> int2: the toxic chemicals in the pond can cause fish in the pond to die; sent25 & sent19 -> int3: harming a fish can cause that fish to die; int3 & sent4 -> int4: harming fish can cause fish to die; sent15 & sent21 -> int5: a fish is a kind of aquatic animal that lives in water; int5 & sent22 -> int6: a fish is a kind of living thing that lives in water; int4 & int6 -> int7: toxic chemicals can cause fish to die; sent17 & sent4 -> int8: a fish is a kind of animal that lives in water; int7 & int8 -> int9: toxic chemicals can cause fish in ponds to die; int9 & sent1 -> hypothesis;
$proof$ = sent23 & sent10 -> int1: hunting is when a human kills an animal for food; int1 & sent24 -> int2: hunting decreases animal populations; sent7 & sent25 -> int3: an animal is a kind of living thing; int3 & sent5 -> int4: fur is often a part of an animal; int4 & sent16 -> int5: fur is often a part of an animal; sent14 & sent10 -> int6: hunting is when a human kills an animal for food; int6 & sent24 -> int7: hunting decreases animal populations; sent8 & sent13 -> int8: animals are kinds of organisms; int7 & int8 -> int9: animals are a kind of organism; int9 & sent11 -> int10: if hunting decreases the animal population to zero then the animal will be extinct; int10 & int6 -> hypothesis;
$proof$ = sent24 & sent5 -> int1: predators are kinds of animals; int1 & sent6 -> int2: predators are kinds of animals; int2 & sent25 & sent16 -> int3: decreases in sloth populations can cause sloths to be extinct; sent1 & sent2 -> int4: a human is a kind of animal; sent22 & sent11 -> int5: animals are kinds of organisms; int5 & sent9 -> int6: an animal is a kind of organism; int6 & sent20 -> int7: a human is a kind of living thing; int4 & int7 -> int8: human hunting sloths can cause sloths to be extinct; int3 & int8 -> hypothesis;
$proof$ = sent9 & sent20 -> int1: the mantle is the layer located just below the crust of the earth; int1 & sent7 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: erosion changes the earth's surface; int1 & sent6 -> int2: an earthquake can change earth's surface rapidly; int2 & sent10 -> hypothesis;
$proof$ = sent19 & sent2 -> int1: the deep rock layers of earth are older than the shallow rock layers; int1 & sent14 & sent13 -> hypothesis;
$proof$ = sent5 & sent14 -> int1: water is a liquid that exists at room temperature; int1 & sent21 -> int2: water exists in the gas state; sent11 & sent10 -> int3: water vapor is a gas that exists in the atmosphere; int2 & int3 -> int4: water vapor exists in the atmosphere as an invisible gas; sent20 & sent7 -> int5: water vapor is found in the atmosphere; int4 & int5 -> int6: water vapor exists in the atmosphere as an invisible gas; int6 & sent25 -> hypothesis;
$proof$ = sent16 & sent11 -> int1: 0036 is the smallest percent among 1288, 4, 23133, 78 percent; sent16 & sent11 -> int2: 0036 is the smallest percent among 1288, 4, 23133, 78 percent; int1 & int2 -> int3: 0036 is the smallest percent among 1288, 4, 23133, 78 percent; sent18 & sent21 -> int4: carbon dioxide has the lowest volume in earth's atmosphere; int3 & int4 -> hypothesis;
$proof$ = sent14 & sent6 -> int1: ice caps melting causes ocean water levels to rise; int1 & sent3 -> int2: ocean water level rising causes the salt content of coastal wetlands to increase; sent7 & sent16 -> int3: salt water is made of water and air; int3 & sent13 -> int4: salt water is made of water and air; int2 & int4 -> hypothesis;
$proof$ = sent7 & sent7 -> int1: ocean animals are kinds of water animals living in oceans; int1 & sent9 -> int2: ocean animals are kinds of water animals living in oceans; sent6 & sent12 -> int3: a fish is a kind of aquatic animal; int3 & sent1 -> int4: fish require water for survival; int4 & sent23 -> int5: fish require water for survival; int5 & sent24 -> int6: oceans are the habitats for aquatic animals; int6 & sent17 -> int7: a fish is a kind of aquatic animal living in oceans; int2 & int7 -> int8: oceans are the best source of wild fish for human populations; int8 & sent11 -> hypothesis;
$proof$ = sent9 & sent6 -> int1: as a submarine descends into water, the pressure on the submarine will increase; sent23 & sent22 -> int2: an ocean is a kind of body of water; int2 & sent1 -> int3: as a submarine descends into water, the pressure on the submarine will increase; int1 & int3 -> int4: as a submarine descends into water, the water pressure on the submarine will increase; int4 & sent14 -> hypothesis;
$proof$ = sent15 & sent16 -> int1: limestone is made of calcium carbonate; int1 & sent22 -> hypothesis;
$proof$ = sent22 & sent5 -> int1: fire causes soil erosion; int1 & sent12 -> int2: wildfire can cause soil erosion; int2 & sent11 -> hypothesis;
$proof$ = sent19 & sent20 -> int1: top layer of soil provides nutrients for plants; int1 & sent6 -> hypothesis;
$proof$ = sent8 & sent9 & sent22 -> int1: planting corn every year decreases the nutrients required by corn to grow; sent20 & sent16 -> int2: a plant requires nutrients in soil to grow; int2 & sent13 -> int3: nutrients in soil decrease when crops are planted; int1 & int3 -> int4: planting corn every year decreases the nutrients required by corn to grow; int4 & sent18 -> hypothesis;
$proof$ = sent9 & sent17 -> int1: drought will decrease the thickness of soil; int1 & sent22 -> hypothesis;
$proof$ = sent23 & sent8 -> int1: rock erosion is a kind of soil erosion; sent3 & sent18 -> int2: soil is formed by moving water interacting with rocks; int2 & sent21 -> int3: rocks interacting with moving water causes weathering; int1 & int3 -> int4: rocks must be eroded to form soil; sent17 & sent4 -> int5: if soil erosion is required for a process then that event must occur before that process can occur; int5 & sent16 -> int6: if soil erosion is required for a process then that erosion must occur before that process can occur; int4 & int6 -> int7: rocks must be eroded to form soil; int7 & sent13 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: a warm front will cause the water vapor to condense; int1 & sent9 -> int2: the warm front will cause clouds to form; int2 & sent20 -> int3: the warm front will cause clouds to form; int2 & sent7 -> int4: the warm front will cause clouds to form; int4 & sent22 -> int5: the warm front will cause rain; int5 & sent13 -> int6: the rain is a kind of rain; int6 & sent15 -> int7: the rain is a kind of weather; int3 & int7 -> hypothesis;
$proof$ = sent10 & sent16 -> int1: air masses formed over the ocean near the equator are moist; int1 & sent11 -> hypothesis;
$proof$ = sent24 & sent20 -> int1: a balloon is a kind of object; int1 & sent10 -> int2: a balloon is a kind of container; int2 & sent1 -> int3: a balloon will be larger than a weather balloon; int3 & sent5 -> int4: the weather balloon will be larger than a weather balloon because the air pressure decreases at higher altitude; int4 & sent22 -> hypothesis;
$proof$ = sent8 & sent15 -> int1: a barometer is an instrument used to measure the air pressure of the atmosphere; int1 & sent7 -> hypothesis;
$proof$ = sent20 & sent12 -> int1: clouds are formed by water vapor condensing into rain droplets; int1 & sent18 -> int2: clouds are made of water vapor; int2 & sent23 -> hypothesis;
$proof$ = sent4 & sent14 -> int1: an ocean is a kind of body of water; int1 & sent7 -> int2: an ocean contains liquid water; int2 & sent23 -> int3: fog can be formed by ocean water condensing in the air; sent22 & sent9 -> int4: water condensing means water changes from a gas into a liquid by decreasing heat energy; int4 & sent11 -> int5: water condensing is when water changing from a gas into a liquid by decreasing heat energy; int3 & int5 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: as the gradient of a stream increases, the ability of the stream to transport sediments will increase; sent21 & sent11 -> int2: a stream is a kind of moving body of water; int2 & sent20 -> int3: the stream deposition is when water moves and sediments are deposited on the stream; int1 & int3 -> hypothesis;
$proof$ = sent11 & sent1 -> int1: erosion changes the earth's surface; sent19 & sent20 -> int2: wind and rain cause weathering; int2 & sent6 -> int3: wind erosion is a slow process; sent14 & sent21 -> int4: erosion is a kind of process; int1 & int3 -> hypothesis;
$proof$ = sent17 & sent12 -> int1: cycles of freezing and thawing water cause rocks to crack by expanding in openings; int1 & sent22 -> int2: cycles of freezing and thawing water cause mechanical weathering; sent16 & sent5 -> int3: a boulder is a kind of rock; int2 & int3 -> hypothesis;
$proof$ = sent25 & sent11 -> int1: a high-pressure system can decrease the water in air; int1 & sent23 -> int2: a high-pressure system can cause the water in air to decrease; sent24 & sent10 -> int3: drought is when available water decreases in an environment; int3 & sent14 -> int4: a drought causes the environment to be dry; int2 & int4 -> int5: a high-pressure system can cause drought in an environment; int5 & sent4 -> hypothesis;
$proof$ = sent18 & sent13 -> int1: heat and moisture over ocean causes the formation of a hurricane; int1 & sent6 -> int2: heat and moisture over ocean cannot form a hurricane; int2 & sent12 -> int3: a hurricane cannot form over cool ocean waters; sent14 & sent24 -> int4: cool ocean waters are a source of heat and moisture over ocean; int3 & int4 -> hypothesis;
$proof$ = sent10 & sent22 -> hypothesis;
$proof$ = sent11 & sent5 -> int1: rain is when water falls from the sky; int1 & sent13 -> int2: rain is a source of water; int2 & sent6 -> int3: rain is a source of water; int3 & sent13 -> int4: rain is a source of water; int4 & sent2 -> int5: evaporation of water will follow the collection of rain; int5 & sent20 -> hypothesis;
$proof$ = sent15 & sent6 -> int1: oceans contain liquid water; int1 & sent12 -> int2: the oceans contain water that is liquid at room temperature; int2 & sent24 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: the sun is the source of solar energy; sent9 & sent18 -> int2: the sun is the source of heat energy; int2 & sent19 -> int3: the sun is the source of solar energy; int1 & int3 -> int4: the sun is the source of solar energy; int4 & sent20 -> int5: the sun is the source of solar energy for drops of water; int5 & sent14 -> int6: the sun is the source of solar energy; int6 & sent15 -> hypothesis;
$proof$ = sent7 & sent14 -> int1: the sun is a kind of star; int1 & sent10 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: rain is a kind of precipitation; int1 & sent12 -> int2: sleet is the precipitation that consists of frozen raindrops; sent13 & sent7 -> int3: water in ice is in solid state; int3 & sent10 -> int4: water freezing means water changes from a liquid to a solid; int4 & sent15 -> int5: water freezing means water changes from a liquid to a solid state; int2 & int5 -> hypothesis;
$proof$ = sent1 & sent14 & sent20 -> int1: rain is a kind of precipitation; int1 & sent11 -> int2: precipitation is a kind of weather; int2 & sent4 -> int3: a cold front causes precipitation to occur; int3 & sent2 -> int4: a cold front causes precipitation to occur; int4 & sent4 -> hypothesis;
$proof$ = sent17 & sent4 -> hypothesis;
$proof$ = sent10 & sent1 & sent6 -> int1: the bowling ball touches the floor; sent5 & sent24 -> int2: a bowling ball and the floor are kinds of objects; int2 & sent21 & sent24 -> int3: sound is produced when the bowling ball touches the floor; int1 & int3 -> int4: the mechanical energy in the bowling ball is converted into heat and sound energy when it touches the floor; int4 & sent7 -> hypothesis;
$proof$ = sent7 & sent13 -> int1: a toaster converts electrical energy into heat energy for toasting; sent8 & sent13 -> int2: a toaster is a kind of electrical device used for toasting; int1 & int2 -> hypothesis;
$proof$ = sent20 & sent11 -> int1: the light bulb in lamp converts electrical energy into light energy and heat energy; int1 & sent2 & sent9 -> hypothesis;
$proof$ = sent6 & sent11 -> int1: the electric motor in the fan causes the vanes in the fan to move; int1 & sent23 -> int2: the electric motor in the fan causes the vanes to have mechanical energy; sent17 & sent19 -> int3: a fan is a kind of electrical device used for cooling; int2 & int3 -> int4: a fan is the appliance that converts electrical energy into mechanical energy; int4 & sent15 -> hypothesis;
$proof$ = sent19 & sent15 -> int1: methane reacting with oxygen will form a new substance; int1 & sent7 -> int2: methane reacting with oxygen will release chemical energy; int2 & sent2 -> int3: methane reacting with oxygen will release chemical energy; int3 & sent1 -> hypothesis;
$proof$ = sent24 & sent2 -> int1: a light bulb requires electrical energy to produce light; int1 & sent9 -> int2: the light bulb does not use the electrical energy produced by the light bulb; sent7 & sent20 -> int3: a light bulb is a kind of object; int3 & sent18 -> int4: if a light bulb is exposed to a source of heat, then the lightbulb will become hot; int2 & int4 -> int5: the light bulb is a kind of hot object; int5 & sent4 -> int6: if a light bulb converts a resource into energy it does not use the resource efficiently; int6 & sent25 -> hypothesis;
$proof$ = sent8 & sent8 -> int1: light energy is a kind of light energy; int1 & sent16 -> int2: a laser is a device used to produce light energy; int2 & sent15 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: an insulated wire is a kind of material; int1 & sent24 -> int2: an insulated wire is an object that is insulated; sent7 & sent2 -> int3: a metal rod is a kind of object; int3 & sent22 & sent5 -> int4: an electromaget is made of a metal rod, a battery, and an insulated wire; int2 & int4 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: a solar panel is a kind of object; int1 & sent1 -> hypothesis;
$proof$ = sent14 & sent8 -> int1: light is a kind of electromagnetic radiation; int1 & sent17 -> int2: visible light is the part of electromagnetic spectrum that has light of different colors; sent19 & sent23 & sent11 -> int3: red, green, and blue light are different colors; int2 & int3 -> hypothesis;
$proof$ = sent4 & sent25 -> int1: a light bulb generates light; int1 & sent14 -> int2: a light bulb generates waves that can travel through a vacuum; sent23 & sent6 -> int3: electromagnetic waves can travel through a vacuum; int2 & int3 -> int4: a light bulb can travel through a vacuum; sent11 & sent7 -> int5: a light bulb emits; int5 & sent13 -> int6: a light bulb can travel through a vacuum; int4 & int6 -> hypothesis;
$proof$ = sent2 & sent10 -> int1: refraction happens when light passes from one medium to another medium; int1 & sent3 -> int2: light will travel between two different materials; int2 & sent11 -> hypothesis;
$proof$ = sent5 & sent24 -> int1: a convex lens causes the light to refract and concentrate to magnify distant objects; int1 & sent20 -> hypothesis;
$proof$ = sent1 & sent18 -> int1: a window will cause refraction; int1 & sent7 -> hypothesis;
$proof$ = sent5 & sent13 -> int1: a prism is a tool for refracting light; int1 & sent8 -> int2: a prism is a tool for refracting light; int2 & sent24 -> hypothesis;
$proof$ = sent19 & sent2 -> int1: a prism refracts light; int1 & sent17 -> int2: a prism refracts light and splits light into lights of different color; int2 & sent24 -> hypothesis;
$proof$ = sent9 & sent19 -> int1: gasoline is kind of fossil fuel; int1 & sent17 -> int2: gasoline has high potential energy; int2 & sent10 -> int3: gasoline is a source of potential energy; int3 & sent21 -> int4: gasoline is a source of potential energy; int4 & sent4 -> hypothesis;
$proof$ = sent20 & sent17 -> int1: plucking a string can cause that string to vibrate; int1 & sent6 -> int2: as a string of a musical instrument is plucked harder, the string will vibrate harder; int2 & sent8 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: a human is a kind of living thing; int1 & sent3 -> int2: a human is a kind of living thing; int2 & sent17 -> int3: human talking to each other is a kind of communication; sent13 & sent15 -> int4: humans are kinds of organisms; int4 & sent13 -> int5: humans are kinds of organisms; int5 & sent14 -> int6: hearing is used for sensing sounds by animals; int3 & int6 -> int7: hearing is used for sensing the sound by humans; sent22 & sent7 -> int8: air vibrations are a source of sound; int7 & int8 -> int9: human talking to each other human can sense the sound made by air vibrations; int9 & sent25 -> hypothesis;
$proof$ = sent16 & sent8 -> int1: insense sound energy can move objects through intense sound energy; int1 & sent12 -> int2: a thunder can move objects through intense sound energy; int2 & sent15 & sent7 -> hypothesis;
$proof$ = sent5 & sent23 -> int1: sound will travel the fastest in solids; int1 & sent21 & sent1 -> hypothesis;
$proof$ = sent10 & sent5 -> hypothesis;
$proof$ = sent16 & sent17 -> int1: a metal spoon is a kind of object; sent18 & sent3 -> int2: a spoon is a kind of thing; int2 & sent14 -> int3: if a spoon is used to stir a liquid; int3 & sent24 -> int4: the spoon is touching the liquid; sent10 & sent7 -> int5: hot tea is a kind of substance; int4 & int5 -> int6: the metal spoon is touching the tea; int6 & sent6 -> int7: the metal spoon will be heated by thermal conduction; int7 & sent13 -> int8: the metal spoon will become hot; int1 & int8 -> hypothesis;
$proof$ = sent23 & sent4 -> int1: when friction occurs between two objects, both objects' temperatures increase; sent6 & sent18 -> int2: a student and his hands are rubbing against each other; int1 & int2 -> int3: friction occurs when student's hands are rubbing against each other; int3 & sent2 -> hypothesis;
$proof$ = sent5 & sent11 -> hypothesis;
$proof$ = sent6 & sent8 -> int1: if a spoon is used to stir a liquid; then that spoon is touching that liquid; int1 & sent16 -> int2: if a spoon is used to stir hot chocolate then that spoon is touching that hot chocolate; int2 & sent2 -> int3: the spoon is touching the hot chocolate; sent5 & sent23 -> int4: a spoon and a hot chocolate are kinds of things; int4 & sent4 -> int5: if two things are touching then heat energy will be transferred between the two things; int5 & sent24 -> int6: heat is transferred from the hot chocolate to the spoon; int3 & int6 -> int7: heat is transferred to the spoon from the hot chocolate; int7 & sent3 -> hypothesis;
$proof$ = sent23 & sent25 -> int1: sunlight is a kind of electromagnetic radiation; int1 & sent8 -> int2: sunlight transfers heat and light energy through radiation; int2 & sent2 -> hypothesis;
$proof$ = sent16 & sent24 -> int1: ultraviolet light is a kind of electromagnetic radiation; int1 & sent19 -> int2: ultraviolet light in solar radiation is a kind of electromagnetic radiation; int2 & sent18 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: a liquid is a kind of substance; sent18 & sent16 -> int2: a solid is a kind of substance; int1 & int2 -> int3: a liquid can travel through a solid; sent8 & sent21 -> int4: longitudinal waves can travel through gas, liquids, and solids; int3 & int4 -> hypothesis;
$proof$ = sent23 & sent25 -> int1: a bell ringing is a kind of sound; int1 & sent21 -> hypothesis;
$proof$ = sent5 & sent5 -> int1: sound is made of sound waves; sent7 & sent11 -> int2: longitudinal wave is a kind of transverse wave; int1 & int2 -> hypothesis;
$proof$ = sent11 & sent2 -> int1: friction occurs between two objects; int1 & sent15 & sent24 -> int2: friction occurs between two sticks; int2 & sent6 -> int3: friction causes the temperature of two sticks to increase; sent21 & sent21 -> int4: if something increases in temperature, then that something will be warm; int3 & int4 -> int5: friction causes the temperature of two sticks to increase; int5 & sent1 -> int6: frictional force between two sticks causes the temperature of the sticks to increase; int1 & int6 -> hypothesis;
$proof$ = sent9 & sent20 -> int1: as the roughness of a surface increases, friction on the moving object will increase; int1 & sent6 -> int2: friction on the moving object increases when it is moving against the other object; int2 & sent21 -> int3: as the roughness of a surface increases, the chance of an object slipping will decrease; sent17 & sent18 -> int4: slipping on ice requires walking on ice; int4 & sent22 -> int5: low friction can cause an object to slip; int3 & int5 -> hypothesis;
$proof$ = sent6 & sent10 -> int1: a ball rolling is an example of two objects moving against each other; int1 & sent5 -> int2: the ball rolling is an example of two objects moving against each other; int2 & sent21 -> int3: friction occurs between the ball and the rubber ball when their surfaces are touching; sent19 & sent7 -> int4: the rubber ball is a kind of object that is rolling across a surface; int3 & int4 -> int5: friction occurs when the rubber ball is moving against the rubber ball; int5 & sent14 -> hypothesis;
$proof$ = sent18 & sent11 -> int1: grass and concrete have different surfaces; int1 & sent9 -> int2: as the roughness of a surface increases, the friction on the moving object will increase; int2 & sent16 -> int3: as the roughness of a surface increases, the friction on the moving object to move will increase; int3 & sent14 -> hypothesis;
$proof$ = sent20 & sent7 -> int1: as the roughness of a surface increases, friction on the moving object will increase; int1 & sent9 & sent18 -> int2: friction on the moving rock increases when it is moving against the frozen pond; int2 & sent22 -> int3: as the roughness of the rock increases, friction on the moving rock will decrease; int3 & sent25 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: a soccer ball is a kind of object; int1 & sent2 & sent7 -> hypothesis;
$proof$ = sent6 & sent15 & sent24 -> int1: gravity is the force that pulls the ball towards the planet; int1 & sent8 & sent22 -> hypothesis;
$proof$ = sent20 & sent4 -> int1: the floor is a kind of object; int1 & sent11 & sent5 -> int2: gravity causes the ball to be pulled down on a planet; int2 & sent17 & sent21 -> hypothesis;
$proof$ = sent15 & sent5 -> int1: a magnet will attract magnetic metals; int1 & sent19 -> int2: a magnet will attract a paper clip; sent14 & sent20 -> int3: a magnet will not attract nonmagnetic materials; int3 & sent24 -> int4: a magnet will not attract paper; int2 & int4 -> int5: a magnet attracting a paper clip is an example of non-contact force affecting an object; int5 & sent2 -> hypothesis;
$proof$ = sent17 & sent15 -> int1: a bicycle is made of levers, wheels and axles, pulleys, and screws; sent25 & sent11 -> int2: a bicycle is a kind of object; int1 & int2 -> int3: a bicycle is a kind of complex machine; int3 & sent1 -> hypothesis;
$proof$ = sent20 & sent19 -> int1: the sailboat travels 35 km in 5 hr; int1 & sent15 & sent11 -> hypothesis;
$proof$ = sent20 & sent18 -> hypothesis;
$proof$ = sent9 & sent5 -> int1: as the speed of an object increases, friction causes the speed of the object to decrease; int1 & sent3 -> hypothesis;
$proof$ = sent25 & sent16 -> int1: seat belts are used for preventing injuries to passengers in cars; int1 & sent14 -> hypothesis;
$proof$ = sent5 & sent24 -> hypothesis;
$proof$ = sent15 & sent12 -> int1: fish are kinds of organisms; int1 & sent9 -> int2: fish do not have fur; sent16 & sent23 -> int3: a fish is a kind of living thing; int3 & sent25 -> int4: a fish is a kind of animal; int2 & int4 -> int5: fish are part of an animal that is part of an amphibian taxonomic group of animals; sent21 & sent11 -> int6: amphibian is a kind of taxonomic group of animals; int6 & sent8 -> int7: hair is a characteristic of animals that are part of one taxonomic group; int5 & int7 -> int8: fur is a characteristic of animals that are part of one taxonomic group; int8 & sent22 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: all species of birds have feathers; sent23 & sent9 -> int2: all species of birds have wings; sent25 & sent3 -> int3: a bird is a kind of animal; int3 & sent8 -> int4: a bird is a kind of living thing; int4 & sent19 -> int5: a bird is a kind of living thing; int5 & sent21 -> int6: a bird is a kind of living thing; int6 & sent1 -> int7: feathers and wings are distinguishable characteristics of birds; sent14 & sent11 -> int8: a feather is a kind of object; int7 & int8 -> int9: feathers and wings are a part of birds; int9 & sent6 -> int10: feathers and wings are a part of birds; int10 & int6 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: bone structure is a part of some animals; sent14 & sent13 -> int2: some animals have a bone structure; sent12 & sent19 -> int3: an animal is a kind of living thing; int3 & sent25 -> int4: if two or more animals have similar characteristics then those two animals might share a common ancestor; int2 & int4 -> int5: animals with similar bone structure might have evolved from a common ancestor in recent geological history; int5 & sent7 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: a frog is a kind of aquatic animal; int1 & sent12 -> int2: a frog is a kind of aquatic animal; int2 & sent15 -> int3: a frog is a kind of aquatic animal; sent7 & sent24 -> int4: a frog is a kind of amphibian; int4 & sent7 -> int5: a frog is a kind of aquatic animal; int5 & sent12 -> int6: a frog is a kind of aquatic animal; int3 & int6 -> int7: a frog is a kind of aquatic animal that lay eggs; sent14 & sent4 -> int8: reproduction only occurs during adulthood; int7 & int8 -> int9: frogs only lay eggs during the adult stage in the life cycle; int9 & sent21 -> int10: frogs only lay eggs during the adult stage in the life cycle; int10 & int6 -> hypothesis;
$proof$ = sent18 & sent18 -> int1: a caterpillar is a kind of insect; int1 & sent7 -> int2: an example of metamorphosis is when a butterfly changes from an immature form to an adult form; sent23 & sent12 -> int3: a butterfly is a kind of animal; int3 & sent5 -> int4: a butterfly is a kind of living thing; int4 & sent20 -> int5: an example of metamorphosis when a butterfly changes from an immature form to an adult form; sent10 & sent25 -> int6: the immature form of a caterpillar is a butterfly; int2 & int6 -> hypothesis;
$proof$ = sent12 & sent15 -> int1: cell division causes growth; int1 & sent4 -> hypothesis;
$proof$ = sent25 & sent5 -> int1: a prarie dog is a kind of animal; int1 & sent15 -> int2: the prarie dogs bark to communicate; sent8 & sent3 -> int3: hearing is used for sensing sounds by animals; int3 & sent25 -> int4: hearing can be used for communicating with other prarie dogs; int2 & int4 -> int5: the prarie dogs can hear other prarie dogs barking; int5 & sent2 -> int6: hearing can be used for communicating with other prarie dogs; int6 & sent17 -> int7: communication can be used to let other prarie dogs know that something is dangerous; int7 & sent10 -> int8: communication can be used to let other prarie dogs know that something is dangerous; int5 & int8 -> hypothesis;
$proof$ = sent24 & sent1 -> int1: a frog is a kind of aquatic animal; int1 & sent25 -> int2: a frog is a kind of aquatic animal that lives in water; int2 & sent9 -> int3: webbed feet are used for moving faster through water by aquatic animals; sent18 & sent10 -> int4: a frog is a kind of aquatic animal; int3 & int4 -> int5: a frog is a kind of aquatic animal that lives in water; int5 & sent3 -> int6: webbed feet are a kind of adaptation for living in water; int6 & sent8 -> int7: webbed feet are a kind of adaptation for living in water; int4 & int7 -> hypothesis;
$proof$ = sent6 & sent21 -> int1: to hide means to hide in something; int1 & sent7 -> int2: to blend into something means to hide in something; sent24 & sent24 -> int3: an example of camouflage is an organism having the same color as its environment; int3 & sent18 -> int4: an example of camouflage is an organism having coloration; int2 & int4 -> int5: an example of camouflage is an organism having the same color as its environment; sent19 & sent20 -> int6: camouflage is used for protection by animals against predators; int6 & sent25 -> int7: camouflage is used for hiding by animals from predators; int7 & sent2 -> int8: many animals blend into their environment; int5 & int8 -> hypothesis;
$proof$ = sent21 & sent15 -> int1: a hare is a kind of animal; int1 & sent17 -> int2: camouflage is used by hares for hiding from predators; sent9 & sent3 -> int3: an arctic environment becomes white in the winter; sent14 & sent5 -> int4: an arctic environment becomes white in the winter; int3 & int4 -> int5: an arctic environment becomes white in the winter; int5 & sent13 -> int6: an arctic hare and an arctic environment both become white in the winter; int2 & int6 -> int7: an arctic hare and an arctic environment both become white in color; int7 & sent1 -> int8: an arctic hare and an arctic environment both change to white in color; int8 & sent24 -> int9: an arctic hare and an arctic environment both have the same color as an arctic environment both become white in the winter; int9 & sent22 -> int10: camouflage is used for hiding by animals from predators; int10 & int6 -> hypothesis;
$proof$ = sent15 & sent20 -> int1: a snowshoe hare and its fur change into the color of the environment; sent1 & sent25 -> int2: if a thing is the same color as another thing then that thing is difficult to see in that other thing; int1 & int2 -> int3: a snowshoe hare and its fur are the same color; sent19 & sent13 -> int4: a hare and a snowshoe are the same color as their environment; int4 & sent8 -> int5: an example of camouflage is organism changing into the color of the environment; int5 & sent4 -> int6: changing into the color of the environment is a kind of adaptation for hiding in an environment; int6 & sent21 -> int7: changing coloration is a kind of adaptation for hiding in an environment; sent23 & sent13 -> int8: a snowshoe and hare both shed fur during the summer and winter; int7 & int8 -> hypothesis;
$proof$ = sent10 & sent14 -> int1: a leaf is a kind of green color; sent5 & sent20 -> int2: a leaf is a kind of color; int1 & int2 -> int3: a leaf is a kind of color; int3 & sent8 -> int4: a leaf is a kind of color; sent6 & sent25 -> int5: an insect is a kind of organism; int5 & sent17 -> int6: an example of camouflage is an organism having the same color as its environment; int4 & int6 -> int7: an example of camouflage is an insect having the same color as its environment; sent4 & sent22 -> int8: camouflage is a kind of adaptation for hiding by animals from predators; int7 & sent7 -> int9: camouflage is used for hiding by animals against predators; int8 & sent8 -> int10: camouflage is an insect having the same color as its environment; int10 & int7 -> hypothesis;
$proof$ = sent1 & sent11 -> int1: a predator is a kind of animal; int1 & sent5 -> int2: avoiding predators has a positive impact on an animal's survival; sent1 & sent11 -> int3: a predator is a kind of animal; int2 & int3 -> int4: avoiding predators has a positive impact on an animal's survival; sent3 & sent21 -> int5: an animal is a kind of organism; int5 & sent17 -> int6: avoiding predators has a positive impact on an animal's survival; int6 & sent22 -> int7: avoiding predators has a positive impact on an animal's survival; int4 & int7 -> int8: producing a bad odor has a positive impact on an animal's survival; int8 & sent19 -> int9: producing a bad odor has a positive impact on an animal's survival; int9 & sent18 -> int10: producing a bad odor has a positive impact on skunks; int10 & sent25 -> hypothesis;
$proof$ = sent8 & sent4 -> int1: an example of an adaptation is camel humps; int1 & sent24 -> hypothesis;
$proof$ = sent6 & sent10 -> int1: winter means cold environmental temperature; int1 & sent13 -> int2: some animals must stay indoors during winter; int2 & sent24 -> int3: thick fur can be used for keeping warm in winter; sent5 & sent23 -> int4: fur is often a part of an animal; int4 & sent20 -> int5: some animals' fur grows thicker for keeping warm in winter; int3 & int5 -> int6: some animals' fur grows thicker for staying warm in the winter; int6 & sent18 -> int7: an example of a seasonal change is an animal growing thicker fur for staying warm in the winter; sent16 & sent25 -> int8: changes in seasons cause change to the environment; int7 & int8 -> int9: some animals' fur grows thicker for staying warm in the winter; int9 & sent8 -> hypothesis;
$proof$ = sent3 & sent22 -> int1: waxy leaves are used for storing water by some plants; int1 & sent8 -> hypothesis;
$proof$ = sent25 & sent18 -> int1: a cactus spine is a kind of sharp object used for protection; sent11 & sent16 -> int2: a cactus spine is a part of a cactus for protecting the cactus from animals; sent7 & sent24 -> int3: some animals eat cacti; int3 & sent6 -> int4: some animals eat cacti; int4 & sent7 -> int5: some animals are predators to cacti; int2 & int5 -> hypothesis;
$proof$ = sent13 & sent12 -> int1: animals that can adapt to their environment will be able to survive; sent5 & sent3 -> int2: a storm causes animals to adapt to their environment; int1 & int2 -> int3: animals that can adapt to a storm are able to survive; sent21 & sent4 -> int4: a bird is a kind of organism; int4 & sent22 -> int5: a bird is a kind of organism; int5 & sent19 -> int6: an adaptation has a positive impact on an animal's survival; int6 & sent8 -> int7: animals that are able to adapt to their environment are likely going to survive; int3 & int7 -> int8: animals that are able to adapt are likely going to survive after a storm; int8 & sent7 -> hypothesis;
$proof$ = sent23 & sent17 -> int1: cheetahs are a kind of species of organisms; int1 & sent8 -> hypothesis;
$proof$ = sent20 & sent14 -> int1: fish are a kind of organism; int1 & sent2 -> int2: if a fish's habitat no longer exists then that fish will die; sent7 & sent3 -> int3: a fish is a kind of animal; int3 & sent25 -> int4: if a fish's habitat ceases to exist then that fish will die; sent23 & sent10 -> int5: a pond is a kind of environment; int5 & sent24 -> int6: drought can cause a ponds to dry; int2 & int6 -> int7: a drought may cause fish to die; sent13 & sent10 -> int8: a pond is a kind of environment; int7 & int8 -> int9: a pond is a kind of aquatic animal; int9 & sent3 -> int10: a fish is a kind of aquatic animal that lives in water; int10 & int7 -> int11: a drought may cause fish to die; int11 & sent21 -> hypothesis;
$proof$ = sent25 & sent11 -> int1: a farmer is a kind of human; int1 & sent6 -> int2: farming is when a farmer farms crops; int2 & sent13 -> int3: a farmer farms crops for food; int3 & sent10 -> int4: a farmer farms crops for food; sent23 & sent18 -> int5: drought is when available water decreases in an environment; int5 & sent23 -> int6: droughts can cause water to decrease in an environment; int4 & int6 -> int7: droughts have a negative impact on farming; int7 & sent19 -> hypothesis;
$proof$ = sent12 & sent25 -> int1: when the body is hot, sweat is produced to cool the body; sent20 & sent22 -> int2: a human is a kind of living thing; int2 & sent6 -> int3: a human is a kind of living thing; int3 & sent4 -> int4: sweat is produced to cool the body; sent22 & sent20 -> int5: a human is a kind of living thing; int5 & sent1 -> int6: cooling the body is a kind of living thing; int4 & int6 -> int7: sweat is a kind of living thing; int7 & sent15 -> int8: sweat is a kind of absorbing heat; int8 & sent16 -> int9: sweat is a kind of absorbing heat; int9 & sent7 -> hypothesis;
$proof$ = sent11 & sent13 -> int1: the digestive system breaks down food into nutrients for the body; int1 & sent19 -> int2: the digestive system breaks down food into nutrients for the body; sent4 & sent21 -> int3: the digestive system is a kind of body; int3 & sent2 -> int4: the circulatory system is a kind of human; int2 & int4 -> int5: the circulatory system carries food from the digestive systems to the rest of the body; int5 & sent9 -> int6: the circulatory system carries nutrients from the digestive systems to the rest of the body; int6 & sent17 -> hypothesis;
$proof$ = sent5 & sent25 -> int1: the skeletal system is a part of an animal; int1 & sent10 -> int2: the skeletal system is a part of the animal body; sent16 & sent15 -> int3: red blood cells are a part of the blood; int3 & sent12 -> int4: red blood cells are a part of the blood; int4 & sent22 -> int5: red blood cells are a part of the circulatory system; int5 & sent8 -> int6: the circulatory system carries oxygen to the bones; int2 & int6 -> int7: the skeletal system interacting with the circulatory system is red blood cells carrying oxygen to the bones; int7 & sent19 -> hypothesis;
$proof$ = sent6 & sent18 -> int1: human is a kind of organism; sent1 & sent16 -> int2: an animal is a kind of organism; int2 & sent3 -> int3: an animal is a kind of organism; int1 & int3 -> int4: an animal cannot survive the loss of its liver; sent9 & sent17 -> int5: a human is a kind of living thing; int5 & sent7 -> int6: a human is a kind of living thing; int6 & sent13 -> int7: a human cannot survive the loss of their liver; int4 & int7 -> int8: a human cannot survive the loss of their liver; int8 & sent2 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: the function of the kidneys is to remove waste from the blood; int1 & sent19 -> int2: the function of the kidneys is to remove waste from the blood; sent12 & sent12 -> int3: a kidney is a kind of organ in an animal; int3 & sent7 -> int4: a kidney is a kind of organ in a human; sent2 & sent7 -> int5: a human is a kind of organism; int5 & sent24 -> int6: an animal is a kind of organism; int6 & sent1 -> int7: a human is a kind of organism; int4 & int7 -> int8: a kidney is a kind of organ in which waste is removed from the blood; int8 & sent23 -> int9: the kidneys filter waste from the blood; int9 & sent19 -> int10: the function of the kidneys is to remove waste from the blood; int10 & int6 -> hypothesis;
$proof$ = sent21 & sent5 -> int1: the immune system attacks bacteria once they have invaded the body; int1 & sent4 -> int2: the immune system attacks pathogens that have invaded the body; sent13 & sent25 -> int3: white blood cells are a kind of cell that are part of the immune system; int2 & int3 -> int4: white blood cells are a kind of cell that is a part of the immune system which attacks pathogens that have invaded the body; int4 & sent1 -> hypothesis;
$proof$ = sent17 & sent11 -> int1: a human is a kind of animal; int1 & sent16 -> int2: the body is a part of an animal; int2 & sent21 -> int3: protecting the body helps to protect the body; sent6 & sent8 -> int4: disease-causing microbes have a negative impact on an organism; int4 & sent20 -> int5: specialized cells protect the body from disease-causing microbes; int3 & int5 -> hypothesis;
$proof$ = sent12 & sent24 -> int1: the muscular system helps animals move; int1 & sent14 -> int2: the muscular system helps animals move; int2 & sent23 -> int3: the muscular system helps a human move; sent4 & sent23 -> int4: a human is a kind of animal; int3 & int4 -> int5: the muscular system helps a human move; sent12 & sent24 -> int6: the muscular system helps animals move; int6 & sent14 -> int7: the muscular system helps animals move; sent1 & sent25 -> int8: a soccer ball is a kind of object; int7 & sent22 -> int9: a soccer ball is a kind of object; int9 & sent17 -> int10: a soccer ball is a kind of object; int10 & int6 -> int11: the nervous system is used for controlling the muscles; int11 & sent10 -> hypothesis;
$proof$ = sent3 & sent25 -> int1: the nervous system is a part of the body; int1 & sent15 -> int2: the nervous system conducts messages in the body; sent24 & sent1 -> int3: the nervous system is a part of the body; int2 & int3 -> int4: the nervous system conducts messages in the body through the nerves; sent15 & sent12 -> int5: nerve cells are a part of the body; int4 & int5 -> int6: the nervous system send21 & sent5 -> int7: the nervous system sends electrical signals to the rest of the body; int6 & int7 -> hypothesis;
$proof$ = sent18 & sent5 -> int1: the unhealthy diet of a mother during pregnancy has a negative impact on the embryo; int1 & sent11 -> int2: the unhealthy diet of a mother during pregnancy has a negative impact on the embryo because the embryo receives food from the mother through the placenta; sent6 & sent15 -> int3: eating something has a negative impact on that something; int3 & sent1 -> int4: an animal needs to eat for nutrients; int4 & sent7 -> int5: an embryo receives food from its mother through the placenta source of food; int2 & int5 -> hypothesis;
$proof$ = sent12 & sent24 -> hypothesis;
$proof$ = sent12 & sent5 -> int1: skin is the outermost layer of an animal; sent23 & sent22 -> int2: a human is a kind of animal; int1 & int2 -> int3: skin is the outermost layer of an animal; sent7 & sent23 -> int4: a human is a kind of organism; int4 & sent8 -> int5: skin is a part of a human; sent14 & sent18 -> int6: if something has a negative impact on an organism then that organism must protect itself from that something; int6 & sent24 -> int7: protecting the body helps to protect the body from harmful substances; int7 & sent16 -> hypothesis;
$proof$ = sent6 & sent7 -> int1: the function of the skin is to protect the body from harmful substances; sent14 & sent12 -> int2: a human is a kind of animal; int2 & sent12 -> int3: the body of a human is a part of an animal; int1 & int3 -> int4: the function of the skin is to protect the body from harmful substances; int4 & sent8 -> hypothesis;
$proof$ = sent13 & sent25 -> int1: human is a kind of organism; int1 & sent19 -> int2: a chromosome of human body contains thousands of genes; sent2 & sent10 -> int3: a human cell is a part of the body; int3 & sent15 -> int4: a human body is a part of a living thing; sent17 & sent22 -> int5: a human is a kind of animal; int5 & sent6 -> int6: a human is a kind of living thing; int4 & int6 -> int7: a human body contains thousands of genes; int2 & int7 -> hypothesis;
$proof$ = sent18 & sent8 -> int1: the abdomen is a kind of organ; int1 & sent20 -> hypothesis;
$proof$ = sent13 & sent4 -> hypothesis;
$proof$ = sent21 & sent8 -> hypothesis;
$proof$ = sent19 & sent9 -> int1: a cell wall provides support; shape; protection for a plant cell; sent11 & sent14 -> int2: the cell membrane is a kind of structure; int2 & sent6 -> int3: the cell wall provides support; shape; protection for a plant cell; sent5 & sent8 -> int4: an animal is a kind of living thing; int4 & sent21 -> int5: an animal is a kind of living thing; sent22 & sent16 -> int6: the skeletal system is a part of some animals; int3 & int6 -> int7: the cell wall provides support; int7 & sent1 -> int8: the skeletal system of animals provides protection; int8 & sent16 -> int9: the skeletal system of animals provides support; int9 & sent18 -> hypothesis;
$proof$ = sent13 & sent15 -> int1: a fertilized egg cell is a kind of somatic cell; int1 & sent23 -> int2: a fertilized egg cell will have 23 pairs of; sent3 & sent25 -> int3: 23 is one half of 46; int2 & int3 -> hypothesis;
$proof$ = sent25 & sent2 -> int1: mitochondrion uses oxygen and glucose to provide energy to cells; int1 & sent9 -> hypothesis;
$proof$ = sent21 & sent6 -> int1: a multicellular organism has more than one cell; sent13 & sent6 -> int2: a unicellular organism has one cell; int1 & int2 -> int3: a multicellular organism has more than one cell and a unicellular organism has one cell; int3 & sent19 -> hypothesis;
$proof$ = sent17 & sent14 -> int1: a leaf is a part of a plant used for absorbing sunlight to perform photosynthesis; int1 & sent7 -> int2: a leaf requires sunlight to perform photosynthesis; sent10 & sent11 -> int3: a leaf is a part of a plant; int2 & int3 -> int4: a leaf requires sunlight to perform photosynthesis; int4 & sent25 -> hypothesis;
$proof$ = sent19 & sent22 -> int1: a leaf is a part of a plant used for performing photosynthesis; int1 & sent23 -> int2: a leaf absorbs sunlight to perform photosynthesis; sent24 & sent6 -> int3: a leaf is a part of a tree; int3 & sent1 -> int4: a leaf is a part of a tree that performs photosynthesis; int2 & int4 -> int5: a leaf is a part of a plant used for performing photosynthesis; int5 & sent13 -> hypothesis;
$proof$ = sent8 & sent17 -> int1: plants perform photosynthesis to provide food for themselves; int1 & sent5 -> int2: plants make food from photosynthesis; sent18 & sent4 -> int3: photosynthesis is a source of sugar for plants; int2 & int3 -> int4: plants can use sugar from photosynthesis to grow; int4 & sent21 -> int5: a plant can use sugar from photosynthesis to grow; int5 & sent14 -> hypothesis;
$proof$ = sent14 & sent22 -> int1: in the photosynthesis process carbon dioxide has the role of raw material; sent21 & sent8 -> int2: if the photosynthesis process requires something to be done before the photosynthesis process can be done, then that something is required for the photosynthesis process; int1 & int2 -> int3: taking in carbon dioxide is required for the photosynthesis process; sent18 & sent25 -> int4: plants make food by converting carbon dioxide and water and sunlight into carbohydrates; int4 & sent22 -> int5: in the photosynthesis process carbon dioxide is required for the photosynthesis process; int3 & int5 -> int6: taking in carbon dioxide is a stage in the photosynthesis process; int6 & sent4 -> hypothesis;
$proof$ = sent7 & sent19 -> int1: an animal requires oxygen to breathe; int1 & sent9 -> int2: an animal requires oxygen to breathe; int2 & sent7 -> int3: an animal requires oxygen for survival; sent20 & sent25 -> int4: producers release oxygen; int4 & sent12 -> int5: oxygen is a kind of gas that is released by producers and taken in by consumers; sent24 & sent13 -> int6: a consumer is a kind of organism; int6 & sent13 -> int7: a consumer is a kind of organism; int7 & sent12 -> int8: oxygen is a kind of gas that is released by producers and taken in by consumers; int5 & int8 -> hypothesis;
$proof$ = sent3 & sent8 -> int1: in the photosynthesis process carbon dioxide has the role of raw material; sent3 & sent23 -> int2: in the photosynthesis process carbon dioxide has the role of raw material; sent4 & sent7 -> int3: photosynthesis is a kind of process; int1 & int2 -> int4: photosynthesis is a kind of process that uses carbon in the air to make food; sent12 & sent9 -> int5: green plants make food for themselves by performing photosynthesis; int5 & sent9 -> int6: green plants make food for themselves by performing photosynthesis; int4 & int6 -> hypothesis;
$proof$ = sent20 & sent9 -> int1: green plants are a kind of producer; int1 & sent19 -> int2: plants have to produce something; int2 & sent22 -> int3: plants have to produce sugar; sent1 & sent10 -> int4: carbohydrates are made of sugars; int4 & sent23 -> int5: photosynthesis makes sugar for plants; sent14 & sent4 -> int6: chlorophyll is a part of plants; int3 & int6 -> int7: leaves use chlorophyll to perform photosynthesis; int7 & sent12 -> hypothesis;
$proof$ = sent5 & sent12 -> int1: photosynthesis means green plants convert carbon dioxide and water into carbohydrates and food and oxygen for themselves; sent2 & sent17 -> int2: photosynthesis makes sugar for plants; int1 & int2 -> int3: photosynthesis means green plants convert carbon dioxide and water into sugar and oxygen for themselves; sent24 & sent16 -> int4: carbon dioxide and water have the role of raw material in the photosynthesis process; int3 & int4 -> int5: photosynthesis means green plants convert carbon dioxide and water into carbohydrates and food and oxygen for themselves; sent19 & sent22 -> int6: sugar is made of carbon dioxide and water; int5 & int6 -> hypothesis;
$proof$ = sent22 & sent11 -> int1: photosynthesis is a source of oxygen; int1 & sent25 -> int2: photosynthesis is a source of oxygen; sent1 & sent10 -> int3: photosynthesis is a source of sugars; int2 & int3 -> int4: photosynthesis is a source of sugars and oxygen; sent15 & sent4 -> int5: photosynthesis is a kind of chemical process; int5 & sent18 -> int6: if photosynthesis converts something into something else then that something is produced by photosynthesis; int4 & int6 -> int7: sugars and oxygen are produced by photosynthesis; int7 & sent3 -> hypothesis;
$proof$ = sent13 & sent12 -> int1: photosynthesis means green plants convert from carbon dioxide and water and sunlight into carbohydrates and food and oxygen for themselves; sent18 & sent17 -> int2: photosynthesis makes food for the plant by converting carbon dioxide and water and sunlight into carbohydrates and food and oxygen for themselves; sent15 & sent24 -> int3: if photosynthesis is a source of something then that something is used for making that something; int1 & int2 -> int4: photosynthesis is used for making food by green plants; int4 & sent23 -> int5: photosynthesis is used by producers to make food; int5 & sent10 -> hypothesis;
$proof$ = sent13 & sent10 -> int1: a flower is a part of a plant; int1 & sent3 -> int2: a flower is a part of a plant for attracting pollinators; int2 & sent11 -> hypothesis;
$proof$ = sent7 & sent5 -> int1: a seed is a part of a plant used for storing food; sent5 & sent17 -> int2: a seed is a part of a plant used for storing food; sent19 & sent8 -> int3: a plant is a kind of living thing; int3 & sent24 -> int4: food contains nutrients for a plant's life; int4 & sent18 -> int5: a seed is a kind of living thing; int5 & sent2 -> int6: plants store food they produce for future use; sent3 & sent1 -> int7: a plant is a kind of organism; int6 & int7 -> int8: a seed is a kind of organism; int8 & sent12 -> int9: a seed is a kind of organism; int9 & sent4 -> int10: food is used for early development; int10 & int6 -> hypothesis;
$proof$ = sent9 & sent11 -> int1: plant reproduction requires pollinating animals; int1 & sent20 -> int2: pollinating animals help plant reproduction; int2 & sent3 -> int3: pollinating animals help plant reproduction; sent6 & sent15 -> int4: an insect is a kind of pollinating animal; int3 & int4 -> int5: insects help plant reproduction; sent17 & sent13 -> int6: plant reproduction requires pollinating animals; int6 & sent1 -> int7: pollinating animals help plant reproduction; int5 & int7 -> int8: pollinating animals help plant reproduction; int4 & int8 -> hypothesis;
$proof$ = sent5 & sent23 -> int1: an example of seed dispersal is is an animal hiding / gathering seeds; int1 & sent20 -> int2: an example of seed dispersal is an animal hiding / gathering seeds; sent14 & sent12 -> int3: a blue jay is a kind of animal; int3 & sent12 -> int4: a blue jay is a kind of animal; int2 & int4 -> int5: an example of seed dispersal is an animal hiding / gathering acorns; sent5 & sent23 -> int6: an example of seed dispersal is an animal carrying the seeds of a plant to a new environment; sent22 & sent6 -> int7: a bird is a kind of living thing; int6 & int7 -> int8: a blue jay is a kind of living thing; int8 & sent4 -> int9: helping something has a positive impact on an oak tree; int5 & int9 -> hypothesis;
$proof$ = sent3 & sent24 -> int1: seed dispersal has a positive impact on a plant / a plant's reproduction; sent1 & sent23 -> int2: an example of seed dispersal is is an animal eating the seeds; int1 & int2 -> int3: an example of seed dispersal is an animal eating the seeds; sent17 & sent11 -> int4: some animals eat berries that contain seeds; int3 & int4 -> int5: an example of seed dispersal is an animal eating berries that contain seeds; int5 & sent15 -> int6: an example of seed dispersal is an animal eating berries that contain seeds; int6 & sent21 -> int7: bears eating berries that contain seeds has a positive impact on a plant; int4 & int7 -> hypothesis;
$proof$ = sent18 & sent17 -> int1: a green plant is a kind of plant; int1 & sent8 -> int2: plants absorb nutrients from the soil through their roots; sent15 & sent20 -> int3: roots are a vehicle for absorbing water from the soil into the plant; int3 & sent1 -> int4: roots are a vehicle for absorbing water from the soil into the plant; sent2 & sent24 -> int5: a plant is a kind of living thing; int5 & sent2 -> int6: a plant is a kind of living thing; int4 & int6 -> int7: roots are a vehicle for absorbing water from the soil into the plant; int2 & int7 -> int8: roots are a vehicle for absorbing water from the soil into the plant; int8 & sent15 -> int9: roots are a vehicle for absorbing water from the soil into the plant; int9 & sent14 -> int10: roots are a part of a plant; int10 & int6 -> hypothesis;
$proof$ = sent9 & sent25 -> int1: roots are a part of a plant for anchoring; int1 & sent7 -> int2: roots are a part of a plant for absorbing water from the soil; int2 & sent11 -> int3: roots are a part of a plant for absorbing water from the soil; int3 & sent5 -> int4: roots are a part of a plant for performing plant uptake; sent4 & sent25 -> int5: roots are a part of a plant for absorbing water from the soil; sent24 & sent6 -> int6: plants require water for survival / to grow; int6 & sent16 -> int7: a function of roots is to absorb water; int5 & int7 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: a trunk is a source of support for a tree; int1 & sent21 -> int2: a trunk is a part of a tree for supporting the tree; sent21 & sent18 -> int3: a tree is a kind of living thing; int3 & sent24 -> int4: a tree is a kind of living thing; int4 & sent7 -> int5: providing support is a kind of function; int2 & int5 -> hypothesis;
$proof$ = sent18 & sent15 -> int1: a needle is a part of a pine tree; sent18 & sent2 -> int2: a needle is the leaf part of a pine tree; int1 & int2 -> int3: a needle is the leaf part of a pine tree; sent4 & sent1 -> int4: a pine tree is a kind of plant; int4 & sent8 -> int5: roots are a part of a pine tree; int3 & int5 -> int6: sugars are transported from the needles to the roots of a pine tree; int6 & sent20 -> hypothesis;
$proof$ = sent10 & sent23 -> int1: grass is a kind of green plant; int1 & sent20 -> int2: grass and a cow both grow; sent14 & sent1 -> int3: an animal is a kind of living thing; int3 & sent12 -> int4: an animal has the ability to grow; int2 & int4 -> int5: grass and a cow both have the ability to grow; sent21 & sent5 -> int6: an animal and a cow are both kinds of organisms; int6 & sent8 -> int7: an animal and a cow are kinds of organisms; int5 & int7 -> int8: grass and a cow are both kinds of organisms; int8 & sent7 -> int9: the ability to grow is a kind of characteristic; int9 & sent25 -> int10: the ability to grow is a kind of trait; int10 & int6 -> hypothesis;
$proof$ = sent19 & sent7 -> int1: when a body of water receives more water than it can hold, a flood occurs; int1 & sent3 -> int2: when a flood occurs, it causes the water to overflow the bank; int2 & sent12 -> int3: ocean water level rising causes seawater to flood coastal area; sent22 & sent14 -> int4: an alligator is a kind of living thing; int4 & sent24 -> int5: an alligator is a kind of living thing; sent24 & sent14 -> int6: an alligator is a kind of living thing; int6 & sent1 -> int7: helping something has a positive impact on that alligator; int3 & int7 -> hypothesis;
$proof$ = sent4 & sent15 -> int1: a frog eats flies; sent2 & sent1 -> int2: a green plant eats flies; int1 & int2 -> int3: a frog eating flies and a green plant absorbing light are examples of animals eating flies; sent25 & sent6 -> int4: a frog is a kind of animal; int4 & sent14 -> int5: eating food is used to get energy by animals; int5 & sent17 -> int6: energy is a source of energy for animals; int3 & int6 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: food contains nutrients for living things; int1 & sent5 -> int2: an animal requires food for nutrients; int2 & sent17 -> int3: an animal requires food for nutrients; sent24 & sent15 -> int4: an animal is a kind of living thing; int4 & sent1 -> int5: if something does not have the ability to store nutrients and energy then that something is not food; int3 & int5 -> int6: food does not have the ability to store nutrients and energy; int6 & sent13 -> hypothesis;
$proof$ = sent21 & sent22 -> int1: plants require photosynthesis to provide food for themselves; int1 & sent9 -> int2: plants require photosynthesis to provide food for themselves; sent24 & sent23 -> int3: in the photosynthesis process carbon dioxide / water / sunlight has the role of raw material; int3 & sent10 -> int4: in the photosynthesis process carbon dioxide / water / sunlight has the role of raw material; int2 & int4 -> int5: in the photosynthesis process carbon dioxide; int5 & sent3 -> int6: carbon dioxide is a kind of gas; int6 & sent16 -> hypothesis;
$proof$ = sent21 & sent10 -> int1: a plain is a kind of landform; int1 & sent8 -> int2: a plain is made of a flat land surface; int2 & sent19 -> hypothesis;
$proof$ = sent13 & sent3 -> int1: a polar bear requires a cold environment; sent17 & sent5 -> int2: a polar bear is a kind of animal; int2 & sent25 -> int3: a polar bear is a kind of living thing; int3 & sent23 -> int4: a polar bear requires water for survival; int1 & int4 -> int5: a polar bear exhibit should contain water; sent14 & sent11 -> int6: a swimming pool is a kind of water; int6 & sent12 -> int7: water is required by animals for survival; int7 & sent25 -> int8: a polar bear is a kind of living thing; int8 & sent1 -> int9: a polar bear exhibit should contain all things required by the animals living in that exhibit; int5 & int9 -> hypothesis;
$proof$ = sent15 & sent25 -> int1: deer and squirrels live in forests; sent5 & sent14 -> int2: a forest is a kind of environment; int1 & int2 -> int3: squirrels and deer and woodpeckers live in forests; sent4 & sent22 -> int4: a squirrel is a kind of animal that lives in forests; sent1 & sent17 -> int5: a woodpecker is a kind of bird; int5 & sent17 -> int6: a woodpecker is a kind of animal that lives in forests; int3 & int6 -> int7: squirrels and deer and woodpeckers are kinds of animals that live in forests; int7 & sent16 -> int8: animals are adapted to living in forests; int8 & sent23 -> int9: an example of adaptation is living in a forest; int9 & sent22 -> int10: squirrels and deer and woodpeckers are adapted to living in forests; int10 & sent13 -> hypothesis;
$proof$ = sent17 & sent1 -> int1: herbivores only eat plants; int1 & sent15 -> int2: a cow is a kind of herbivore; sent6 & sent7 -> int3: a cow is a kind of organism; sent20 & sent21 -> int4: a cow is a kind of organism; int2 & int3 -> int5: a cow is a kind of organism; sent23 & sent21 -> int6: an animal is a kind of organism; int6 & sent7 -> int7: a cow is a kind of organism; int5 & int7 -> int8: a cow is a kind of organism; int4 & int8 -> hypothesis;
$proof$ = sent11 & sent15 -> int1: alligators eat animals; int1 & sent11 -> int2: alligators eat animals; int2 & sent25 -> int3: in the food chain process an alligator has the role of consumer; sent14 & sent10 -> int4: a consumer is a kind of person who eats other organisms; int4 & sent23 -> int5: a consumer is a kind of organism; int5 & sent13 -> int6: an alligator is a kind of consumer; int3 & int6 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: in the food chain process herbivores eat plants; int1 & sent8 -> int2: in the food chain process herbivores eat animals and are a source of food for some animals; sent22 & sent22 -> int3: an animal is a kind of living thing; int3 & sent5 -> int4: animals eat their food source; int4 & sent22 -> int5: plants are a kind of living thing; sent10 & sent6 -> int6: animals are kinds of organisms; int6 & sent2 -> int7: if an animal eats something then that something is a source of food to that animal; int5 & int7 -> int8: plants are a source of food to some animals; int2 & int8 -> hypothesis;
$proof$ = sent11 & sent25 -> int1: decomposers are kinds of organisms; int1 & sent17 -> int2: a decomposer helps decomposers; sent11 & sent25 -> int3: decomposers are kinds of organisms; int2 & int3 -> int4: decomposers help plants survive and grow; sent24 & sent3 -> int5: a plant requires nutrients in soil for survival; int5 & sent13 -> int6: nutrients in soil have a positive impact on a plant's survival; int6 & sent23 -> int7: helping a plant survive and grow has a positive impact on that plant's survival; int4 & int7 -> hypothesis;
$proof$ = sent11 & sent15 -> int1: decomposers are kinds of organisms; int1 & sent25 -> int2: dead organisms are the source of nutrients for decomposers; int2 & sent13 -> int3: decomposition is when a decomposer returns nutrients from dead organisms to the soil by eating those dead organisms; int3 & sent10 -> int4: decomposers return nutrients to the soil by breaking down dead organisms; int4 & sent8 -> int5: decomposers are important to the food chain by returning nutrients to the soil; int5 & sent20 -> hypothesis;
$proof$ = sent7 & sent12 -> int1: green plants require sunlight to perform photosynthesis; int1 & sent10 -> int2: plants convert sunlight into food using photosynthesis; sent21 & sent15 -> int3: photosynthesis makes food for plants by converting carbon dioxide and water and sunlight into food and oxygen; int2 & int3 -> int4: plants convert sunlight into food using photosynthesis; sent11 & sent16 -> int5: if a plant makes food for itself then that plant does not need to eat other organisms; int4 & int5 -> hypothesis;
$proof$ = sent23 & sent16 -> int1: green plants perform photosynthesis to get food; int1 & sent8 -> int2: a plant requires energy to make food; sent25 & sent4 -> int3: photosynthesis makes food for the plant by converting carbon dioxide, water, and sunlight into food and oxygen; sent12 & sent14 -> int4: photosynthesis means green plants convert solar energy into food and oxygen; int4 & sent12 -> int5: sunlight is a kind of solar energy; int5 & sent19 -> int6: the sun is a source of solar energy; int3 & int6 -> int7: plants use energy from the sun to make food; sent21 & sent15 -> int8: if a thing uses energy from a star then that thing uses the sun; int7 & int8 -> int9: plants use energy from the sun to make food; int9 & sent9 -> hypothesis;
$proof$ = sent22 & sent7 -> int1: large birds are kinds of organisms; int1 & sent25 -> int2: if a bird dies then the population of that bird will decrease; sent16 & sent10 -> int3: if an animal dies then that animal is dead; int3 & sent20 -> int4: as the population of predators decreases the population of prey will increase; int4 & sent21 -> int5: as the population of small animals decreases the population of small animals will increase; sent2 & sent8 -> int6: a bird is a kind of animal; int6 & sent23 -> int7: large birds sometimes eat small animals; int5 & int7 -> int8: large birds cause small animals to die; sent25 & sent7 -> int9: if a bird dies then the population of that bird will decrease; int8 & int9 -> int10: large birds die because of disease then the population of small animals will increase; int10 & int6 -> hypothesis;
$proof$ = sent11 & sent5 -> int1: a worm is a kind of decomposer; int1 & sent3 -> int2: a tunnel is a kind of opening; int2 & sent3 -> int3: a tunnel is a kind of opening; int3 & sent25 -> int4: roots are a part of a plant for absorbing water from the soil; int4 & sent7 -> int5: roots are a vehicle for absorbing water from the soil; int5 & sent21 -> int6: roots are a part of a plant for absorbing water from the soil; int6 & sent20 -> hypothesis;
$proof$ = sent9 & sent17 -> int1: plant reproduction requires pollinating animals; int1 & sent2 -> int2: plant reproduction requires pollinating animals; int2 & sent20 & sent21 -> int3: pollinating animals require food for plants; int3 & sent14 -> int4: pollinating animals require food for plants; int4 & sent23 -> int5: a bee requires food for plants by carrying pollinating animals; sent5 & sent16 -> int6: an animal is a kind of organism; int6 & sent20 -> int7: a bee is a kind of pollinating animal; int5 & int7 -> int8: a bee is a kind of pollinating animal that can help on plant reproduction; int8 & sent7 -> hypothesis;
$proof$ = sent6 & sent8 -> int1: roots are a part of a plant; int1 & sent6 -> int2: roots are a part of a tree; int2 & sent8 -> int3: roots are a part of a tree; sent25 & sent10 -> int4: if a living thing requires something then that something has a positive impact on that living thing; int4 & sent2 -> int5: if a plant requires something then that something has a positive impact on that plant; int5 & sent12 -> int6: helping something has a positive impact on that plant; int3 & int6 -> int7: helping a plant has a positive impact on that plant; int7 & sent23 -> int8: helping a plant has a positive impact on that plant; int8 & sent17 -> hypothesis;
$proof$ = sent22 & sent21 -> int1: a drop is a kind of small object; int1 & sent9 -> int2: a drop is a kind of small object; int2 & sent13 -> int3: a pond contains a small amount of microscopic living organisms; int3 & sent4 & sent17 -> int4: a microscope can be used to see the microscopic living organisms in the pond water by making them appear bigger; int4 & sent15 -> hypothesis;
$proof$ = sent17 & sent15 -> int1: barney has a scar on his ear which is an acquired characteristic; sent9 & sent20 -> int2: an ear is a kind of body part; int2 & sent20 -> int3: barney's ear is a kind of body part; sent16 & sent8 -> int4: a human is a kind of living thing; int4 & sent11 -> int5: an environment is a kind of living thing; int5 & sent12 -> int6: an organism's environment is a kind of acquired characteristics; int3 & int6 -> int7: barney's scar on his ear is affected by his environment; int7 & sent6 -> hypothesis;
$proof$ = sent12 & sent18 -> int1: a dolphin learns to balance a ball on its nose; sent9 & sent15 -> int2: a ball on one's nose is a kind of object; int1 & int2 -> int3: a dolphin learns to balance a ball on its nose by balancing it; sent23 & sent3 -> int4: an animal is a kind of living thing; int4 & sent5 -> int5: an animal is a kind of organism; int5 & sent14 -> int6: an animal is a kind of organism; int6 & sent24 -> int7: an animal is a kind of organism; int7 & sent1 -> int8: an animal is a kind of organism; int8 & sent14 -> int9: an animal is a kind of organism; int9 & sent5 -> int10: an animal is a kind of organism; int10 & int7 -> int11: an animal learns to balance a ball on its nose; int11 & sent6 -> hypothesis;
$proof$ = sent18 & sent2 -> int1: a scar on the knee is an acquired characteristic; sent5 & sent20 -> int2: a human is a kind of animal; int2 & sent2 -> int3: a scar on the knee is a kind of inherited characteristic; sent4 & sent23 -> int4: offspring inherit inherited characteristics from their parents; int1 & int4 -> int5: acquired characteristics are not passed from parents to offspring; sent21 & sent25 -> int6: humans are a kind of organism; int6 & sent16 -> int7: humans are a kind of organism; int7 & sent21 -> int8: humans are a kind of organism; int5 & int8 -> int9: inherited characteristics are not passed down to offspring; int5 & int9 -> hypothesis;
$proof$ = sent23 & sent1 -> int1: a horse pulling a plow is an example of an animal pulling a plow; sent25 & sent11 -> int2: a horse is a kind of living thing; int1 & int2 -> int3: a horse pulling a plow is an example of a living thing pulling a plow; sent10 & sent3 -> int4: horses are kinds of organisms; int4 & sent7 -> int5: an instinctive behavior is a kind of inherited behavior; int3 & int5 -> int6: a horse pulling a plow is not an instinctive behavior; int6 & sent17 -> hypothesis;
$proof$ = sent18 & sent15 -> int1: a garbage can is a kind of object; int1 & sent6 -> int2: a garbage can is a kind of object; int2 & sent7 -> int3: a garbage can sometimes contains food; sent5 & sent13 -> int4: a bear is a kind of living thing; int4 & sent8 -> int5: a bear is a kind of organism; sent17 & sent11 -> int6: an animal is a kind of organism; int6 & sent25 -> int7: an animal is a kind of organism; int7 & sent11 -> int8: an animal is a kind of organism; int5 & int8 -> int9: a bear is a kind of organism; int9 & sent25 -> int10: a bear is a kind of organism; int10 & int6 -> int11: a bear is a kind of organism; int11 & sent23 -> int12: skills are learned characteristics; int12 & int4 -> hypothesis;
$proof$ = sent7 & sent18 -> int1: hunting is when a human kills an animal for food; int1 & sent20 -> int2: hunting is when a human kills an animal for food; int2 & sent3 -> int3: hunting is a kind of learned characteristic; sent13 & sent12 -> int4: skills are learned characteristics; sent2 & sent21 -> int5: learned characteristics are the opposite of inherited characteristics; int3 & int5 -> int6: skills are a kind of inherited characteristics; int6 & sent14 -> int7: instinctive behavior is a kind of inherited characteristic; int4 & int7 -> hypothesis;
$proof$ = sent11 & sent14 -> int1: an arctic fox's fur is dark gray or brown in the summer; sent14 & sent10 -> int2: the arctic environment is white in color in the winter; int2 & sent2 -> int3: an arctic fox's fur is white in color in the winter; sent5 & sent5 -> int4: an arctic fox's fur is white in the winter; int3 & int4 -> int5: an arctic fox's fur is dark grey in the summer and white in the winter; sent11 & sent20 -> int6: if an arctic fox's fur is a color then that arctic fox is that color; int6 & sent15 -> int7: an arctic fox's fur is dark grey or brown in the summer; sent6 & sent5 -> int8: an arctic fox's fur is white in the winter; int7 & int8 -> int9: an arctic fox's fur is dark gray or brown in the summer; int9 & sent21 -> int10: an arctic fox's fur is a color; int10 & int7 -> int11: an arctic fox's fur is dark gray or brown in the summer and white in the winter; int11 & sent25 -> int12: a arctic fox's fur is a color; int12 & int4 -> int13: genes determine the color of its fur; int13 & int14 -> hypothesis;
$proof$ = sent14 & sent21 -> int1: dna contains genetic information for the organism; int1 & sent4 -> int2: the genetic information in the dna is incorrect; sent23 & sent21 -> int3: the protein made by the dna has an incorrect amino acid; int2 & int3 -> hypothesis;
$proof$ = sent20 & sent1 -> int1: jessica is a human with recessive trait for light eyes; int1 & sent13 -> int2: she received the recessive gene for light eyes from each parent; int2 & sent18 -> int3: jessica only received the recessive gene for light eyes from her parents; int3 & sent9 -> int4: jessica is homozygous recessive gene for light eyes; int4 & sent14 -> int5: her parents have both dominant and recessive genes; int5 & sent8 -> int6: her parents only have recessive genes for light eyes; int2 & int6 -> hypothesis;
$proof$ = sent15 & sent25 & sent14 -> int1: one parent has a trait of red flower and a pure recessive trait of white flower; int1 & sent9 & sent4 -> hypothesis;
$proof$ = sent21 & sent24 & sent11 -> int1: two heterozygous dominant mice are crossed to produce offspring; int1 & sent22 & sent17 -> int2: the offspring will have 25% probability to be heterozygous dominant; int2 & sent8 -> int3: the offspring will have 25% probability to be homozygous recessive; sent21 & sent25 -> int4: white fur is a recessive trait in mice; int4 & sent1 -> int5: white fur is homozygous dominant for mice; int3 & int5 -> hypothesis;
$proof$ = sent18 & sent25 -> int1: the offspring of the pecan tree can inherit the thick trunk from their parent; sent6 & sent14 -> int2: a pecan tree is a kind of living thing; int2 & sent15 -> int3: the pecan tree is a kind of living thing; int1 & int3 -> hypothesis;
$proof$ = sent12 & sent17 -> int1: color of fur is a kind of inherited characteristic; int1 & sent6 -> int2: offspring will inherit the color of fur from parents; int2 & sent14 & sent9 -> int3: the offspring will inherit the color of fur from parents; int3 & sent8 -> int4: the offspring will inherit the color of fur from parents; sent4 & sent20 -> int5: the color of fur is a kind of inherited characteristics; int4 & int5 & sent7 & sent14 -> int6: the color of fur is a kind of inherited characteristics; int2 & int6 -> hypothesis;
$proof$ = sent18 & sent15 -> int1: the color of fur is an inherited characteristic of animals; int1 & sent3 -> int2: the color of fur is an inherited characteristic of animals; int2 & sent22 -> int3: dogs will inherit the color of fur from their parents; int3 & sent24 -> hypothesis;
$proof$ = sent16 & sent7 -> hypothesis;
$proof$ = sent13 & sent15 & sent1 -> int1: the sexual reproduction process is prevented in the insects; int1 & sent16 & sent17 -> int2: the sexual reproduction process is prevented in the insects; int2 & sent4 & sent22 -> int3: the reproduction rate in the insects will decrease; int3 & sent3 -> hypothesis;
$proof$ = sent19 & sent15 -> int1: a fruit fly is a kind of insect; int1 & sent4 -> int2: a fruit fly reproduces by sexual reproduction; sent6 & sent1 -> int3: a fruit fly is a kind of organism; int3 & sent24 -> int4: a fruit fly is a kind of organism; int2 & int4 & sent17 -> int5: each fruit fly parent receives half of the genes in a fertilized egg; int5 & sent2 -> hypothesis;
$proof$ = sent21 & sent3 -> int1: fire causes paper to burn; int1 & sent19 -> int2: fire causes paper to burn; int2 & sent12 -> int3: burning paper with fire is a kind of chemical reaction; int3 & sent6 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: iron nails are made of metal; int1 & sent14 -> int2: when iron nails rust, the iron nail will becom orange and flaky; int2 & sent21 -> int3: the iron nail has rusted; int3 & sent17 & sent1 -> int4: the iron nail has rusted; int4 & sent13 -> hypothesis;
$proof$ = sent21 & sent9 -> int1: fanning can increase the oxygen near the fire; int1 & sent24 -> int2: fanning can cause the fire to burn hotter; sent20 & sent7 -> int3: fire causes burning; int3 & sent23 -> int4: more burning causes fire to be hotter; int2 & int4 -> hypothesis;
$proof$ = sent19 & sent20 -> hypothesis;
$proof$ = sent19 & sent7 -> int1: chemical reactions cause different substances to form; int1 & sent16 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: a chemical compound is made of two or more elements chemically combined; sent24 & sent11 & sent16 -> int2: calcium, carbon, and oxygen are three elements; int2 & sent3 -> int3: calcium carbonate is made of at least three elements; int1 & int3 -> hypothesis;
$proof$ = sent4 & sent11 -> int1: sodium and chlorine are two elements; int1 & sent16 -> int2: sodium chloride is made of two elements chemically combined; int2 & sent12 -> int3: chemical bonds are formed between sodium atom and chlorine atoms; int3 & sent20 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: hydrochloric acid is a kind of acid; int1 & sent19 -> int2: limetone is put into a solution of hydrochloric acid; int2 & sent22 -> int3: a solution of limetone and hydrochloric acid is formed; int3 & sent19 -> int4: limetone has dissolved in the hydrochloric acid solution; int4 & sent21 -> int5: a chemical reaction has happened between limetone and hydrochloric acid; int5 & sent7 -> hypothesis;
$proof$ = sent13 & sent8 -> int1: folding an object changes the shape of the object; sent9 & sent4 -> int2: a sheet of paper is a kind of object; int1 & int2 & sent13 -> int3: folding a sheet of paper changes the shape of the paper; int3 & sent12 -> int4: folding a sheet of paper changes the physical property of the paper; int4 & sent7 -> hypothesis;
$proof$ = sent24 & sent20 -> int1: melting butter changes a substance from a solid to liquid; int1 & sent8 -> int2: melting butter changes a substance from a solid to liquid; int2 & sent1 -> int3: melting butter changes a substance from a solid to liquid; int3 & sent25 -> hypothesis;
$proof$ = sent6 & sent9 & sent10 -> int1: water is in a boiling process; int1 & sent24 -> int2: water undergoes a phase change; int2 & sent18 -> int3: water undergoes a phase change; int3 & sent4 -> hypothesis;
$proof$ = sent9 & sent24 -> int1: the nucleus of an atom is made of protons and neutrons; int1 & sent15 -> int2: neutrons are part of the nucleus in an atom; int2 & sent20 -> hypothesis;
$proof$ = sent24 & sent20 -> int1: a rubber brush is a kind of object; int1 & sent3 & sent10 -> int2: a rubber strip is a kind of object; sent4 & sent6 -> int3: unbalanced electrical charge of object causes static electricity; int3 & sent17 -> int4: metal is an electrical conductor; int4 & sent12 -> int5: rubber is an electrical conductor; int5 & sent5 -> int6: rubbing rubber on wool causes static electricity; int2 & int6 -> int7: rubbing rubber on wool can cause static electricity; int7 & sent14 -> hypothesis;
$proof$ = sent13 & sent10 -> int1: an atom is made of protons and neutrons; int1 & sent9 -> int2: an atom is made of protons and electrons; int2 & sent3 -> hypothesis;
$proof$ = sent16 & sent20 -> int1: an atom is made of protons, neutrons, and electrons; int1 & sent8 -> hypothesis;
$proof$ = sent1 & sent17 -> int1: water is a kind of substance; int1 & sent8 -> int2: water is a liquid substance at room temperature; sent19 & sent12 -> int3: water is made of hydrogen and oxygen chemically combined; int3 & sent9 -> int4: a water molecure is made of 2 hydrogen atoms and 1 oxygen atom chemically combined; int2 & int4 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: the nucleus of an atom is made of protons and neutrons; int1 & sent21 -> int2: the mass of an atom is determined by the mass of protons and neutrons; int2 & sent20 -> int3: the mass of electron, proton, and neutron is determined by the mass of proton and neutron; int3 & sent8 -> hypothesis;
$proof$ = sent25 & sent18 -> int1: unbalanced electrical charge of object causes static electricity; sent5 & sent9 -> int2: hair is often a part of an animal; int2 & sent5 -> int3: hair is often a part of an animal that is positively-charged; int1 & int3 -> int4: hair being positively-charged is an example of an object being positively-charged; int4 & sent14 -> hypothesis;
$proof$ = sent4 & sent9 -> int1: more protons than electrons result in a negative electric charge; int1 & sent9 -> int2: more electrons than protons result in a negative electric charge; int2 & sent18 -> int3: the atom will be positive in electric charge; int3 & sent25 -> int4: the atom will be positively charged; int4 & sent16 -> hypothesis;
$proof$ = sent14 & sent17 -> int1: electrical charge is a property of an atom; int1 & sent23 -> hypothesis;
$proof$ = sent14 & sent18 -> int1: an ion is a kind of negatively charged particle; int1 & sent7 -> int2: an ion is a kind of negatively charged particle; int2 & sent15 -> int3: an ion is a kind of positively charged particle; sent12 & sent16 -> int4: atoms are made of particles; int4 & sent25 -> int5: electrons are involved in chemical reactions; int3 & int5 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: iron is a solid substance; int1 & sent15 -> int2: iron is changing from a solid into a liquid by increasing heat energy; int2 & sent25 -> int3: the speed of particles in iron increases; int3 & sent23 -> hypothesis;
$proof$ = sent22 & sent15 -> hypothesis;
$proof$ = sent11 & sent24 -> hypothesis;
$proof$ = sent11 & sent11 -> int1: a metal can is made of metal; int1 & sent22 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent13 & sent25 -> int1: potassium cannot be found in organic compounds; sent8 & sent11 -> int2: carbon is a common element in organic compounds; int1 & int2 -> int3: potassium cannot be found in organic compounds; int3 & sent10 -> hypothesis;
$proof$ = sent3 & sent18 -> int1: elements in group 18 have similar properties; int1 & sent21 -> hypothesis;
$proof$ = sent1 & sent22 -> int1: an atom is the smallest particle that has the properties of an element; int1 & sent23 -> int2: the smallest particle in an atom is the smallest particle that is still copper; sent19 & sent11 -> int3: copper is a kind of metal; int2 & int3 -> hypothesis;
$proof$ = sent10 & sent23 -> hypothesis;
$proof$ = sent15 & sent17 -> int1: alkaline earth metals usually have one valence electron; int1 & sent18 -> int2: sodium and potassium are both metals; int2 & sent4 -> int3: sodium and potassium are both metals; int3 & sent10 -> int4: potassium and sodium are both alkali metals; int4 & sent19 -> int5: potassium and sodium have similar properties; int5 & sent20 -> hypothesis;
$proof$ = sent9 & sent22 -> int1: elements in the same group on the periodic table of elements have similar properties; int1 & sent18 & sent6 -> hypothesis;
$proof$ = sent13 & sent10 -> int1: soft things are malleable; sent16 & sent12 -> int2: gold is soft; sent18 & sent25 -> int3: gold is a kind of element; int2 & int3 -> hypothesis;
$proof$ = sent14 & sent17 -> int1: water is a liquid at room temperature; int1 & sent19 & sent20 -> int2: the boiling point of water is 100c; sent18 & sent25 -> int3: water is a kind of substance; int2 & int3 -> hypothesis;
$proof$ = sent6 & sent15 -> int1: a pan;frying pan is made of metal for cooking; sent25 & sent16 -> int2: the water in the pot is boiling; int2 & sent13 -> int3: the water in both pans is boiling; sent2 & sent23 -> int4: a stove is used for cooking by generating heat; int3 & int4 -> int5: the pan will have the same temperature; int1 & int5 -> int6: the water in both pans are used for cooking by generating heat; int6 & sent1 -> int7: the water in both pans will become hot; int7 & sent16 & sent8 -> int8: the water in both pans is boiling; int8 & sent14 -> int9: the water in both pans is boiling; int9 & sent17 -> int10: the water in both pans is boiling; int10 & int7 -> hypothesis;
$proof$ = sent12 & sent17 -> int1: puddles of water will absorb solar energy; int1 & sent13 & sent24 -> int2: the puddles of water will absorb solar energy; int2 & sent17 & sent4 -> hypothesis;
$proof$ = sent24 & sent8 -> int1: water is a liquid substance; int1 & sent16 -> int2: water is a liquid substance at room temperature; sent6 & sent4 -> int3: water is a kind of substance; int2 & int3 -> int4: water is a liquid substance at room temperature; sent17 & sent2 -> int5: liquid water is a kind of state of matter; int5 & sent5 & sent18 -> int6: water is a liquid substance at room temperature; int4 & int6 & sent15 -> int7: water is a solid substance; int5 & int7 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: water is a liquid substance at room temperature; int1 & sent24 -> int2: water is a liquid substance at room temperature; int2 & sent14 -> int3: water is decreasing in heat energy; sent9 & sent17 -> int4: water is in the solid state, called ice; int3 & int4 -> int5: water is decreasing in temperature; int5 & sent14 -> int6: water is decreasing in heat energy; int6 & sent13 -> hypothesis;
$proof$ = sent20 & sent11 -> int1: water is a liquid substance at room temperature; int1 & sent1 & sent17 -> int2: the water will reach its freezing point; int2 & sent15 -> int3: water will change its state of matter when it reaches its freezing point; int3 & sent21 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: an ice cube is a solid substance; int1 & sent25 -> int2: an ice cube will melt and change from solid to liquid; int2 & sent24 -> int3: the ice cube will melt and change from solid to liquid; int3 & sent17 & sent20 -> hypothesis;
$proof$ = sent7 & sent25 & sent22 -> int1: ice cube is in solid state; sent23 & sent14 -> int2: the ice cube is placed in the sunlight; int2 & sent15 -> int3: the ice cube will melt and change from solid to liquid; int1 & int3 -> hypothesis;
$proof$ = sent9 & sent4 -> int1: increasing heat energy causes a substance to melt; int1 & sent11 -> int2: increasing heat energy causes an ice cube to melt; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: hot chocolate is a kind of hot substance; int1 & sent12 -> int2: hot chocolate is a kind of liquid substance; int2 & sent1 -> int3: matter in the liquid phase has variable shape; sent15 & sent20 -> int4: chocolate melts; int4 & sent23 -> int5: the chocolate changes from a solid into a liquid by increasing heat energy; int5 & sent10 -> int6: the shape of the chocolate changes when the chocolate melts; int3 & int6 -> hypothesis;
$proof$ = sent8 & sent20 & sent10 -> int1: water is boiling; sent18 & sent22 -> int2: boiling happens when liquids are heated above their boiling point; int1 & int2 -> int3: water will change from a liquid to a gas when its heated above its boiling point; int3 & sent4 -> hypothesis;
$proof$ = sent24 & sent20 -> int1: water is made of molecules; int1 & sent22 -> int2: as the temperature of water increases, the molecules in water will move faster; int2 & sent10 -> int3: heat is required for water to move; int3 & sent14 -> hypothesis;
$proof$ = sent3 & sent24 -> int1: water is a liquid substance at room temperature; int1 & sent20 -> int2: water is a liquid substance at room temperature; sent3 & sent17 -> int3: water is in the liquid state, called water; int3 & sent23 -> int4: water is in the liquid state, called water; int2 & int4 -> int5: water is a liquid substance at room temperature; sent5 & sent15 -> int6: liquid water is a kind of matter; int5 & int6 -> int7: water is a kind of matter; int7 & sent25 -> int8: water is a kind of matter; int8 & sent22 -> hypothesis;
$proof$ = sent19 & sent21 -> int1: a pure substance is made of only one kind of atom; int1 & sent4 -> int2: substances are made of atoms; sent23 & sent8 -> int3: salt water is made of salt and water; sent15 & sent16 -> int4: plastic and helium are kinds of materials; int3 & int4 -> int5: salt water, plastic, and helium are all kinds of substances; int5 & sent13 -> int6: substances are made of atoms; int2 & int6 -> hypothesis;
$proof$ = sent22 & sent13 -> int1: a marble is a kind of object; int1 & sent16 -> int2: comparing the mass and volumes of different marbles requires measuring their mass and volumes; int2 & sent17 & sent11 -> int3: comparing the mass and volumes of different marbles requires measuring their mass and volumes; sent12 & sent25 & sent9 -> int4: a balance is an instrument used to measure the mass of an object; int4 & sent17 -> int5: a graduated cylinder can be used to measure the volume of a liquid; int3 & int5 -> int6: measuring the volume of a marble requires using a balance and graduated cylinder; int6 & sent16 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: a seashell is sometimes a part of a water animal; int1 & sent21 -> int2: a seashell is sometimes a part of a water animal; int2 & sent12 -> int3: a seashell is a part of a water animal; int3 & sent13 -> int4: a seashell is a part of a water animal; sent4 & sent3 -> int5: a balance is used to measure the mass of an object; int5 & sent18 -> int6: a ruler and a balance are kinds of tools for measuring the length and mass of an object; int4 & int6 -> hypothesis;
$proof$ = sent14 & sent7 -> int1: a balance is an instrument used to measure the mass of an object; int1 & sent24 -> int2: a balance is an instrument used to measure the mass of a substance; int2 & sent18 -> int3: a balance is an instrument used to measure the mass of a substance; int3 & sent2 -> int4: a balance is an instrument used to measure the mass of saltwater; sent16 & sent5 -> int5: a potato slice is a kind of object; int4 & int5 -> int6: comparing the mass of different potato slices requires measuring the mass of each potato slice; int6 & sent10 -> int7: comparing the mass of different potato slices requires measuring the mass of each potato slice; int7 & sent4 -> hypothesis;
$proof$ = sent7 & sent3 -> int1: a compass is a tool for determining direction; int1 & sent22 -> int2: a compass is a tool for determining direction by pointing north; int2 & sent11 -> int3: a compass uses natural magnetism to determine direction; sent6 & sent21 -> int4: a compass is a kind of invention; int3 & int4 -> int5: a compass is a kind of tool for determining direction; int5 & sent13 -> int6: if a compass is invented then that compass can be used; int4 & int6 -> hypothesis;
$proof$ = sent24 & sent3 -> int1: a thermometer can be used to measure the temperature of a substance; int1 & sent9 -> hypothesis;
$proof$ = sent3 & sent17 -> int1: towns are usually kilometers away from each other; int1 & sent22 -> int2: kilometers can be used to measure the distance between towns; int2 & sent24 & sent14 -> hypothesis;
$proof$ = sent25 & sent4 -> int1: kilogram can be used to measure the mass of heavy objects; int1 & sent7 -> int2: kilogram can be used to measure the mass of an automobile; sent23 & sent19 -> int3: a car is a kind of object; int2 & int3 -> hypothesis;
$proof$ = sent18 & sent13 -> int1: water and sand are two substances; int1 & sent7 -> int2: wet sand is made of two substances; int2 & sent2 -> hypothesis;
$proof$ = sent4 & sent24 -> int1: sand and clay are two solids in the soil; int1 & sent16 -> int2: a mixture of sand and clay is a mixture of solids; sent25 & sent22 -> int3: sand and clay are two solids in the soil; int2 & int3 -> int4: a mixture of sand and clay is a mixture of solids in the soil; int4 & sent23 -> int5: a mixture of sand and clay can be used to separate sand from the soil; int5 & sent12 -> hypothesis;
$proof$ = sent21 & sent12 -> int1: fruit salad is a kind of mixture; sent25 & sent20 -> int2: fruit salad is made of solids; int1 & int2 -> int3: fruit salad is a mixture of solids; int3 & sent9 -> hypothesis;
$proof$ = sent11 & sent19 -> int1: a tennis ball is a kind of object; sent3 & sent23 -> int2: water is a kind of object; int1 & int2 & sent8 -> int3: a tennis ball will float in water; sent14 & sent24 -> int4: a tennis ball that contains gas is usually buoyant; sent1 & sent7 -> int5: water is a kind of substance; int5 & sent5 -> int6: something that is buoyant will float in water; int3 & int6 -> hypothesis;
$proof$ = sent17 & sent7 -> int1: how something appears is a property of objects; int1 & sent12 -> int2: how a rock appears is a property of rocks; int2 & sent15 -> hypothesis;
$proof$ = sent19 & sent23 -> int1: metal is an electrical conductor; sent14 & sent6 -> int2: metal is a kind of substance; int1 & int2 -> hypothesis;
$proof$ = sent21 & sent11 -> int1: metal is an electrical conductor; sent6 & sent24 -> int2: objects are made of materials; int1 & int2 -> int3: the conductivity of an object depends on the materials it is made of; int3 & sent1 -> hypothesis;
$proof$ = sent19 & sent24 -> int1: metal is an electrical conductor; sent3 & sent15 -> int2: iron nails are made of metal; int1 & int2 -> int3: iron nails are magnetic; int3 & sent20 -> hypothesis;
$proof$ = sent14 & sent8 -> int1: drinking straws are flexible; int1 & sent13 -> hypothesis;
$proof$ = sent19 & sent17 -> int1: metal is a kind of flexible material; sent14 & sent5 -> int2: a wire is a kind of object; int1 & int2 -> hypothesis;
$proof$ = sent5 & sent12 -> int1: a drill is a tool for cutting holes; sent21 & sent23 -> int2: diamond is a hard material; int1 & int2 -> hypothesis;
$proof$ = sent9 & sent15 -> int1: iron nails are made of metal; int1 & sent12 -> int2: iron nails are magnetic; int2 & sent1 -> int3: a magnet will attract iron; sent15 & sent14 -> int4: iron nails are made of metal; int3 & int4 -> int5: iron nails are magnetic; int5 & sent22 -> hypothesis;
$proof$ = sent12 & sent11 -> int1: if a spoon is used to stir a liquid then that spoon is touching that liquid; int1 & sent2 -> int2: the metal spoon is touching the liquid; sent21 & sent13 -> int3: a spoon is a kind of object made of metal; sent22 & sent25 -> int4: metal is a thermal conductor; int3 & int4 -> int5: a spoon is a kind of object; int5 & sent17 -> int6: a spoon is a kind of object; int6 & sent7 -> int7: if a spoon is exposed to a source of heat; int2 & int7 -> hypothesis;
$proof$ = sent9 & sent19 -> int1: light cannot shine through an opaque object; int1 & sent12 -> hypothesis;
$proof$ = sent19 & sent24 -> int1: a block of ice is a kind of object; int1 & sent3 & sent7 -> int2: a block of ice is a kind of object; int2 & sent17 -> hypothesis;
$proof$ = sent6 & sent8 -> int1: sugar is a kind of pure substance; sent25 & sent14 -> int2: salt and sugar are different substances; int1 & int2 -> int3: salt and sugar are different substances; int3 & sent19 -> int4: the shape of salt and sugar crystals can be used to identify the salt and sugar; int4 & sent17 & sent16 -> hypothesis;
$proof$ = sent5 & sent20 -> int1: feeling is when a living thing senses through touch; int1 & sent5 -> int2: a living thing senses through touch; int2 & sent7 -> int3: touch can be used for detecting texture; sent24 & sent13 -> int4: texture is a property of objects; int4 & sent3 -> int5: texture can be used for observing the texture of objects; int3 & int5 -> int6: texture can be seen by looking at the texture of an object; int6 & sent7 -> int7: touch is a kind of sense that can be used for detecting texture; int7 & sent4 -> hypothesis;
$proof$ = sent12 & sent25 -> int1: matter in solid phase has definite volume and definite shape; sent23 & sent8 -> int2: matter in gas phase has variable volume and shape; int1 & int2 -> int3: matter in gas phase has no definite volume and no definite shape; int3 & sent24 -> hypothesis;
$proof$ = sent2 & sent15 -> int1: water is a liquid at room temperature; int1 & sent6 -> int2: water is in solid state; sent8 & sent9 -> int3: an ice cube is made of water; int2 & int3 -> int4: an ice cube is in solid state; sent22 & sent10 -> int5: ice is a solid substance; int4 & sent12 -> int6: water is in solid state; int6 & sent17 -> int7: an ice cube is solid in its physical state; int5 & int7 -> hypothesis;
$proof$ = sent22 & sent14 -> hypothesis;
$proof$ = sent14 & sent11 -> int1: as the ability to preserve food increases, the ability to transport food increases; int1 & sent6 -> int2: as the transportation technology for food increases, the avilable types of food in distant locations will increase; sent25 & sent10 -> int3: a human is a kind of living thing; int3 & sent8 -> int4: a human is a kind of living thing; int4 & sent10 -> int5: a human is a kind of living thing; int5 & sent8 -> int6: a human is a kind of living thing; int6 & sent19 -> int7: hawaiii is a kind of living thing; int2 & int7 -> hypothesis;
$proof$ = sent18 & sent16 -> int1: slab and footing are kinds of foundation in construction; int1 & sent19 -> hypothesis;
$proof$ = sent21 & sent7 -> hypothesis;
$proof$ = sent1 & sent16 -> int1: a green plant is a kind of organism; int1 & sent24 -> int2: a tree is a kind of organism; sent20 & sent9 -> int3: a river is a kind of flowing; int3 & sent5 -> int4: a river is a kind of moving body of water; int4 & sent7 -> int5: a camera can be used for recording images; int2 & int5 -> int6: a camera can be used to record images of the tree; int6 & sent19 -> hypothesis;
$proof$ = sent6 & sent19 -> int1: a speedometer is part of an automobile that can give driver feedback on the speed of their vehicle; sent17 & sent25 -> int2: a car is a kind of vehicle; int2 & sent18 -> int3: a car is a kind of automobile; int1 & int3 -> hypothesis;
$proof$ = sent23 & sent19 -> int1: the changes in temperature over a period of time need to be shown in a graph; int1 & sent17 -> hypothesis;
$proof$ = sent10 & sent1 -> int1: heat of a liquid is transferred to the environment; int1 & sent20 -> hypothesis;
$proof$ = sent23 & sent11 -> int1: water is a kind of natural resource; int1 & sent12 -> int2: scientists are studying the quality of water in a body of water; sent24 & sent9 -> int3: a lake is a kind of body of water; int2 & int3 -> hypothesis;