$proof$ = sent3 & sent21 -> int1: northern hemisphere is a kind of place; int1 & sent15 -> hypothesis;
$proof$ = sent23 & sent1 & sent13 -> int1: earth revolving the sun is an example of a planet revolving around its star; sent2 & int1 -> hypothesis;
$proof$ = sent24 & sent16 -> hypothesis;
$proof$ = sent1 & sent14 -> int1: the gravitational pull of the moon on earth causes the tides; sent8 & int1 -> hypothesis;
$proof$ = sent12 & sent14 -> hypothesis;
$proof$ = sent22 & sent3 -> hypothesis;
$proof$ = sent19 & sent23 -> int1: the milky way is made of stars; sent20 & sent21 -> int2: light year can be used to measure the distance between stars; int1 & int2 -> hypothesis;
$proof$ = sent21 & sent5 -> int1: elliptical orbits are used by planets to orbit the sun; sent21 & sent5 -> int2: elliptical orbits are used by the planets in the solar system; sent21 & sent5 -> int3: elliptical orbits are used by the planets to orbit the sun; sent21 & sent5 -> int4: elliptical orbits are used by the planets in our solar system; sent15 & sent14 -> int5: a comet is a kind of object that is mainly made of ice; sent12 & sent8 -> int6: comets orbit the sun in an elliptical orbit; int3 & int2 -> int7: elliptical orbits are used by the planets in our solar system to orbit the sun; int4 & int1 -> int8: comets using elliptical orbits orbit the sun in our solar system; int1 & int4 -> int9: comets use elliptical orbits to orbit the sun in solar system; int6 & int1 -> int10: comets use elliptical orbits to orbit the sun; int10 & int8 & int7 -> int11: comets using elliptical orbits orbit the sun in the solar system; int5 & int11 & int9 -> hypothesis;
$proof$ = sent20 & sent10 -> hypothesis;
$proof$ = sent25 & sent3 -> int1: the moon orbits the earth as a planet; sent25 & sent3 -> int2: the moon orbits the earth because earth is a planet; sent25 & sent3 -> int3: the moon orbits the earth as if it were a planet; sent6 & sent3 -> int4: the earth is a planet that revolves around its sun; int1 & int2 -> int5: the moon orbits the earth as if the earth is a planet; int1 & int2 -> int6: the moon orbits the earth because the earth is a planet; int6 & int5 -> int7: the moon orbits the earth as if the earth were a planet; int5 & int7 & int6 -> int8: the moon orbits the earth as if the earth was a planet; int3 & int8 -> int9: the moon and the earth both orbit the earth as if they were planets; int4 & int9 -> hypothesis;
$proof$ = sent11 & sent10 -> hypothesis;
$proof$ = sent16 & sent23 -> int1: the four planets closest to the sun are solids; int1 & sent8 & sent10 -> hypothesis;
$proof$ = sent24 & sent5 -> int1: earth is a kind of celestial object; sent23 & int1 -> hypothesis;
$proof$ = sent18 & sent3 -> hypothesis;
$proof$ = sent13 & sent19 -> hypothesis;
$proof$ = sent20 & sent11 -> int1: the sun is an average sized star in our galaxy; int1 & sent17 -> int2: the sun is a galaxy made of stars; sent4 & int2 -> int3: the sun is a medium sized galaxy; sent20 & int3 -> hypothesis;
$proof$ = sent5 & sent13 -> hypothesis;
$proof$ = sent9 & sent1 -> int1: the sun is a kind of main-sequence star; sent8 & int1 -> hypothesis;
$proof$ = sent24 & sent7 -> hypothesis;
$proof$ = sent23 & sent10 -> int1: as the mass of the moon decreases, the surface gravity of the moon will decrease; int1 & sent20 -> int2: the force of gravity on earth will be less than on the moon; int2 & sent7 & sent19 -> hypothesis;
$proof$ = sent13 & sent9 -> int1: as the mass of a celestial object decreases, the surface gravity of that celestial object will decrease; sent11 & sent9 -> int2: as the mass of earth decreases, the surface gravity of the moon will decrease; sent11 & sent9 -> int3: as the mass of earth decreases, the surface gravity on the moon will decrease; sent12 & sent9 -> int4: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; int1 & sent11 -> int5: the surface gravity on earth will be less than on the moon because earth has more mass than the moon; int2 & int3 -> int6: the surface gravity of the moon on earth will decrease as the mass of earth decreases; sent24 & int5 & int4 -> int7: an object will weigh less on the moon than on the earth because the surface gravity on the moon is less; sent15 & int7 & int6 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: detailed observation of the moon requires a telescope; int1 & sent24 & sent6 -> hypothesis;
$proof$ = sent9 & sent12 -> hypothesis;
$proof$ = sent15 & sent20 & sent12 -> hypothesis;
$proof$ = sent21 & sent9 & sent20 -> int1: a first quarter moon and a last quarter moon are kinds of moon phases; int1 & sent19 -> int2: the lowest gravitational pull is during the first quater and the last quater moon phases; sent25 & int2 -> hypothesis;
$proof$ = sent24 & sent8 -> int1: gravity causes moons to orbit planets; sent9 & int1 -> hypothesis;
$proof$ = sent4 & sent10 -> hypothesis;
$proof$ = sent3 & sent15 -> hypothesis;
$proof$ = sent9 & sent18 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: the sun is a star made of gases; sent9 & sent8 -> int2: the sun is made of gases; sent22 & sent2 -> int3: stars are hot in temperature; sent2 & sent22 -> int4: stars that are hot in temperature are stars that are hot in heat energy; sent2 & sent22 -> int5: stars that are hot in temperature are stars that are extremely hot in temperature; sent2 & sent22 -> int6: stars that are hot in temperature are stars that are very hot in temperature; int5 & int4 -> int7: stars that are hot in temperature are extremely hot in temperature; int6 & int3 -> int8: stars that are hot in temperature are extremely hot stars; int3 & int8 -> int9: stars that are hot in temperature are hot stars; int1 & int4 & int9 -> int10: the sun is a hot star in temperature; int7 & int10 -> int11: the sun is hot in temperature; int2 & int11 & sent21 -> hypothesis;
$proof$ = sent25 & sent9 -> int1: a human requires oxygen to breathe; int1 & sent8 -> int2: an astronaut requires oxygen to breathe; sent22 & int2 -> hypothesis;
$proof$ = sent19 & sent1 -> hypothesis;
$proof$ = sent6 & sent17 & sent4 -> hypothesis;
$proof$ = sent10 & sent15 -> hypothesis;
$proof$ = sent22 & sent15 -> hypothesis;
$proof$ = sent25 & sent8 -> hypothesis;
$proof$ = sent18 & sent25 & sent14 & sent22 -> hypothesis;
$proof$ = sent4 & sent1 & sent20 & sent9 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: a shark is a kind of aquatic animal; int1 & sent19 -> int2: if fossils of sharks are found in a place then that place used to be covered by water in the past; sent3 & sent18 & int2 -> int3: the side of the cliff used to be covered by water in the past; sent25 & int3 -> hypothesis;
$proof$ = sent2 & sent17 -> int1: fossils are a kind of information on ancient environment; sent12 & sent14 -> int2: the scientist has to gather information on the environmental changes from ancient time to now; int2 & int1 -> hypothesis;
$proof$ = sent6 & sent24 -> int1: fossils can be found in limestones; sent14 & int1 -> hypothesis;
$proof$ = sent10 & sent7 -> int1: the formation of diamonds occurs deep beneath earth's crust; sent10 & sent7 -> int2: the formation of diamonds occurs deep below earth's crust; sent7 & sent22 -> int3: the formation of diamonds requires intense heat; int3 & sent10 -> int4: the formation of diamonds occurs deep beneath the earth's crust; int4 & int2 & int1 -> int5: the formation of diamonds occurs beneath the earth's crust; sent13 & int5 -> hypothesis;
$proof$ = sent10 & sent2 -> hypothesis;
$proof$ = sent7 & sent14 -> hypothesis;
$proof$ = sent25 & sent9 -> hypothesis;
$proof$ = sent14 & sent25 -> int1: sedimentary and metamorphic are classes of rock; sent6 & sent4 -> int2: sedimentary rocks can contain fossils; sent22 & int1 -> int3: formation in the rock cycle can mean sedimentary rock changes into metamorphic rock; int2 & int3 -> int4: in the rock cycle, sedimentary rocks can contain fossils and metamorphic rocks do not contain fossils; sent2 & int3 -> int5: the formation of metamorphic rock is a sequential process; sent7 & int4 -> int6: in the rock cycle, fossils are not found and metamorphic rocks do not contain fossils; int5 & sent13 -> int7: if something causes metamorphic rock then that something is required for that metamorphic rock; int7 & sent10 -> int8: metamorphic rock requires sedimentary rock for formation; int8 & int6 -> int9: fossils are not found in the rock cycle and metamorphic rocks do not contain fossils; sent17 & int9 -> hypothesis;
$proof$ = sent25 & sent15 -> int1: as the earth processes change, the total amount of matter on earth will stay the same; sent1 & int1 -> hypothesis;
$proof$ = sent21 & sent1 -> int1: something can be identified by the components it contains; sent23 & sent17 -> int2: a rock contains minerals; sent23 & sent17 -> int3: rock contains minerals; int2 & int1 & int3 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: granite is a kind of hard material; int1 & sent5 -> int2: granite is a kind of rock; sent22 & int2 -> hypothesis;
$proof$ = sent9 & sent13 & sent10 -> int1: light and dark are opposites; sent25 & sent17 -> int2: a sedimentary rock is made of small particles of sand; sent8 & sent5 -> int3: sedimentary rocks are formed by sediments compacting and cementing together; sent7 & sent18 -> int4: sand is a kind of small particle; int3 & sent25 -> int5: sedimentary rocks are formed by small particles of sand being compressed and cemented together; sent25 & int4 -> int6: sedimentary rocks are made of small particles of sand; int5 & int1 -> int7: in the case of sedimentary rocks, light and dark are different colors; int7 & int6 -> int8: sedimentary rocks are formed by small particles of sand being light and dark; int8 & int2 -> int9: a rock is formed by small particles of sand being light and dark in color; int9 & sent15 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: peat is made of decaying plants; int1 & sent18 -> int2: being buried under soil and mud changes peat into coal; int2 & sent7 -> int3: coal is formed from peat; sent1 & int3 -> int4: coal is formed from decaying plants; int4 & sent20 -> hypothesis;
$proof$ = sent24 & sent23 & sent4 -> int1: coal and oil and gas are kinds of fossil fuels; sent12 & sent15 -> int2: fossil fuels forming occurs a very long time ago; sent11 & sent2 -> int3: if something is required for the formation of fossil fuels then that something helps in the formation of fossil fuels; int1 & sent3 -> int4: forming coal and oil and gas requires deposition and burial of decaying plants; int1 & sent9 & sent3 -> int5: forming coal and oil and gas requires deposition and burial of plants; sent16 & int2 -> int6: prehistoric fossil fuels exist; int2 & sent16 -> int7: prehistoric fossil fuels are forming; int4 & int5 -> int8: forming coal and oil and gas requires decaying plants; int5 & int7 & int6 -> int9: prehistoric coal and oil and gas requires deposition and burial of plants; int9 & int8 & int3 -> hypothesis;
$proof$ = sent19 & sent9 -> int1: adding heat to the atmosphere means increasing temperature; sent11 & sent16 -> int2: if something releases something else into the atmosphere then that something adds that something else to the atmosphere; int2 & sent13 -> int3: burning fossil fuels adds carbon dioxide to the atmosphere; int1 & int3 -> hypothesis;
$proof$ = sent13 & sent15 -> int1: burning fossil fuels is a source of pollution; sent25 & sent23 -> int2: global warming is when the temperature of the earth increases; sent22 & sent11 -> int3: carbon dioxide comes from a source of gas; sent18 & sent8 -> int4: if something impacts the earth's atmosphere then that something has a significant impact on the earth; int1 & sent2 -> int5: burning fossil fuels releases pollutant; int4 & int2 -> int6: global warming has a significant impact on the earth's atmosphere; int5 & sent19 -> int7: the use of fossil fuels causes global warming; int7 & int6 -> int8: use of fossil fuels has a significant impact on the earth's atmosphere; int8 & int3 -> hypothesis;
$proof$ = sent5 & sent23 -> int1: gases released during the use of fossil fuels contributes to global warming; sent2 & int1 -> hypothesis;
$proof$ = sent15 & sent25 -> int1: burning fossil fuels is the source of sulfur dioxide; sent22 & sent9 -> int2: coal and gasoline are kinds of fossil fuels; sent16 & int1 -> int3: burning fossil fuels is the source of acid rain; int2 & sent8 -> int4: burning fossil fuels is a kind of human activity; sent18 & int3 -> int5: burning fossil fuels contributes to the formation of acid rain; int4 & int5 -> hypothesis;
$proof$ = sent4 & sent17 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: the biosphere is a part of the lithosphere; sent17 & sent9 -> int2: surface mining removes vegetation above the coal; sent22 & int2 -> int3: surface mining is a kind of change; sent24 & int3 -> int4: surface mining has an impact on the lithosphere; sent15 & int4 & int1 -> hypothesis;
$proof$ = sent4 & sent1 -> hypothesis;
$proof$ = sent13 & sent25 -> int1: as the use of a resource increases, more farm land will have to be produced; int1 & sent23 -> int2: as the use of ethanol increases, more farm land will have to be produced; sent9 & int2 -> int3: as the use of ethanol increases, the amount of available farm land decreases; int3 & sent2 -> hypothesis;
$proof$ = sent15 & sent6 -> int1: energy from ocean tides is a kind of renewable resource; sent2 & int1 -> hypothesis;
$proof$ = sent23 & sent19 -> int1: building materials are used to build houses; sent8 & sent7 -> int2: wood is a kind of renewable natural resource; sent17 & sent19 -> int3: wood boards can be used to build buildings; sent17 & sent19 -> int4: wood boards can be used to build a building; int1 & sent17 -> int5: wood boards are used to build houses; int3 & int4 -> int6: wood boards can be used to build a building using wood; int4 & int5 -> int7: wood boards are a kind of building material that can be used to build a building; int2 & int6 -> int8: wood boards can be used to build a building using a renewable resource; int8 & int7 -> int9: wood boards are a kind of building material that is made of a renewable resource; sent8 & int9 -> hypothesis;
$proof$ = sent11 & sent10 -> int1: irrigation on agricultural ground is performed on soil; sent18 & sent19 -> int2: if irrigation requires something then increasing irrigation increases that something; sent22 & sent16 -> int3: water can decrease the amount of nutrients in soil; sent12 & int2 -> int4: increasing irrigation increases the amount of water used for irrigation; int3 & int4 -> int5: increasing irrigation can decrease the nutrients in soil; int5 & sent14 -> int6: increasing irrigation will decrease the nutrients in soil; int1 & int6 -> int7: increasing irrigation on agricultural grounds can decrease the nutrients in soil; sent13 & int7 -> hypothesis;
$proof$ = sent23 & sent17 -> int1: overgrazing can cause desertification of the land; sent3 & sent22 -> int2: increasing erosion rates can mean increasing the rate at which erosion occurs; sent6 & int1 -> int3: overgrazing results in desertification; int2 & int3 -> int4: overgrazing can result in desertification by increasing the rate at which soil is eroded; sent1 & int4 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: decreasing the amount of trees cut has a postive impact on an environment; sent19 & sent11 -> int2: decreasing the amount of trees cut has a postive impact on the environment; sent6 & sent14 -> int3: cut trees are needed to make paper; int1 & int2 -> int4: decreasing the number of trees cut has a postive impact on the environment; sent1 & int3 -> int5: cut trees are a kind of resource that are needed to make paper; int1 & int4 -> int6: decreasing the number of trees cut has a positive impact on the environment; int5 & sent25 -> int7: recycling reduces the amount of trees that are cut; int6 & int7 -> hypothesis;
$proof$ = sent22 & sent6 -> int1: clearing trees from a forest means cutting down trees in that forest; sent17 & int1 -> int2: clearing trees from a forest causes the number of trees to decrease in that forest; int2 & sent16 -> int3: clearing trees from a forest causes soil erosion to increase; int3 -> hypothesis;
$proof$ = sent25 & sent13 -> int1: roots of plants and trees decrease / reduce soil erosion; sent15 & sent24 -> int2: cutting down trees in a forest causes the number of plants and trees to decrease in that forest; int2 & int1 -> int3: cutting down trees in a forest causes soil erosion to increase; int3 & sent10 -> hypothesis;
$proof$ = sent7 & sent3 -> int1: trees are a source of oxygen; sent20 & sent18 -> int2: deforestation will decrease the amount of trees in a forest; sent16 & int1 & int2 -> int3: deforestation causes the amount of oxygen in a forest to decrease; sent9 & int3 -> hypothesis;
$proof$ = sent23 & sent8 -> int1: seawater is a kind of water; sent24 & sent17 -> int2: seawater is a source of salt; sent17 & int1 & sent3 -> int3: water that has salt removed is seawater; int2 & int3 -> hypothesis;
$proof$ = sent19 & sent3 -> int1: glaciers are a kind of water reservoir; sent12 & sent1 -> int2: glaciers provide freshwater; int2 & int1 -> int3: glaciers are a kind of water reservoir that provide freshwater; sent16 & int3 -> hypothesis;
$proof$ = sent16 & sent1 -> int1: forests on earth contain many ecosystems; sent1 & sent13 -> int2: humans changing a forest has a negative impact on that forest; sent21 & sent5 -> int3: cutting down trees in a forest changes that forest; sent2 & sent20 -> int4: humans build trails by cutting down trees; int3 & int2 -> int5: humans cutting down trees in a forest has a negative impact on that forest; int5 & int4 -> int6: humans building trails by cutting down trees has a negative impact on that forest; int1 & int6 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: runoff from a cropland has a negative impact on the water quality; sent10 & sent11 -> int2: runoff from a cropland can enter a lake; sent10 & sent11 -> int3: runoff from a cropland enters a lake; sent11 & int1 & sent10 -> int4: runoff from a cropland entering a lake has a negative impact on the water quality; sent10 & int1 & sent11 -> int5: runoff from a cropland into a lake has a negative impact on the water quality; int4 & int3 & int2 -> int6: runoff from a cropland entering a lake has a negative impact on water quality; sent24 & int6 & int5 -> hypothesis;
$proof$ = sent23 & sent16 -> int1: if humans disturb animals at a beach then those animals will move to a different beach; sent14 & int1 -> int2: if humans disturb seals at a beach then those seals will move to a different beach; sent5 & int2 -> hypothesis;
$proof$ = sent24 & sent10 -> int1: a bean plant is a kind of resource; sent6 & sent16 -> int2: recycling resources has a positive impact on the conservation of resources; sent22 & int2 -> int3: a compost pile helps conserve resources by recycling those resources; int1 & int3 -> hypothesis;
$proof$ = sent7 & sent13 -> int1: conserving water requires using less water; sent11 & int1 & sent6 -> hypothesis;
$proof$ = sent10 & sent18 -> hypothesis;
$proof$ = sent18 & sent6 -> int1: acid rain lowers the water quality; sent10 & int1 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: the runoff from the farm contains fertilizers; sent22 & sent5 & int1 -> int2: fertilizers in the runoff from the farm have a positive impact on algae growth; sent1 & int2 -> hypothesis;
$proof$ = sent1 & sent24 -> int1: a fish lives in a pond; sent6 & sent8 -> int2: toxic chemicals can cause harm to organisms; sent10 & int2 -> int3: toxic chemicals can cause organisms to die; int3 & sent5 -> int4: toxic chemicals can cause fish to die; sent25 & int1 & int4 -> hypothesis;
$proof$ = sent17 & sent9 & sent4 -> hypothesis;
$proof$ = sent7 & sent8 -> int1: human hunting animals can decrease their populations; int1 & sent16 & sent25 -> hypothesis;
$proof$ = sent9 & sent20 -> hypothesis;
$proof$ = sent10 & sent4 -> int1: an earthquake usually occurs within 10 to 30 seconds; sent20 & sent12 -> int2: an earthquake can change earth's surface; int1 & sent20 & sent12 -> int3: an earthquake can change earth's surface within 10 to 30 seconds; int3 & int2 -> int4: an earthquake can change earth's surface quickly; int4 -> hypothesis;
$proof$ = sent13 & sent24 -> hypothesis;
$proof$ = sent25 & sent7 & sent11 -> hypothesis;
$proof$ = sent16 & sent19 -> hypothesis;
$proof$ = sent14 & sent9 -> int1: ocean water level rising causes coastal wetlands to be inundated by seawater; sent14 & sent2 -> int2: ocean water level rising causes salt water to flood coastal area; sent14 & sent2 -> int3: ocean water level rising causes saltwater to flood coastal area; int2 & int3 & int1 -> int4: ocean water level rising causes coastal wetlands to be inundated by saltwater; sent1 & int4 -> hypothesis;
$proof$ = sent7 & sent11 -> hypothesis;
$proof$ = sent14 & sent1 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: nearly all fossils are found in limestone; sent22 & sent8 -> int2: the lithosphere is made of sedimentary rocks; int1 & sent15 -> int3: limestone is a kind of calcium carbonate fossil; int2 & sent12 -> int4: fossils can be found in the lithosphere; int4 & int3 -> int5: an example of calcium carbonate in the lithosphere is limestone; int5 & sent13 -> hypothesis;
$proof$ = sent10 & sent14 -> hypothesis;
$proof$ = sent19 & sent6 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: planting corn every year decreases the nutrients required by corn; sent11 & int1 -> hypothesis;
$proof$ = sent17 & sent22 -> int1: the decrease of something required by a plant has a negative impact on that plant's survival; sent9 & int1 -> int2: a decrease of the thickness of soil has a negative impact on a tree's survival; sent9 & int1 -> int3: a decrease of the thickness of soil has a negative impact on trees' survival; sent9 & int1 -> int4: a decrease of soil thickness has a negative impact on a tree's survival; sent9 & int4 -> int5: a decrease of soil thickness has a negative impact on trees' survival; int3 & int2 & int5 -> int6: a decrease of soil thickness can have a negative impact on a tree's survival; sent13 & int6 -> hypothesis;
$proof$ = sent8 & sent20 -> hypothesis;
$proof$ = sent10 & sent21 -> int1: a warm front will pass over a cold air mass; int1 & sent11 -> hypothesis;
$proof$ = sent10 & sent9 -> int1: the air around the equator will increase in temperature; int1 & sent1 -> int2: the air around the equator will be warm; int2 & sent16 -> hypothesis;
$proof$ = sent16 & sent5 -> int1: a balloon is a kind of flexible container; int1 & sent2 -> int2: a weather balloon is a kind of flexible container; sent5 & int2 -> int3: a weather balloon is a kind of highly flexible container; int3 & sent22 -> int4: as air pressure surrounding the weather balloon decreases, the weather balloon will expand; sent9 & int4 -> hypothesis;
$proof$ = sent8 & sent15 -> hypothesis;
$proof$ = sent18 & sent15 -> hypothesis;
$proof$ = sent11 & sent23 -> int1: ocean water vapor is the source of most of the water vapor in the atmosphere; sent19 & int1 -> hypothesis;
$proof$ = sent18 & sent20 -> int1: as the gradient of a stream increases, the deposition of materials will decrease; int1 & sent4 -> hypothesis;
$proof$ = sent6 & sent11 -> int1: wind erosion can change the earth's surface; sent1 & int1 -> hypothesis;
$proof$ = sent18 & sent17 -> hypothesis;
$proof$ = sent24 & sent10 -> int1: a high-pressure system causes precipitation to condense into clouds; int1 & sent4 -> hypothesis;
$proof$ = sent24 & sent3 -> int1: cool ocean waters have low heat energy; sent12 & int1 & sent4 -> hypothesis;
$proof$ = sent22 & sent10 -> hypothesis;
$proof$ = sent14 & sent7 -> int1: collection in water cycle is when rain is collected in bodies of water; sent2 & int1 -> hypothesis;
$proof$ = sent13 & sent4 -> int1: evaporation of water means water changes from a liquid into a gas by increasing heat energy; sent10 -> int2: the sun's energy is warming up ocean water; sent1 & int1 & int2 -> hypothesis;
$proof$ = sent25 & sent1 -> int1: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; sent25 & sent1 & sent11 -> int2: evaporation of water causes the water to decrease in amount; sent12 & sent22 -> int3: absorbing the energy from the sun will cause objects to heat; sent5 & int2 & int1 -> int4: evaporation of water causes the water to disappear; sent15 & int3 -> int5: absorbing the energy from the sun will cause drops of water to heat; int5 & int4 -> hypothesis;
$proof$ = sent17 & sent13 & sent25 -> int1: water absorbing solar energy will increase in temperature; sent17 & sent12 -> int2: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int1 & sent3 -> int3: water absorbing solar energy will increase in heat energy; sent11 & int3 -> int4: the sun has the role of causing water to increase in heat energy; int2 & int4 -> hypothesis;
$proof$ = sent12 & sent11 -> hypothesis;
$proof$ = sent18 & sent24 -> int1: a thunderstorm is a source of precipitation; sent15 & int1 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent21 & sent3 & sent7 & sent11 -> int1: the bowling ball and the floor are kinds of objects; sent1 & int1 & sent10 -> int2: sound is produced when the bowling ball is touched by the floor; sent19 & int2 & sent2 -> hypothesis;
$proof$ = sent15 & sent6 -> hypothesis;
$proof$ = sent24 & sent6 -> hypothesis;
$proof$ = sent19 & sent18 -> int1: the electric motor in the fan causes the vanes in the fan to move; sent15 & int1 -> int2: the electric motor in the fan causes the vanes to move; int2 & sent15 -> int3: a fan is the appliance that causes the vanes to move; int3 & sent19 -> hypothesis;
$proof$ = sent14 & sent15 -> int1: a combustion reaction happens when methane reacts with oxygen gas; int1 & sent3 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: if something converts a resource into heat energy it doesn't use then that something is not using the resource efficiently; sent10 & sent8 -> int2: electrical energy is a kind of resource; sent19 & sent12 -> int3: if something is used for seeing then that something produces the things required for that seeing; int2 & sent1 -> int4: an incandescent light bulb converts electrical energy into heat energy it doesn't use; int3 & sent21 -> int5: a light bulb produces light energy for seeing; int5 & sent16 -> int6: a light bulb produces light energy in the dark; int5 & sent16 -> int7: a light bulb produces light energy for seeing in the dark; int5 & int4 -> int8: a light bulb converts electrical energy into heat energy it doesn't use; int5 & int4 -> int9: a light bulb produces heat energy for seeing by converting electrical energy into heat energy it doesn't use; int1 & int8 -> int10: a light bulb is not using the heat energy it produces efficiently; int7 & int9 -> int11: a light bulb produces heat energy for using in the dark; int11 & int6 -> int12: a light bulb uses a resource to produce heat energy; int10 & int12 & int11 -> hypothesis;
$proof$ = sent16 & sent15 -> hypothesis;
$proof$ = sent20 & sent18 -> int1: coiled wires are a kind of insulated wire; int1 & sent10 -> int2: coiled wire, iron rod, and battery are three parts of an electromaget; sent15 & int2 -> hypothesis;
$proof$ = sent16 & sent1 -> hypothesis;
$proof$ = sent23 & sent3 -> hypothesis;
$proof$ = sent16 & sent25 -> int1: a light bulb generates an electromagnetic wave; sent16 & sent25 -> int2: a light bulb generates electromagnetic waves; sent20 & int2 & int1 -> hypothesis;
$proof$ = sent16 & sent3 -> hypothesis;
$proof$ = sent20 & sent5 -> hypothesis;
$proof$ = sent16 & sent1 -> int1: glass is a kind of medium; sent14 & sent20 -> int2: refraction is when light bends from one medium to another medium; sent17 & sent7 -> int3: light rays pass through a window made of glass; int3 & int1 & int2 -> hypothesis;
$proof$ = sent7 & sent10 -> int1: a prism is made of a kind of material; sent19 & int1 -> int2: a prism is a kind of medium; int2 & sent24 -> int3: when light passes through a prism, it will refract; sent13 & int3 -> hypothesis;
$proof$ = sent8 & sent9 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent5 & sent16 -> hypothesis;
$proof$ = sent5 & sent10 -> int1: hearing can be used for sensing sound by humans; sent6 & int1 -> int2: humans can sense sound through air vibrations; sent22 & int2 -> hypothesis;
$proof$ = sent15 & sent22 -> int1: insense sound energy can move objects by making them vibrate; sent2 & int1 -> int2: a thunder can move objects by making them vibrate through intense sound energy; sent20 & int2 -> int3: a thunder can move a window by making them vibrate through intense sound energy; sent5 & int3 -> hypothesis;
$proof$ = sent1 & sent21 -> int1: saltwater is a substance that has a higher density than freshwater; int1 & sent24 -> int2: saltwater and freshwater have a higher density than each other substance; int1 & sent24 -> int3: saltwater and freshwater have a higher density; int2 & int3 -> int4: sound will travel faster in saltwater than in freshwater; int4 -> hypothesis;
$proof$ = sent10 & sent2 -> hypothesis;
$proof$ = sent14 & sent4 -> int1: a metal spoon is a thermal conductor; sent23 & sent2 -> int2: hot tea is a source of heat; sent24 & int2 -> int3: the hot tea will be a source of heat for the metal spoon; int1 & int3 & sent21 -> hypothesis;
$proof$ = sent16 & sent2 -> int1: friction causes the temperature of a hand to increase; sent20 & int1 -> hypothesis;
$proof$ = sent11 & sent5 -> hypothesis;
$proof$ = sent8 & sent13 -> int1: hot chocolate is a source of heat; sent20 & sent4 -> int2: a spoon is a kind of thermal conductor; sent15 & sent23 -> int3: if a spoon is used to stir hot chocolate then that spoon is touching that hot chocolate; sent21 & int2 -> int4: if a spoon is exposed to a source of heat then that conductor may become hot; int3 & sent25 -> int5: the hot chocolate is touching the spoon; int4 & int1 & int5 -> int6: the hot chocolate may become hot; int6 & sent18 & sent6 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: sunlight is a kind of electromagnetic wave; int1 & sent13 -> int2: sunlight transfers heat and light energy through radiation; int2 & sent8 -> int3: the sun transfers heat and light energy through radiation; sent24 & int3 -> hypothesis;
$proof$ = sent18 & sent20 & sent15 -> hypothesis;
$proof$ = sent22 & sent21 & sent20 -> int1: gas, liquids, and solids are kinds of substances; sent11 & int1 -> int2: gas, liquids, and solids are kinds of matter; int2 & sent8 & sent19 -> hypothesis;
$proof$ = sent25 & sent17 -> hypothesis;
$proof$ = sent11 & sent20 -> int1: transverse waves have objects moving in the opposite direction of the wave; sent20 & sent11 -> int2: transverse waves do not have objects moving in the same direction as longitudinal waves; sent11 & sent20 -> int3: transverse waves do not cause objects to move in the same direction as longitudinal waves; int2 & int1 -> int4: longitudinal waves and transverse waves do not have objects moving in the same direction; int3 & int4 -> int5: longitudinal waves and transverse waves do not cause objects to move in the same direction; int5 & sent17 -> hypothesis;
$proof$ = sent13 & sent24 & sent16 -> int1: two sticks are moving against each other; sent13 & sent24 & sent16 -> int2: the sticks are moving against each other; sent5 & sent25 -> int3: when friction occurs between two objects, both objects' temperatures increase; sent5 & int2 & int1 -> int4: friction occurs when the sticks of two different objects are moving against each other; int3 & int4 & sent2 -> hypothesis;
$proof$ = sent8 & sent21 -> int1: a child is a kind of object; int1 & sent16 -> int2: low friction can cause a child to slip; sent19 & int2 -> hypothesis;
$proof$ = sent7 & sent2 & sent19 -> int1: friction occurs between the rubber ball and the surface it is rolling on; int1 & sent12 & sent22 -> int2: friction will cause the speed of the rubber ball to decrease; sent21 & sent22 & int2 -> hypothesis;
$proof$ = sent9 & sent25 -> int1: the friction on the grass surface will be larger than on the concrete surface; int1 & sent16 -> int2: objects moving on the grass surface will move slower than on the concrete surface; sent24 & int2 -> hypothesis;
$proof$ = sent18 & sent4 & sent3 & sent25 -> int1: friction occurs between the rock and the pond; int1 & sent22 & sent7 -> hypothesis;
$proof$ = sent13 & sent14 -> int1: a soccer ball is a kind of object; int1 & sent1 & sent20 -> hypothesis;
$proof$ = sent6 & sent5 & sent2 -> hypothesis;
$proof$ = sent13 & sent17 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: a magnet can attract a paper clip; int1 & sent10 & sent12 -> hypothesis;
$proof$ = sent25 & sent16 & sent1 -> int1: a wheel and axle, a pulley, and a screw are all kinds of simple machines; sent17 & sent22 & int1 -> int2: a bicycle is made of at least four simple machines; sent15 & int2 -> hypothesis;
$proof$ = sent3 & sent18 & sent20 -> hypothesis;
$proof$ = sent18 & sent20 -> hypothesis;
$proof$ = sent3 & sent12 & sent18 -> hypothesis;
$proof$ = sent16 & sent14 -> hypothesis;
$proof$ = sent24 & sent5 -> hypothesis;
$proof$ = sent16 & sent11 -> int1: reptile is a kind of taxonomic group of animals; int1 & sent14 -> int2: only reptiles have fur; sent6 & int2 -> hypothesis;
$proof$ = sent22 & sent19 -> int1: all species of birds have feathers and wings; sent7 & sent2 & int1 -> int2: all kinds of birds have feathers and wings; sent1 & int2 -> hypothesis;
$proof$ = sent8 & sent20 -> int1: bone structure is a kind of inherited characteristic of animals; sent25 & sent7 -> int2: evolution occurs over a relatively short period of time; int1 & sent21 -> int3: two or more animals have similar bone structure; int2 & int3 -> int4: the bone structure of animals with similar bone structure probably evolved from a common ancestor; sent25 & int4 -> hypothesis;
$proof$ = sent20 & sent24 -> int1: frogs lay eggs; sent11 & sent1 -> int2: laying eggs only occurs during adulthood; int1 & int2 -> int3: frogs only lay eggs during adulthood; sent15 & int3 -> hypothesis;
$proof$ = sent25 & sent10 -> int1: an example of metamorphosis is when a butterfly changes from an immature form to an adult form; sent20 & sent18 -> int2: the adult form of a caterpillar is a butterfly and the immature form of a butterfly is a caterpillar; int2 & int1 -> hypothesis;
$proof$ = sent8 & sent14 -> int1: cell division causes an increase in the number of cells in a living thing; sent18 & sent5 -> int2: things that grow become larger; int1 & sent10 -> int3: cell division causes larger living things to have more cells; sent10 & int2 -> int4: living things that grow become more cells; int3 & int4 -> int5: cell division causes living things to grow larger; int5 & sent21 -> hypothesis;
$proof$ = sent9 & sent15 -> int1: sound can be used for communication by dogs; sent6 & sent9 & sent4 -> int2: some dogs bark to communicate; sent6 & sent4 -> int3: a prarie dog is a kind of animal that barks to communicate; sent22 & int2 & int1 -> int4: dogs can hear dogs barking; int3 & int4 -> hypothesis;
$proof$ = sent9 & sent18 -> int1: webbed feet have a positive impact on aquatic animals' survival; sent1 & int1 -> int2: webbed feet are an adaptation for living in water; int2 -> hypothesis;
$proof$ = sent10 & sent7 -> int1: camouflage can be used for hiding from predators; sent2 & int1 -> hypothesis;
$proof$ = sent13 & sent1 -> int1: an animal having the same color as its environment is a kind of adaptation for hiding in an environment; sent14 & sent6 -> int2: an arctic environment becomes white in the winter; sent25 & sent3 -> int3: an arctic hare is a kind of living thing; int1 & sent7 -> int4: an animal having the same color as its environment is used for hiding in an environment; sent24 & int2 -> int5: a hare and an arctic environment both turn white in the winter; int4 & int3 -> int6: an arctic hare having the same color as its environment is used for hiding; sent2 & int6 -> int7: an arctic hare having the same color as its environment is used for hiding from predators; int5 & int7 -> hypothesis;
$proof$ = sent24 & sent13 -> int1: coloration is a kind of adaptation for hiding in an environment; int1 & sent19 -> int2: an animal's fur is a kind of adaptation for hiding in an environment; sent14 & int2 -> hypothesis;
$proof$ = sent11 & sent3 -> int1: an example of camouflage is organism having the same color as its environment; sent11 & sent3 -> int2: an example of camouflage is an organism having the same color as its environment; sent17 & sent19 -> int3: green leaves in some environments are green; sent12 & sent22 -> int4: an insect is a kind of organism; int4 & int1 & int2 -> int5: an example of camouflage is an insect having the same color as its environment; int5 & int3 -> hypothesis;
$proof$ = sent18 & sent10 -> int1: a predator may avoid bad odors; int1 & sent2 -> int2: producing a bad odor is a kind of method for avoiding predators; sent25 & int2 -> hypothesis;
$proof$ = sent22 & sent8 -> int1: camels use their humps to survive in an environment without food; sent8 & int1 -> int2: camels use their humps to store fat to survive in an environment without food; sent4 & int2 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: spring and winter are kinds of seasons; sent10 & sent21 -> int2: an animal requires warmth for survival in winter; int1 & sent18 -> int3: changing seasons can cause change to the environment; int2 & sent11 -> int4: some animals' fur grows thicker for staying warm in winter; sent11 & int2 -> int5: some animals' fur grows thicker for warmth in winter; sent11 & int2 -> int6: some animals' fur grows thicker for survival in winter; sent19 & int3 -> int7: animals adapt to changes in seasons; sent7 & int4 -> int8: some animals shed fur for warmth in spring; int6 & int8 -> int9: some animals shed fur for warmth in winter; int7 & int5 & int9 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: plants require water in a dry environment; int1 & sent20 -> hypothesis;
$proof$ = sent11 & sent13 -> int1: a cactus spine is used for protection; sent18 & sent15 -> int2: animals have a negative effect on cacti; int2 & sent25 -> int3: a cactus must protect itself from animals; int1 & int3 -> hypothesis;
$proof$ = sent14 & sent9 -> int1: a storm can cause changes to an environment; int1 & sent4 -> int2: a storm can cause the habitat of a living thing to be destroyed; sent17 & int2 -> int3: an animal requires a habitat for survival in a storm; int3 & sent7 & sent18 -> int4: an animal adapting to a storm is required for survival; int3 & sent7 & sent18 -> int5: an animal adapting to a storm is when an animal can live in a habitat; int4 & int5 -> hypothesis;
$proof$ = sent21 & sent5 -> int1: as the genetic variation in an organism decreases, the ability of that organism to adapt to changes in the environment will decrease; sent23 & sent22 -> int2: cheetahs are a kind of species of organism; sent11 & int2 -> int3: cheetahs have a variety of genes; int1 & int3 -> hypothesis;
$proof$ = sent21 & sent24 -> int1: if a fish's habitat ceases to exist then that fish will die; sent1 & sent15 -> int2: if the water in a pond decreases then that pond might cease to exist; sent19 & int2 -> int3: a drought can cause a pond to cease to exist; int3 & sent4 -> int4: a drought can cause fish to live in water; int1 & int4 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: drought is when precipitation decreases in an environment; sent24 & sent18 -> int2: decreasing something that is required for farming has a negative impact on farming; sent13 & sent12 -> int3: farming is when a human plants crops for eating; sent6 & sent9 -> int4: plants require water in an environment to grow; int2 & int3 -> int5: decreasing water used for farming has a negative impact on farming; int4 & int1 -> int6: droughts have a negative impact on crops; int6 & int5 -> hypothesis;
$proof$ = sent12 & sent11 -> int1: sweat is when a substance changes from a liquid into a gas by increasing heat energy; sent22 & sent15 -> int2: when the body is hot, sweat is produced to cool the body; int2 & int1 -> int3: sweat is produced when a substance evaporates; int3 & sent25 -> int4: sweat absorbs heat as it evaporates; sent16 & int4 -> hypothesis;
$proof$ = sent22 & sent7 -> int1: the digestive system absorbs food into the blood stream; int1 & sent18 -> int2: the digestive system absorbs food into the circulatory system through the blood stream; int2 & sent25 -> int3: the circulatory system absorbs food into the circulatory system through the blood stream; int3 & sent9 -> int4: the circulatory system carries food from the digestive systems to the rest of the body; int4 & sent2 -> int5: the circulatory system carries nutrients from the digestive systems to the rest of the body; sent21 & int5 -> hypothesis;
$proof$ = sent11 & sent14 -> int1: red blood cells are a part of the skeletal system that carry oxygen to the body; sent15 & sent4 -> int2: blood is a vehicle for carrying oxygen to the body; sent12 & sent14 -> int3: skeletal system is a part of the body; sent14 & sent12 -> int4: the skeletal system is made of bones; sent8 & int1 -> int5: red blood cells carrying oxygen to the body is an example of the skeletal system interacting with the circulatory system; int2 & sent16 -> int6: the circulatory system carries oxygen from the lungs to the rest of the body; int6 & int3 -> int7: the skeletal system and the circulatory system both carry oxygen to the body; int7 & int5 -> int8: an example of the skeletal system interacting with the circulatory system is red blood cells carrying oxygen to the body; int4 & int8 -> hypothesis;
$proof$ = sent25 & sent21 -> int1: the liver is a part of an animal used for digestion; sent5 & int1 -> int2: losing the liver has a negative impact on the digestive process; sent25 & int2 -> int3: losing the liver has a negative impact on an animal's digestive system; int2 & sent23 -> int4: losing the liver has a negative impact on the digestive system; int3 & int4 -> int5: losing the liver has a negative impact on an animal's survival; sent17 & int5 -> int6: an animal may be unable to survive the loss of their liver; sent2 & int6 -> hypothesis;
$proof$ = sent23 & sent6 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: white blood cells are a kind of cell that are part of the immune system; sent2 & sent1 -> int2: the immune system destroys bacteria once they have invaded the body; int2 & int1 -> int3: white blood cells are a kind of cell that is a part of the immune system which destroys bacteria that enters the body; sent17 & int3 -> hypothesis;
$proof$ = sent24 & sent2 -> int1: decreasing disease-causing microbes has a positive impact on the body; sent2 & sent24 -> int2: decreasing disease-causing microbes has a postive impact on the body; sent20 & sent22 -> int3: specialized cells produce chemicals that destroy disease-causing microbes; int1 & sent8 -> int4: destroying disease-causing microbes has a positive impact on the body; sent12 & int2 -> int5: protecting the body has a positive impact on disease-causing microbes; int5 & int4 -> int6: destroying disease-causing microbes protects the body; int6 & int3 -> hypothesis;
$proof$ = sent14 & sent11 -> int1: the skeletal system is a part of an animal; sent18 & sent6 -> int2: the muscular system is a kind of body system that contains muscles; int1 & int2 -> int3: the muscular system is a part of the body of an animal; sent13 & int3 -> int4: the muscular system of an animal is a part of the body; int4 & sent21 -> int5: the nervous system can be used for controlling the muscles of an animal; sent10 & int5 -> hypothesis;
$proof$ = sent5 & sent24 -> int1: the nervous system contains nerve cells; sent25 & int1 -> int2: the nervous system conducts messages in the body; sent8 & sent3 & int2 -> hypothesis;
$proof$ = sent16 & sent7 -> int1: offspring receive food from their mothers through the placenta; sent18 & int1 -> hypothesis;
$proof$ = sent1 & sent24 -> int1: if two things provide half of something to something else, then that something else will recive a full amount of that something else; sent24 & sent1 -> int2: each sex cell will recive a full amount of chromosomes from a fertilized egg; int1 & sent8 -> int3: fertilized eggs will recive a full set of chromosomes; int3 & sent7 -> int4: fertilized eggs produce offspring with a full set of chromosomes; int2 & int4 -> int5: sex cells with a full set of chromosomes are produced by fertilization; int5 & sent17 -> hypothesis;
$proof$ = sent5 & sent15 -> int1: skin is used to protect the body from germs; sent25 & int1 -> hypothesis;
$proof$ = sent8 & sent6 -> hypothesis;
$proof$ = sent19 & sent4 -> int1: a human cell contains thousands of genes; int1 -> hypothesis;
$proof$ = sent20 & sent19 -> int1: the heart is situated in the abdomen; sent20 & sent19 -> int2: the heart is located in the abdomen; int1 & int2 -> int3: the heart is in the abdomen; sent5 & int3 -> hypothesis;
$proof$ = sent25 & sent4 -> hypothesis;
$proof$ = sent4 & sent8 -> hypothesis;
$proof$ = sent7 & sent16 -> int1: a cell wall is a kind of support for an animal cell; int1 & sent19 & sent9 -> hypothesis;
$proof$ = sent4 & sent23 -> int1: a human egg cell contains 23 chromosomes; sent10 & int1 & sent11 -> hypothesis;
$proof$ = sent25 & sent2 -> hypothesis;
$proof$ = sent25 & sent19 -> hypothesis;
$proof$ = sent14 & sent18 -> int1: if something is used by photosynthesis to make something else, then that something is required to perform photosynthesis; int1 & sent7 -> int2: a plant requires sunlight to perform photosynthesis; sent17 & int2 -> hypothesis;
$proof$ = sent20 & sent23 -> int1: large and flat objects are more exposed to sunlight; sent11 & sent3 -> int2: a leaf requires sunlight to perform photosynthesis; int1 & sent4 -> int3: large and flat objects can absorb sunlight; int3 & sent7 -> int4: leaves are able to absorb sunlight; int4 & int2 -> hypothesis;
$proof$ = sent25 & sent21 -> int1: photosynthesis is a source of food for plants; sent11 & sent3 -> int2: if photosynthesis is a source of something then that photosynthesis is used for making that something; int1 & int2 -> int3: photosynthesis is used for making food for plants; int3 & sent4 -> int4: photosynthesis makes sugar; sent15 & int4 -> hypothesis;
$proof$ = sent9 & sent19 -> int1: carbon dioxide is required for the photosynthesis process; int1 & sent8 & sent4 -> hypothesis;
$proof$ = sent6 & sent7 -> int1: photosynthesis releases oxygen; sent11 & sent10 -> int2: green plants perform photosynthesis; sent18 & sent15 -> int3: an animal requires oxygen to survive; sent12 & sent21 -> int4: taking in oxygen is a kind of method for obtaining oxygen; int2 & sent3 -> int5: producers provide food for themselves / animals / consumers; int4 & int3 -> int6: taking in oxygen is a kind of method for surviving; int1 & int5 -> int7: oxygen is released by producers; int7 & int6 -> int8: oxygen is released by producers and taken in by consumers; sent4 & int8 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: if photosynthesis converts something into something else then that something is used in photosynthesis; sent12 & sent25 -> int2: carbon can be found in the air; int1 & sent22 -> int3: in the photosynthesis process carbon dioxide is used; int2 & int3 -> int4: photosynthesis uses carbon in the air; sent11 & int4 -> int5: photosynthesis is a kind of process that uses carbon in the air; int5 & sent22 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: chlorophyll is a part of sunlight used for absorbing light energy; sent13 & sent4 -> int2: a leaf converts sunlight into sugar; sent16 & sent22 -> int3: chlorophyll is a part of the chloroplast; int2 & sent1 -> int4: a leaf uses sunlight to produce sugar; int1 & int3 -> int5: in the case of plants, chlorophyll is a part of sunlight used for producing sugar; int4 & int5 -> hypothesis;
$proof$ = sent12 & sent5 -> int1: photosynthesis means producers / green plants convert carbon dioxide and water into sugar and oxygen; sent10 & int1 -> hypothesis;
$proof$ = sent22 & sent14 -> int1: if photosynthesis converts something into something else then that something else is produced by photosynthesis; sent13 & int1 -> int2: carbohydrates and food and oxygen are products of photosynthesis; int2 & sent20 -> hypothesis;
$proof$ = sent24 & sent4 -> int1: carbon dioxide is required for the photosynthesis process; sent17 & sent13 -> int2: carbon dioxide can be found in the atmosphere; sent5 & int1 -> int3: carbon dioxide can be used for the photosynthesis process; int2 & sent23 -> int4: carbon dioxide is a kind of gas that can be found in the atmosphere; int3 & sent18 -> int5: carbon dioxide is used by green plants to provide food; sent11 & int5 -> int6: carbon dioxide is used by producers to make food; int6 & int4 -> hypothesis;
$proof$ = sent3 & sent16 -> int1: a flower produces nectar; sent20 & int1 -> hypothesis;
$proof$ = sent10 & sent7 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: pollination is when insects / wind / water carry pollen from one flower to another flower; sent13 & sent20 -> int2: insects / wind / water carry pollen from one flower to another flower; int2 & sent7 -> int3: insects / wind / water carry pollen from one flower to another flower for reproduction; int3 & int1 -> int4: insects / wind / water have a positive impact on pollination; sent1 & int4 -> hypothesis;
$proof$ = sent8 & sent13 -> int1: a blue jay is a kind of animal; sent3 & sent20 -> int2: seed dispersal has a positive impact on a plant by spreading the seeds; sent25 & sent12 -> int3: seed dispersal has a positive impact on a plant / a plant's reproduction; sent18 & int2 -> int4: an example of seed dispersal is an animal hiding / gathering / burying seeds; int3 & int4 -> int5: an animal hiding / gathering seeds has a positive impact on a plant by spreading the seeds; sent9 & int5 -> int6: an animal hiding / gathering seeds has a positive impact on a tree by spreading those seeds; sent1 & int6 & int1 -> int7: a blue jay hiding / gathering acorns has a positive impact on a tree; int7 & sent5 -> hypothesis;
$proof$ = sent15 & sent17 -> int1: seed dispersal has a positive impact on a plant / a plant's reproduction; sent2 & sent3 -> int2: when animals eat seeds those seeds are spread / are dropped / from the parent plant to another area; int1 & sent3 -> int3: animals eating seeds has a positive impact on a plant / a plant's reproduction; sent9 & sent1 & int2 -> int4: bears eat berries that contain seeds; sent9 & int3 & int2 -> int5: bears eating seeds has a positive impact on plants by spreading those seeds; int5 & int4 -> hypothesis;
$proof$ = sent16 & sent5 -> int1: roots are a vehicle for absorbing nutrients from the soil; int1 & sent15 -> int2: roots are a vehicle for absorbing minerals from the soil; sent14 & int2 -> hypothesis;
$proof$ = sent7 & sent11 -> int1: roots absorb water from the soil; int1 & sent21 & sent1 -> hypothesis;
$proof$ = sent5 & sent3 -> hypothesis;
$proof$ = sent4 & sent9 -> int1: a needle is a kind of leaf part of a pine tree; sent7 & sent20 -> int2: photosynthesis is a source of carbohydrates; sent25 & int2 -> int3: leaves of plant are a source of carbohydrates; sent14 & int3 -> int4: carbohydrates are transported from the leaves of a plant to the roots; sent24 & int4 -> int5: carbohydrates are transported from the leaves of a plant to the roots of a tree; int1 & int5 -> int6: carbohydrates are transported from the needles to the roots of a pine tree; sent15 & int6 -> hypothesis;
$proof$ = sent13 & sent5 -> int1: a cow is a kind of living thing; sent22 & sent25 -> int2: all living things have the ability to grow; int1 & sent23 -> int3: a cow and a plant are both kinds of living things; int1 & sent23 -> int4: a cow and a plant are both kinds of plants; int3 & int2 -> int5: all cows and plants have the ability to grow; sent10 & int4 -> int6: a cow and grass are both kinds of plants; sent10 & int4 -> int7: grass and a cow are both kinds of plants; int7 & int6 -> int8: a cow and grass and a cow are both kinds of plants; int5 & int8 -> hypothesis;
$proof$ = sent13 & sent3 -> int1: an increase in water has a positive impact on aquatic animals; sent1 & sent22 -> int2: heavy rains cause flooding; sent22 & sent1 -> int3: flooding increases the amount of water in a body of water; int1 & int3 -> int4: flooding has a positive impact on aquatic animals; sent11 & int4 -> int5: flooding has a positive impact on alligators; int5 & int2 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: eating something is a kind of method for obtaining something; sent25 & sent14 -> int2: eating is a kind of method for obtaining energy; sent25 & sent6 -> int3: absorbing something is a kind of method for getting something; sent6 & sent8 -> int4: a green plant absorbing light is a kind of method for obtaining light; int2 & int1 -> int5: an example of obtaining energy is a frog eating food and a green plant absorbing light; sent4 & int3 -> int6: absorbing light is a kind of method for obtaining energy; sent4 & int3 -> int7: absorbing light is a kind of method for getting energy; int7 & sent8 -> int8: a green plant absorbing light is a kind of method for getting energy; sent8 & int7 -> int9: a green plant absorbing light is a kind of method for obtaining energy; int6 & int9 & int1 -> int10: a green plant eating light is a kind of method for obtaining energy; int10 & int4 & int8 -> int11: a green plant eating light and a green plant absorbing light are both methods for obtaining energy; sent15 & int11 & int5 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: if something does not have the ability to store something then that something is not that something else; sent4 & sent19 -> int2: food is a source of nutrients and energy for living things; int2 & sent17 -> int3: food contains nutrients and energy; int3 & sent13 -> int4: food can store nutrients and energy; int1 & int4 -> hypothesis;
$proof$ = sent19 & sent10 -> int1: a plant takes in carbon dioxide to perform photosynthesis; sent3 & int1 -> int2: a plant requires carbon dioxide for photosynthesis; int2 & sent16 -> int3: a plant requires carbon dioxide to make food for itself; sent23 & int3 -> hypothesis;
$proof$ = sent23 & sent8 -> int1: what an object is made of is a feature of that object; int1 & sent10 -> hypothesis;
$proof$ = sent14 & sent5 -> int1: polar bears require a cold environment; sent11 & sent13 -> int2: a pool is a kind of environment; int1 & int2 -> int3: polar bears require a cold pool; sent3 & int3 -> hypothesis;
$proof$ = sent8 & sent19 -> int1: squirrels and deer and woodpeckers adapt to their environment; sent18 & sent21 -> int2: an animal requires a forest for survival; sent22 & sent17 -> int3: squirrels and woodpeckers live in forests; sent1 & sent25 & int2 -> int4: deer and other animals require forests for survival; int1 & int3 & int4 -> hypothesis;
$proof$ = sent17 & sent15 -> hypothesis;
$proof$ = sent1 & sent11 -> int1: alligators eat animals; sent15 & int1 -> hypothesis;
$proof$ = sent21 & sent8 -> int1: plants are a source of food resource for primary consumers; sent4 & sent16 -> int2: in the food chain process an animal has the role of primary consumer which eats producers for food; int2 & int1 -> int3: in the food chain process an animal eats plants and plants are a source of food for some animals; int3 & sent2 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: a plant requires nutrients in soil to grow and survive; sent6 & sent1 -> int2: decomposers add nutrients to soil using decomposition; int2 & int1 -> int3: decomposers help plants survive and grow by adding nutrients to soil; int3 -> hypothesis;
$proof$ = sent21 & sent16 -> int1: plants are a kind of role in the food chain process; sent25 & sent10 -> int2: a plant requires nutrients in soil to grow; int1 & sent18 -> int3: plants are a role in the food chain process; sent8 & int2 -> int4: nutrients in soil are important to plants; int4 & int3 -> int5: nutrients in soil are important to the food chain; int5 & sent17 -> hypothesis;
$proof$ = sent7 & sent8 -> int1: plants make food for themselves by performing photosynthesis; sent16 & sent6 -> int2: if a plant makes food for itself then that plant does not need to eat other organisms; int1 & sent5 -> int3: plants turn sunlight into food by performing photosynthesis; int2 & int3 -> int4: plants do not need to eat other organisms because plants turn sunlight into food; sent20 & int4 -> hypothesis;
$proof$ = sent6 & sent9 -> int1: green plants make food by performing photosynthesis; sent23 & int1 -> int2: plants make food by performing photosynthesis; sent7 & int2 -> hypothesis;
$proof$ = sent23 & sent7 -> int1: if a large bird dies then the population of that large bird will decrease; sent25 & sent17 -> int2: large birds are predators to small animals and small birds are prey to large birds; sent22 & sent21 -> int3: disease can cause organisms to die; int2 & sent12 -> int4: as the population of large birds decreases the population of small birds will increase; sent7 & int3 -> int5: disease can cause large birds to die; int4 & int5 -> int6: if large birds die because of disease then the number of small birds will increase; int6 & int1 -> hypothesis;
$proof$ = sent20 & sent3 -> int1: roots are a vehicle for taking in oxygen from the soil; sent19 & sent11 -> int2: earthworms loosen the soil; sent2 & int2 -> int3: loose soil increases the amount of oxygen in the soil; int3 & int1 -> hypothesis;
$proof$ = sent1 & sent9 -> int1: if something is required for a process then that something has a positive impact on that process; sent23 & sent12 -> int2: plant reproduction requires pollinating animals; int1 & sent5 -> int3: if something causes a process then that something has a positive impact on that process; int2 & sent4 -> int4: plant reproduction requires pollinating animals to carry pollen; int3 & sent6 -> int5: seed dispersal has a positive impact on plant reproduction; int4 & sent7 -> int6: a bee is a pollinating animal that can carry pollen in plant reproduction; sent20 & int5 -> int7: seed dispersal can have a positive impact on plant reproduction; int6 & int7 -> hypothesis;
$proof$ = sent15 & sent14 -> int1: a fungus and a tree are in a beneficial relationship; int1 -> hypothesis;
$proof$ = sent7 & sent21 -> hypothesis;
$proof$ = sent3 & sent6 & sent14 -> int1: barney has an acquired characteristic on his ear; sent14 & sent15 & int1 & sent17 -> hypothesis;
$proof$ = sent12 & sent9 -> int1: balancing a ball on one's nose is a kind of learned behavior; sent18 & int1 -> hypothesis;
$proof$ = sent2 & sent12 -> int1: acquired characteristics are not passed from parents to offspring; sent4 & int1 -> int2: a scar is not passed from parents to offspring; sent18 & int2 -> hypothesis;
$proof$ = sent20 & sent25 -> int1: pulling a plow is a kind of learned characteristic; sent7 & sent9 -> int2: instinctive behavior is not a kind of learned characteristics; int2 & int1 -> int3: pulling a plow is an instinctive behavior; sent1 & int3 -> hypothesis;
$proof$ = sent13 & sent16 -> int1: looking in a garbage can requires opening the garbage can; sent14 & sent7 -> int2: animals will look for food in places that usually / sometimes contain food; int2 & int1 -> int3: animals will open the garbage can to look for food; sent4 & int3 -> hypothesis;
$proof$ = sent10 & sent17 -> int1: hunting is a kind of learned characteristics; sent23 & int1 -> hypothesis;
$proof$ = sent11 & sent17 -> int1: genes are able to determine the inherited characteristics of an animal; sent20 & int1 -> int2: an animal's genes determine the color of its fur; sent5 & int2 -> hypothesis;
$proof$ = sent18 & sent20 -> int1: the dna used genetic information to make the incorrect protein; sent18 & sent5 -> int2: the dna protein has an incorrect amino acid; sent18 & sent20 -> int3: the dna used genetic information to make the incorrect amino acid; int1 & int3 & int2 -> hypothesis;
$proof$ = sent13 & sent2 -> int1: jessica is a human with recessive trait of light eyes; int1 & sent1 -> hypothesis;
$proof$ = sent4 & sent18 & sent25 -> int1: red colored flowers and white colored flowers are different properties of the same plant; int1 & sent15 & sent11 -> hypothesis;
$proof$ = sent17 & sent19 & sent13 -> int1: the offspring will have 25% probability to have brown fur, 25% to have black fur, and 50% to have white fur; int1 & sent3 -> hypothesis;
$proof$ = sent18 & sent16 -> int1: the trunk of the pecan tree is a part of the pecan tree; sent6 & sent9 -> int2: offspring can inherit the thickness of the parts of an organism from their parent; sent6 & sent9 -> int3: offspring can inherit the thickness of the parts of an organism from their parents; int1 & sent17 & sent6 -> int4: the thick trunk of the pecan tree is an inherited characteristic of pecan trees; int3 & int2 & int4 -> hypothesis;
$proof$ = sent7 & sent6 & sent14 -> int1: cats will inherit inherited characteristics from their parents; sent20 & sent8 & int1 & sent2 -> hypothesis;
$proof$ = sent19 & sent24 -> int1: offspring will inherit the color of fur from parents; int1 & sent3 & sent15 -> hypothesis;
$proof$ = sent4 & sent9 -> hypothesis;
$proof$ = sent17 & sent8 & sent15 -> int1: the sexual reproduction process is prevented in the insects; int1 & sent1 & sent6 -> int2: the reproduction rate in the insects will decrease; sent13 & int2 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: a fruit fly is a kind of insect; sent7 & int1 -> int2: a fruit fly is a kind of animal that reproduces sexually; sent17 & int2 -> int3: a fruit fly reproduces sexually; sent15 & int3 -> hypothesis;
$proof$ = sent23 & sent11 -> int1: fire causes paper to burn; sent6 & int1 -> hypothesis;
$proof$ = sent5 & sent21 -> int1: rusting causes the iron nail to be orange and flaky; sent21 & sent5 -> int2: rusting causes the surface of the iron nail to be orange and flaky; sent20 & int1 & int2 -> int3: a chemical reaction happened on the iron nail; int3 -> hypothesis;
$proof$ = sent21 & sent10 -> hypothesis;
$proof$ = sent20 & sent19 -> hypothesis;
$proof$ = sent22 & sent21 -> hypothesis;
$proof$ = sent19 & sent3 & sent25 -> int1: calcium, carbon, and oxygen are three elements; sent20 & int1 -> int2: calcium carbonate is made of at least three elements; sent8 & int2 -> int3: calcium carbonate is made of at least two elements; sent13 & int3 -> hypothesis;
$proof$ = sent5 & sent12 -> int1: sodium and chlorine are elements; sent20 & int1 -> int2: sodium chloride is made of sodium and chlorine chemically combined; int2 & sent9 -> int3: chemical bonds are formed between sodium and chlorine atoms; int3 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: limestone reacting with acid produces carbon dioxide; sent1 & int1 & sent13 -> int2: a chemical reaction happened between limetone and hydrochloric acid; int2 -> hypothesis;
$proof$ = sent8 & sent16 -> int1: folding a sheet of paper changes the shape of the paper; sent3 & int1 -> hypothesis;
$proof$ = sent25 & sent1 & sent15 -> int1: a phase change is when a substance changes from a solid to liquid; sent10 & int1 -> int2: melting butter is a phase change; int2 & sent3 -> hypothesis;
$proof$ = sent19 & sent5 -> int1: boiling is a kind of physical process; int1 & sent2 & sent4 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: neutrons are part of the nucleus; int1 & sent15 -> hypothesis;
$proof$ = sent24 & sent21 -> int1: small strips of paper can be attracted to static electricity; sent24 & sent14 -> int2: small strips of paper are a kind of object; sent7 & sent1 -> int3: rubbing different materials can cause the electrical charge of the materials to be unbalanced; int2 & int1 -> int4: small strips of paper are an object that can be attracted to static electricity; sent23 & sent18 & int3 -> int5: rubbing wool on rubber can cause the electrical charge of the wool to be unbalanced; int5 & sent5 -> int6: rubbing rubber on wool can cause the electrical charge of the rubber to be unbalanced; int6 & int4 -> hypothesis;
$proof$ = sent7 & sent3 -> int1: equal numbers of protons and electrons result in a neutral 0 electric charge; sent10 & int1 -> int2: equal numbers of protons and electrons and any number of neutrons result in a neutral 0 electric charge; sent17 & int2 -> int3: if an atom has an equal number of protons and electrons then the atom will have a neutral charge; sent9 & int3 -> hypothesis;
$proof$ = sent23 & sent8 -> hypothesis;
$proof$ = sent19 & sent21 -> hypothesis;
$proof$ = sent7 & sent20 & sent10 -> hypothesis;
$proof$ = sent8 & sent25 -> int1: losing electrons changes the electrical charge of an object into positive; sent19 & sent4 -> int2: hair tends to have unbalanced electrical charge after being rubbed with other materials; int2 & sent13 & sent14 -> int3: hair having unbalanced electrical charge causes static electricity; int1 & int3 -> hypothesis;
$proof$ = sent16 & sent13 -> int1: the atom will have 5 protons and 4 electrons; int1 & sent12 & sent22 -> hypothesis;
$proof$ = sent10 & sent23 -> hypothesis;
$proof$ = sent5 & sent15 -> int1: ions are formed during a chemical reaction; sent14 & int1 -> hypothesis;
$proof$ = sent23 & sent11 -> int1: as the kinetic energy of particles increases, the particles will move faster; sent9 & sent10 -> int2: iron is a solid substance; int1 & sent24 -> int3: as the speed of particles in an object increases, the speed of particles in that object will increase; int2 & int3 -> hypothesis;
$proof$ = sent14 & sent15 -> hypothesis;
$proof$ = sent11 & sent24 -> hypothesis;
$proof$ = sent11 & sent4 -> hypothesis;
$proof$ = sent5 & sent2 -> hypothesis;
$proof$ = sent13 & sent9 -> hypothesis;
$proof$ = sent18 & sent11 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: copper is made of one kind of atoms; sent19 & sent11 -> int2: copper is an element made of atoms; int2 & int1 & sent17 -> hypothesis;
$proof$ = sent23 & sent17 -> hypothesis;
$proof$ = sent14 & sent25 & sent13 -> hypothesis;
$proof$ = sent22 & sent2 -> int1: helium, neon, and argon have similar properties; sent13 & int1 & sent9 & sent19 -> hypothesis;
$proof$ = sent21 & sent15 -> hypothesis;
$proof$ = sent4 & sent16 -> hypothesis;
$proof$ = sent11 & sent3 & sent15 -> int1: the water in both pans is the same volume; sent11 & sent3 & sent15 -> int2: the water in both pans has the same volume; int2 & int1 -> int3: the water in both pans will have the same volume; sent25 & int3 -> hypothesis;
$proof$ = sent12 & sent17 -> int1: puddles of water will receive sunlight; int1 & sent16 -> int2: the puddles of water will increase in temperature; sent4 & int2 -> int3: the puddles of water will increase in heat energy; int3 & sent7 & sent6 -> hypothesis;
$proof$ = sent5 & sent21 -> hypothesis;
$proof$ = sent5 & sent12 & sent14 -> int1: the water freezing means water changes from a liquid into a solid by decreasing heat energy; sent25 & int1 -> int2: the water is decreasing in temperature; sent5 & sent8 & int2 -> hypothesis;
$proof$ = sent22 & sent6 & sent12 & sent21 -> int1: the water will change from a liquid to a solid; int1 & sent2 & sent15 -> hypothesis;
$proof$ = sent16 & sent25 -> int1: the ice cube will absorb solar energy; sent3 & sent12 & int1 & sent14 -> hypothesis;
$proof$ = sent15 & sent16 -> int1: the ice cube will absorb solar energy; sent23 & sent19 & int1 & sent13 -> hypothesis;
$proof$ = sent11 & sent1 -> int1: an ice cube is a solid substance; sent10 & int1 -> hypothesis;
$proof$ = sent10 & sent23 -> int1: chocolate is a solid substance; sent20 & int1 -> int2: chocolate changes from a solid to liquid in the sunlight; int2 & sent4 -> int3: the chocolate changes from a solid to liquid in the sunlight; int3 & sent15 & sent14 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: boiling is when a liquid changes from a liquid into a gas by increasing heat energy; int1 & sent25 & sent13 -> hypothesis;
$proof$ = sent3 & sent8 -> int1: heat can increase the motion of molecules in a substance; sent12 & int1 -> hypothesis;
$proof$ = sent22 & sent3 -> hypothesis;
$proof$ = sent23 & sent2 & sent1 -> int1: salt water, plastic, and helium are substances; int1 & sent8 & sent19 -> hypothesis;
$proof$ = sent21 & sent4 & sent5 -> int1: comparing the mass and volume of different objects requires measuring the mass and volume of each object; int1 & sent23 & sent17 -> int2: comparing the mass and volume of different objects requires using a balance and graduated cylinder; sent24 & int2 -> hypothesis;
$proof$ = sent21 & sent6 & sent22 -> hypothesis;
$proof$ = sent22 & sent15 -> int1: comparing the mass of different objects requires measuring the mass of each object; sent7 & int1 & sent18 -> hypothesis;
$proof$ = sent9 & sent18 -> int1: a compass is a kind of invention; sent11 & int1 -> hypothesis;
$proof$ = sent10 & sent24 -> hypothesis;
$proof$ = sent16 & sent11 -> int1: norfolk and richmond are kinds of towns; sent19 & int1 -> int2: norfolk and richmond are kilometers away from each other; int1 & sent19 -> int3: the distance between norfolk and richmond is kilometers; int1 & sent19 -> int4: the distance between norfolk and richmond is kilometer; int3 & int2 & int4 -> hypothesis;
$proof$ = sent4 & sent18 -> int1: kilogram can be used to measure the mass of heavy objects; sent5 & int1 -> hypothesis;
$proof$ = sent7 & sent15 -> int1: water and sand are two substances; int1 & sent8 -> int2: wet sand is made of at least two substances; sent2 & int2 -> hypothesis;
$proof$ = sent23 & sent15 -> int1: sand and clay are solids; int1 & sent21 -> int2: sand and clay are different sized solids; sent12 & int2 -> hypothesis;
$proof$ = sent24 & sent14 -> int1: fruit salad is a kind of mixture; sent20 & sent12 -> int2: fruit salad is made of solids; int1 & int2 -> int3: fruit salad is a mixture of solids; sent21 & int3 -> hypothesis;
$proof$ = sent5 & sent8 -> int1: a tennis ball is buoyant; sent24 & int1 -> hypothesis;
$proof$ = sent21 & sent14 -> int1: grouping rocks by their properties is an example of classifying; sent21 & sent14 -> int2: classifying rocks by their properties is an example of grouping rocks; sent2 & int2 & int1 -> hypothesis;
$proof$ = sent22 & sent11 -> int1: metal is the material that has a higher melting point than other materials; sent1 & int1 -> hypothesis;
$proof$ = sent25 & sent23 -> int1: different materials usually have different conductivity properties; sent23 & sent18 -> int2: conductivity is a property of objects; sent10 & int1 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: iron nails are magnetic; sent22 & sent3 -> int2: iron nails are made of metal; int2 & sent23 & sent6 -> int3: iron nail can conduct electricity and heat; int1 & int3 -> hypothesis;
$proof$ = sent4 & sent25 -> hypothesis;
$proof$ = sent16 & sent20 -> hypothesis;
$proof$ = sent19 & sent20 -> int1: cutting diamond requires measuring length; sent17 & int1 -> hypothesis;
$proof$ = sent16 & sent15 -> hypothesis;
$proof$ = sent2 & sent17 -> int1: a metal spoon is a kind of thermal conductor; int1 & sent9 -> int2: if a metal spoon is exposed to a source of heat, then the metal spoon may become hot; int1 & sent9 -> int3: if a metal spoon is exposed to a source of heat, then that conductor may become hot; int2 & int3 -> hypothesis;
$proof$ = sent12 & sent18 -> hypothesis;
$proof$ = sent7 & sent25 -> int1: ice is a solid in state; sent7 & sent10 -> int2: ice is a solid object; sent10 & sent17 -> int3: the mass of ice is a measure of the amount of matter in ice; int1 & sent10 -> int4: ice is a solid object in state of matter; int4 & int2 -> int5: ice is a solid in state of matter; int5 & int3 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: salt and sugar crystals have different shapes; sent19 & int1 -> hypothesis;
$proof$ = sent24 & sent25 -> int1: touch is a kind of sense that can be used for detecting texture; sent7 & int1 -> hypothesis;
$proof$ = sent21 & sent12 -> int1: matter in gas phase has variable volume and variable shape; sent13 & int1 -> hypothesis;
$proof$ = sent5 & sent7 -> hypothesis;
$proof$ = sent22 & sent14 -> hypothesis;
$proof$ = sent3 & sent11 -> int1: as the ability to preserve food increases, the ability to transport food increases; sent19 & int1 -> int2: if the transportation technology for food increases, then the available types of food in distant locations will increase; sent6 & int2 -> hypothesis;
$proof$ = sent18 & sent19 & sent16 -> hypothesis;
$proof$ = sent22 & sent15 -> int1: airport runways are kinds of pathways for airplanes; int1 & sent21 -> hypothesis;
$proof$ = sent3 & sent15 -> int1: a camera can be used for observing things; sent11 & sent17 -> int2: a forest contains lots of trees; int2 & sent18 -> int3: the trees in the forest are part of an ecosystem; int2 & sent18 -> int4: lots of trees are part of a forest ecosystem; int1 & int4 & int3 -> hypothesis;
$proof$ = sent19 & sent6 -> hypothesis;
$proof$ = sent19 & sent15 -> hypothesis;
$proof$ = sent15 & sent10 -> int1: if heat is transferred from a liquid to the environment, then the temperature of the liquid will decrease; sent1 & int1 -> int2: if heat of a liquid is transferred to the environment, then the temperature of the liquid will decrease; sent12 & int2 -> hypothesis;
$proof$ = sent12 & sent14 -> hypothesis;