$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$ = sent20 & sent21 -> int1: light year can be used to measure the distance between stars; sent19 & sent23 -> int2: the milky way is made of stars; int2 & int1 -> hypothesis;
$proof$ = sent12 & sent8 -> int1: comets orbit the sun in an elliptical path; sent15 & int1 & sent14 -> hypothesis;
$proof$ = sent20 & sent10 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: the earth revolves around a planet; sent25 & int1 -> 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 & sent5 -> int1: the sun is a source of light energy; sent3 & int1 -> 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 & sent13 -> 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$ = sent9 & sent13 -> int1: as the mass of a celestial object decreases, the surface gravity of that celestial object will decrease; int1 & sent11 -> int2: the surface gravity on earth will be less than on the moon because earth has more mass than the moon; sent12 & sent9 -> int3: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; int2 & int3 -> int4: an object weighs more on earth than on the moon because earth has more mass than the moon; sent24 & int4 -> int5: an object will weigh more on earth than on the moon because the surface gravity on the moon is less than the surface gravity on the earth; sent15 & int5 -> hypothesis;
$proof$ = sent24 & sent2 & sent1 -> int1: detailed observation of the moon requires a telescope; sent6 & int1 -> hypothesis;
$proof$ = sent22 & sent1 -> int1: the moon phases the earth once per month; int1 & sent9 -> int2: the moon phases the earth approximately once per week; sent12 & int2 -> 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$ = sent9 & sent8 -> hypothesis;
$proof$ = sent4 & sent10 -> hypothesis;
$proof$ = sent3 & sent15 -> hypothesis;
$proof$ = sent9 & sent18 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: the sun is made of gases; sent22 & sent2 -> int2: stars are hot in temperature; int2 & int1 -> int3: the sun is hot in temperature and the largest celestial body in the solar system; sent21 & int3 -> 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$ = sent4 & sent17 -> int1: precipitation and infiltration are stages in the water cycle; int1 & sent6 -> hypothesis;
$proof$ = sent15 & sent10 -> 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$ = sent22 & sent7 -> int1: the formation of diamonds requires intense heat; int1 & sent10 -> int2: the formation of diamonds occurs deep beneath the earth's crust; sent13 & int2 -> hypothesis;
$proof$ = sent10 & sent2 -> hypothesis;
$proof$ = sent7 & sent14 -> hypothesis;
$proof$ = sent25 & sent9 -> hypothesis;
$proof$ = sent14 & sent25 -> int1: sedimentary and metamorphic are classes of rock; sent10 & int1 -> int2: formation in the rock cycle can mean sedimentary rock changes into metamorphic rock; sent6 & sent4 -> int3: sedimentary rocks can contain fossils; int3 & int2 -> int4: in the rock cycle, sedimentary rocks can contain fossils and metamorphic rocks do not contain fossils; sent22 & int1 -> int5: formation in the rock cycle can mean sedimentary rock changes into metamorphic rock; sent2 & int5 -> int6: the formation of metamorphic rock is a sequential process; int6 & sent13 -> int7: if something causes metamorphic rock then that something is required for that metamorphic rock; sent7 & int4 -> int8: in the rock cycle, fossils are not found and metamorphic rocks do not contain fossils; int7 & sent12 -> int9: metamorphic rock requires sedimentary rock for formation; int9 & int8 -> int10: fossils are not found in the rock cycle and metamorphic rocks do not contain fossils; sent17 & int10 -> hypothesis;
$proof$ = sent24 & sent10 -> int1: in the rock cycle, the mass of old rocks stays the same; int1 & sent23 -> int2: in the rock cycle, the mass of new rocks stays the same; sent20 & sent1 -> int3: the earth is made of rock; int3 & int2 -> int4: in the rock cycle, the mass of earth's surface stays the same; sent2 & sent22 -> int5: temperature changing can change the mass of something; int5 & int4 -> int6: temperature changing can change the mass of earth's surface; sent13 & sent20 -> int7: the earth's surface is made of rock; sent16 & int7 -> int8: the class of rock changing on earth is a kind of earth process; sent25 & sent15 -> int9: as the earth processes change, the total amount of matter on earth will stay the same; int8 & int6 -> int10: temperature changing on earth is a kind of earth process; sent1 & int9 -> int11: as the earth processes change, the total amount of material on earth will stay the same; int10 & int11 -> hypothesis;
$proof$ = sent23 & sent17 -> int1: a rock contains minerals; sent21 & sent1 -> int2: something can be identified by the components it contains; int1 & int2 -> 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$ = sent7 & sent18 -> int1: sand is a kind of small particle; int1 & sent17 -> int2: a rock is made of small particles of sand; sent10 & sent13 & sent9 -> int3: light and dark are different colors; int3 & sent15 & int2 -> int4: the rock has light-colored layers and dark-colored layers; sent8 & sent5 -> int5: sedimentary rocks are formed by sediments compacting and cementing together; int5 & sent25 -> int6: sedimentary rocks are made of small particles of sand; int4 & int6 -> 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$ = sent13 & sent9 -> int1: plants are a kind of organism; int1 & sent3 -> int2: forming fossil fuels requires deposition and burial of decaying plants; sent12 & sent15 -> int3: fossil fuels forming occurs a very long time ago; int3 & sent16 -> int4: fossil fuels forming occurs prehistorically; int2 & int4 -> int5: prehistoric decaying plants help in the formation of fossil fuels; sent24 & sent23 & sent4 -> int6: coal and oil and gas are kinds of fossil fuels; int5 & int6 -> 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$ = sent18 & sent8 -> int1: if something impacts the earth's atmosphere then that something has a significant impact on the earth; sent13 & sent15 -> int2: burning fossil fuels is a source of pollution; int2 & sent2 -> int3: burning fossil fuels releases pollutant; int3 & sent19 -> int4: the use of fossil fuels causes global warming; sent25 & sent23 -> int5: global warming is when the temperature of the earth increases; int1 & int5 -> int6: global warming has a significant impact on the earth's atmosphere; int4 & int6 -> int7: use of fossil fuels has a significant impact on the earth's atmosphere; sent22 & sent11 -> int8: carbon dioxide comes from a source of gas; int7 & int8 -> hypothesis;
$proof$ = sent5 & sent23 -> int1: gases released during the use of fossil fuels contributes to global warming; sent2 & int1 -> hypothesis;
$proof$ = sent22 & sent9 -> int1: coal and gasoline are kinds of fossil fuels; int1 & sent8 -> int2: burning fossil fuels is a kind of human activity; sent15 & sent25 -> int3: burning fossil fuels is the source of sulfur dioxide; sent16 & int3 -> int4: burning fossil fuels is the source of acid rain; sent18 & int4 -> int5: burning fossil fuels contributes to the formation of acid rain; int2 & int5 -> hypothesis;
$proof$ = sent4 & sent17 -> hypothesis;
$proof$ = sent17 & sent9 -> int1: surface mining removes vegetation above the coal; sent22 & int1 -> int2: surface mining is a kind of change; sent24 & int2 -> int3: surface mining has an impact on the lithosphere; sent1 & sent20 -> int4: the biosphere is a part of the lithosphere; sent15 & int3 & int4 -> 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$ = sent6 & sent15 -> int1: energy from ocean tides is a kind of renewable resource; sent2 & int1 -> hypothesis;
$proof$ = sent7 & sent3 -> int1: wood boards are made of a renewable resource; sent23 & sent19 -> int2: building materials are used to build houses; int2 & sent17 -> int3: wood boards are used to build houses; int3 & int1 -> int4: wood boards are a kind of building material that is made of a renewable resource; sent8 & int4 -> hypothesis;
$proof$ = sent22 & sent16 -> int1: irrigation can decrease the amount of nutrients in soil; int1 & sent13 -> int2: increasing irrigation can deplete the nutrients in soil; int2 & sent10 & sent11 -> hypothesis;
$proof$ = sent3 & sent22 -> int1: increasing erosion rates can mean increasing the rate at which erosion occurs; sent23 & sent17 -> int2: overgrazing can cause desertification of the land; sent6 & int2 -> int3: overgrazing results in desertification; int1 & 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; sent6 & sent14 -> int2: cut trees are needed to make paper; sent1 & int2 -> int3: cut trees are a kind of resource that are needed to make paper; int3 & sent25 -> int4: recycling reduces the amount of trees that are cut; int1 & int4 -> 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; sent17 & int1 & sent3 -> int2: water that has salt removed is seawater; sent24 & sent17 -> int3: seawater is a source of salt; int3 & int2 -> 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$ = sent21 & sent5 -> int1: cutting down trees in a forest changes that forest; sent2 & sent20 -> int2: humans build trails by cutting down trees; sent1 & sent13 -> int3: humans changing a forest has a negative impact on that forest; int1 & int3 -> int4: humans cutting down trees in a forest has a negative impact on that forest; int4 & int2 -> int5: humans building trails by cutting down trees has a negative impact on that forest; sent16 & sent1 -> int6: forests on earth contain many ecosystems; int6 & int5 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: runoff from a cropland has a negative impact on water quality; sent11 & sent10 -> int2: runoff from a cropland into a lake has a negative impact on water quality; sent24 & int2 & int1 -> 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$ = sent6 & sent16 -> int1: recycling resources has a positive impact on the conservation of resources; sent22 & int1 -> int2: a compost pile helps conserve resources by recycling those resources; sent24 & sent10 -> int3: a bean plant is a kind of resource; int3 & int2 -> hypothesis;
$proof$ = sent7 & sent13 -> int1: conserving water requires using less water; int1 & sent20 -> int2: using less water means conserving water; sent11 & sent6 -> int3: as time spent taking a shower decreases, the amount of water used will decrease; int3 & int2 -> 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$ = sent6 & sent8 -> int1: toxic chemicals can cause harm to organisms; sent10 & int1 -> int2: toxic chemicals can cause organisms to die; sent1 & sent24 -> int3: a pond is a kind of organism; sent5 & int3 & int2 -> int4: toxic chemicals can cause fish in a pond to die; sent25 & 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$ = sent12 & sent20 -> int1: an earthquake can change earth's surface rapidly; sent10 & sent4 -> int2: an earthquake usually occurs within 10 to 30 seconds; int1 & int2 -> hypothesis;
$proof$ = sent13 & sent14 -> hypothesis;
$proof$ = sent7 & sent11 -> hypothesis;
$proof$ = sent19 & sent16 & sent6 -> hypothesis;
$proof$ = sent14 & sent2 -> int1: ocean water level rising causes salt water to flood coastal area; sent9 & int1 -> int2: ocean water level rising causes coastal wetlands to be affected by salt water; sent1 & int2 -> hypothesis;
$proof$ = sent7 & sent11 -> hypothesis;
$proof$ = sent14 & sent1 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: nearly all fossils are found in limestone; int1 & sent15 -> int2: limestone is a kind of calcium carbonate deposit; sent22 & sent8 -> int3: the lithosphere is made of sedimentary rock; int3 & sent16 -> int4: fossils can be found in the lithosphere; int2 & int4 & 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; int1 & sent16 -> int2: a decrease of soil thickness has a negative impact on a tree's survival; sent9 & int2 -> int3: a decrease of soil thickness has a negative impact on trees' survival; sent13 & int3 -> 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$ = sent2 & sent16 -> int1: a weather balloon is a kind of flexible container; sent5 & int1 -> int2: a weather balloon is a kind of highly flexible container; int2 & sent22 -> int3: as air pressure surrounding the weather balloon decreases, the weather balloon will expand; sent9 & int3 -> 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$ = sent4 & sent12 -> int1: forming a hurricane requires cool ocean waters; sent3 & int1 -> hypothesis;
$proof$ = sent22 & sent10 -> hypothesis;
$proof$ = sent2 & sent14 -> int1: evaporation of water will follow collection in bodies of water; sent7 & int1 & sent4 -> hypothesis;
$proof$ = sent13 & sent4 -> int1: evaporation of water means water changes from a liquid into a gas by increasing heat energy; sent10 & sent10 -> int2: the sun's energy is warming up ocean water; int1 & int2 -> int3: the water in the ocean is heating; sent1 & int3 -> hypothesis;
$proof$ = sent25 & sent1 -> int1: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; sent11 & int1 -> int2: evaporation of water causes the amount of water to decrease; sent22 & sent12 -> int3: absorbing the energy from the sun will cause objects to heat; int2 & sent5 -> int4: when water evaporates, the water will disappear; sent15 & int4 & int3 -> hypothesis;
$proof$ = sent17 & sent13 & sent25 -> int1: water absorbing solar energy will increase in temperature; int1 & sent3 -> int2: water absorbing solar energy will increase in heat energy; sent11 & int2 -> int3: the sun has the role of causing water to increase in heat energy; sent17 & sent12 -> int4: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int4 & int3 -> 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: an electric motor in the fan causes the vanes to move; int3 & sent15 -> int4: a fan is the appliance that causes the vanes to move; int4 & sent19 -> hypothesis;
$proof$ = sent15 & sent14 & sent13 -> int1: a combustion reaction happens between methane and oxygen; sent3 & int1 -> hypothesis;
$proof$ = sent19 & sent12 -> int1: if something is used for seeing then that something produces the things required for that seeing; int1 & sent21 -> int2: a light bulb produces light energy for seeing; int2 & sent16 -> int3: a light bulb produces light energy in the dark; sent4 & sent24 -> int4: if something converts a resource into heat it doesn't use then that something is not using that resource efficiently; int3 & sent1 -> int5: the incandescent light bulb converts electrical energy into light energy and heat energy; sent10 & sent8 -> int6: electrical energy is a kind of resource; int5 & int6 -> int7: the incandescent light bulb uses a resource to produce light energy and heat energy; sent15 & int7 -> int8: the light bulb does not use the heat energy produced by the light bulb; int4 & int5 -> int9: the incandescent light bulb is not using the heat energy it produces efficiently; int9 & int8 -> 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; sent18 & sent20 & int1 -> hypothesis;
$proof$ = sent16 & sent3 -> hypothesis;
$proof$ = sent20 & sent5 -> hypothesis;
$proof$ = sent10 & sent16 -> int1: air and glass are kinds of materials; sent18 & int1 -> int2: light rays pass through air and glass; int2 & sent17 & sent7 -> int3: the light rays pass through a glass window; sent1 & sent20 -> int4: refraction happens when light passes from one medium to another medium; int4 & sent14 -> int5: refraction happens when light bends from one medium to another medium; int3 & int5 -> hypothesis;
$proof$ = sent10 & sent19 -> int1: a prism is made of a kind of material; sent7 & 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: the molecules in saltwater will be closer than those in freshwater; int2 & sent15 -> int3: the molecules in saltwater will be closer than in freshwater; sent16 & int3 -> int4: the speed of sound will increase in saltwater than in freshwater; sent25 & int4 -> hypothesis;
$proof$ = sent10 & sent2 -> hypothesis;
$proof$ = sent23 & sent2 -> int1: hot tea is a source of heat; sent24 & int1 -> int2: the hot tea will be a source of heat for the metal spoon; sent14 & sent4 -> int3: a metal spoon is a thermal conductor; int3 & int2 & sent21 -> hypothesis;
$proof$ = sent16 & sent2 -> int1: friction causes the temperature of a hand to increase; sent20 & int1 -> hypothesis;
$proof$ = sent11 & sent5 -> hypothesis;
$proof$ = sent15 & sent23 -> int1: if a spoon is used to stir hot chocolate then that spoon is touching that hot chocolate; sent20 & sent4 -> int2: a spoon is a kind of thermal conductor; sent8 & sent13 -> int3: hot chocolate is a source of heat; int1 & sent25 -> int4: the hot chocolate is touching the spoon; sent21 & int2 -> int5: if a spoon is exposed to a source of heat then that conductor may become hot; int5 & int3 & int4 -> 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; sent8 & sent19 -> int3: longitudinal waves can travel through matter; int2 & int3 -> hypothesis;
$proof$ = sent25 & sent17 -> hypothesis;
$proof$ = sent11 & sent20 -> int1: transverse waves have objects moving in the opposite direction of the wave; sent17 & int1 -> int2: sound is a transverse wave; sent6 & int2 -> hypothesis;
$proof$ = sent13 & sent24 & sent16 -> int1: two sticks are moving against each other; sent5 & int1 & sent2 -> int2: friction occurs when two sticks are moving against each other; int2 & sent25 -> hypothesis;
$proof$ = sent21 & sent8 -> int1: a child is a kind of object; sent19 & int1 -> hypothesis;
$proof$ = sent19 & sent2 -> int1: the rubber ball is moving on a surface; int1 & sent7 & sent22 -> int2: friction occurs between the rubber ball and the surface of the road; int2 & sent12 & sent22 -> int3: friction will cause the speed of the rubber ball to decrease; sent21 & sent22 & int3 -> hypothesis;
$proof$ = sent9 & sent25 -> int1: the friction on the grass surface will be larger than on the concrete surface; sent16 & sent8 & int1 -> int2: objects moving on the grass surface will move faster than on the concrete surface; sent24 & int2 -> hypothesis;
$proof$ = sent3 & sent18 & sent25 -> int1: friction occurs between the rock and the frozen pond; sent22 & int1 & 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 & sent1 & sent22 -> int1: a lever, wheel and axle, pulley, and screw are all kinds of simple machines; sent17 & int1 -> int2: a bicycle is made of at least four simple machines; sent15 & int2 -> hypothesis;
$proof$ = sent10 & sent3 & sent18 -> int1: the speed of the sailboat is a measure of distance travelled by the sailboat divided by time; int1 & sent20 -> hypothesis;
$proof$ = sent18 & sent20 -> hypothesis;
$proof$ = sent3 & sent12 & sent18 -> hypothesis;
$proof$ = sent16 & sent8 & 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; int1 & sent21 -> int2: two or more animals have similar bone structure; sent25 & sent7 -> int3: evolution occurs over a relatively short period of time; int3 & int2 -> int4: the bone structure of animals with similar bone structure probably evolved from a common ancestor; sent25 & int4 -> hypothesis;
$proof$ = sent1 & sent11 -> int1: laying eggs only occurs during adulthood; sent20 & sent24 -> int2: frogs lay eggs; int2 & int1 -> int3: frogs only lay eggs during adulthood; sent15 & int3 -> hypothesis;
$proof$ = sent20 & sent18 -> int1: the adult form of a caterpillar is a butterfly and the immature form of a butterfly is a caterpillar; sent25 & sent10 -> int2: an example of metamorphosis is when a butterfly changes from an immature form to an adult form; int1 & int2 -> hypothesis;
$proof$ = sent18 & sent5 -> int1: things that grow larger become more cells; sent10 & int1 -> int2: larger living things become more cells; sent21 & int2 -> int3: larger living things produce more cells; sent2 & int3 -> int4: cell division causes more cells to be produced in a living thing; sent8 & sent14 -> int5: cell division causes an increase in the number of cells in a living thing; int5 & int4 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: some prarie dogs bark to communicate; sent9 & sent15 -> int2: sound can be used for communication by dogs; int1 & int2 -> int3: some prarie dogs use sound for communication; sent22 & int3 -> hypothesis;
$proof$ = sent6 & sent24 -> int1: aquatic animals live in water; int1 & sent9 -> int2: moving fast in water has a positive impact on aquatic animals' survival; int2 & sent18 -> int3: webbed feet have a positive impact on aquatic animals' survival; sent1 & int3 -> int4: webbed feet are an adaptation for living in water; int4 -> 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; int1 & sent7 -> int2: an animal having the same color as its environment is used for hiding in an environment; sent25 & sent3 -> int3: an arctic hare is a kind of living thing; int2 & int3 -> int4: an arctic hare having the same color as its environment is used for hiding; sent14 & sent6 -> int5: an arctic environment becomes white in the winter; sent24 & int5 -> int6: a hare and an arctic environment both turn white in the winter; sent2 & int4 -> int7: an arctic hare having the same color as its environment is used for hiding from predators; int6 & 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$ = sent12 & sent22 -> int1: an insect is a kind of organism; sent11 & sent3 -> int2: an example of camouflage is organism having the same color as its environment; sent17 & sent19 -> int3: green leaves are common in some environments; int1 & int2 & 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 humps are used for storing fat; sent4 & sent15 -> int2: an example of an adaptation is developing a trait over time for survival; int2 & sent24 -> int3: an example of an adaptation is an organism developing a trait over time for survival; int3 & int1 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: spring and winter are kinds of seasons; int1 & sent18 -> int2: changing seasons can cause change to the environment; sent10 & sent21 -> int3: an animal requires warmth for survival in winter; int3 & sent11 -> int4: some animals' fur grows thicker for staying warm in winter; sent19 & int2 -> int5: animals adapt to changes in seasons; sent7 & int4 -> int6: some animals shed fur for warmth in spring; int5 & int6 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: plants require water in a dry environment; int1 & sent20 -> hypothesis;
$proof$ = sent24 & sent16 -> int1: animals have a negative impact on cacti; int1 & sent25 -> int2: a cactus must protect itself from animals; sent11 & sent13 -> int3: a cactus spine is used for protection; int3 & int2 -> 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; sent24 & sent5 -> int5: if something has a positive impact on the survival of an animal then that animal is likely going to survive; int4 & int5 -> hypothesis;
$proof$ = sent23 & sent22 -> int1: cheetahs are a kind of species of organism; sent11 & int1 -> int2: cheetahs have a variety of genes; sent21 & sent5 -> int3: as the genetic variation in an organism decreases, the ability of that organism to adapt to changes in the environment will decrease; int3 & int2 -> hypothesis;
$proof$ = sent1 & sent15 -> int1: if the water in a pond decreases then that pond might cease to exist; sent19 & int1 -> int2: a drought can cause a pond to cease to exist; int2 & sent4 -> int3: a drought can cause fish to live in water; sent21 & sent24 -> int4: if a fish's habitat ceases to exist then that fish will die; int4 & int3 -> 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; sent6 & sent9 -> int3: plants require water in an environment to grow; int3 & int1 -> int4: droughts have a negative impact on crops; sent12 & sent13 -> int5: farming is when a human plants crops for eating; int2 & int5 -> int6: decreasing water used for farming has a negative impact on farming; int4 & int6 -> 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$ = sent15 & sent4 -> int1: blood is a vehicle for carrying oxygen to the body; int1 & sent16 -> int2: the circulatory system carries oxygen from the lungs to the rest of the body; sent12 & sent14 -> int3: skeletal system is a part of the body; int2 & int3 -> int4: the skeletal system and the circulatory system both carry oxygen to the body; sent11 & sent14 -> int5: red blood cells are a part of the skeletal system that carry oxygen to the body; sent8 & int5 -> int6: red blood cells carrying oxygen to the body is an example of the skeletal system interacting with the circulatory system; int4 & int6 -> int7: an example of the skeletal system interacting with the circulatory system is red blood cells carrying oxygen to the body; sent14 & sent12 -> int8: the skeletal system is made of bones; int8 & int7 -> hypothesis;
$proof$ = sent23 & 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 process; sent24 & sent2 -> int4: a human is a kind of organism; int3 & sent9 -> 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; int4 & 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; int1 & int2 -> 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; int1 & sent8 -> int2: destroying disease-causing microbes has a positive impact on the body; sent12 & int2 -> int3: protecting the body has a positive impact on a living thing's survival; sent22 & sent20 -> int4: specialized cells produce chemicals that destroy disease-causing microbes; int3 & int4 -> hypothesis;
$proof$ = sent11 & sent14 -> 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; int2 & sent3 -> int3: the nervous system conducts observations in the form of electrical signals; sent8 & sent13 -> int4: an organ system is made of parts of the body working together; int4 & int3 -> 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; int1 & sent8 -> int2: fertilized eggs will recive a full set of chromosomes; int2 & sent17 -> hypothesis;
$proof$ = sent5 & sent15 -> int1: skin is used to protect the body from germs; sent25 & int1 -> hypothesis;
$proof$ = sent8 & sent6 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: a human contains thousands of genes; sent20 & int1 -> hypothesis;
$proof$ = sent20 & sent19 -> int1: the heart is situated in the abdomen; sent5 & int1 -> hypothesis;
$proof$ = sent25 & sent4 -> hypothesis;
$proof$ = sent4 & sent8 -> hypothesis;
$proof$ = sent9 & sent19 -> int1: the skeletal system of animals has the similar function; int1 & sent7 -> hypothesis;
$proof$ = sent4 & sent23 -> int1: a human egg cell contains 23 chromosomes; int1 & sent11 & sent10 -> 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$ = sent23 & sent4 -> int1: objects that are large and flat are ideal for absorbing sunlight; int1 & sent20 -> int2: large and flat objects absorb sunlight; sent7 & int2 -> int3: leaves are able to absorb sunlight; sent11 & sent3 -> int4: a leaf requires sunlight to perform photosynthesis; int3 & int4 -> 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; sent4 & sent8 -> int2: taking in something is a step in the photosynthesis process; int1 & int2 -> hypothesis;
$proof$ = sent12 & sent21 -> int1: taking in oxygen is a kind of method for obtaining oxygen; sent6 & sent7 -> int2: photosynthesis releases oxygen; sent11 & sent10 -> int3: green plants perform photosynthesis; int3 & sent3 -> int4: producers provide food for themselves / animals / consumers; int2 & int4 -> int5: oxygen is released by producers; sent18 & sent15 -> int6: an animal requires oxygen to survive; int1 & int6 -> int7: taking in oxygen is a kind of method for surviving; int5 & int7 -> int8: oxygen is released by producers and taken in by consumers; sent4 & int8 -> hypothesis;
$proof$ = sent12 & sent25 -> int1: carbon in the air can be found in the air; sent19 & sent11 -> int2: if photosynthesis converts something into something else then that something is used in photosynthesis; int2 & sent22 -> int3: in the photosynthesis process carbon in the air is used; int3 & int1 -> int4: photosynthesis is a kind of process that uses carbon in the air; int4 & sent22 -> hypothesis;
$proof$ = sent13 & sent4 -> int1: a leaf converts sunlight into sugar; int1 & sent1 -> int2: a leaf uses sunlight to produce sugar; sent16 & sent22 -> int3: chlorophyll is a part of the chloroplast; sent3 & sent9 -> int4: chlorophyll is a part of sunlight used for absorbing light energy; int4 & int3 -> int5: in the case of plants, chlorophyll is a part of sunlight used for producing sugar; int2 & 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$ = sent18 & sent11 -> int1: producers must make food; sent24 & sent4 -> int2: carbon dioxide is required for the photosynthesis process; sent17 & sent13 -> int3: carbon dioxide can be found in the atmosphere; sent5 & int2 -> int4: carbon dioxide can be used for the photosynthesis process; int3 & sent23 -> int5: carbon dioxide is a kind of gas that can be found in the atmosphere; int4 & int1 -> int6: carbon dioxide is used by producers to make food; int6 & int5 -> hypothesis;
$proof$ = sent3 & sent16 -> int1: a flower produces nectar; sent20 & int1 -> hypothesis;
$proof$ = sent10 & sent7 -> hypothesis;
$proof$ = sent3 & sent18 -> int1: if something is a part of a process then that something positively impacts that process; int1 & sent20 -> int2: pollinating animals / wind / water have a positive impact on pollination; int2 & sent13 & sent1 -> hypothesis;
$proof$ = sent8 & sent13 -> int1: a blue jay is a kind of animal; sent25 & sent12 -> int2: seed dispersal has a positive impact on a plant / a plant's reproduction; sent3 & sent20 -> int3: seed dispersal has a positive impact on a plant by spreading the seeds; sent18 & int3 -> int4: an example of seed dispersal is an animal hiding / gathering / burying seeds; int2 & 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; int1 & sent3 -> int2: animals eating seeds has a positive impact on a plant / a plant's reproduction; sent9 & sent1 & int2 -> int3: bears eating berries that contain seeds has a positive impact on plants; sent2 & int3 -> 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$ = sent7 & sent20 -> int1: photosynthesis is a source of carbohydrates; sent25 & int1 -> int2: leaves of plant are a source of carbohydrates; sent14 & int2 -> int3: carbohydrates are transported from the leaves of a plant to the roots; sent4 & sent9 -> int4: a needle is a kind of leaf part of a pine tree; sent24 & int3 -> int5: carbohydrates are transported from the leaves to the roots of a plant; int5 & int4 -> 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; sent23 & sent10 -> int2: grass is a kind of living thing; int2 & int1 -> int3: a cow and grass both have the same trait; sent22 & int3 -> hypothesis;
$proof$ = sent13 & sent3 -> int1: an increase in water has a positive impact on aquatic animals; sent22 & sent1 -> int2: heavy rains cause bodies of water to increase amount of water they contain; int2 & sent19 -> int3: flooding increases the amount of water in bodies of water; int1 & int3 -> int4: flooding has a positive impact on aquatic animals; int4 & sent11 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: eating something is a kind of method for obtaining something; int1 & sent6 -> int2: an example of obtaining something is a frog eating food and a green plant absorbing light; sent8 & sent4 -> int3: a green plant absorbs light to provide energy; int3 & int2 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: food is a source of nutrients and energy for living things; int1 & sent17 -> int2: food contains nutrients and energy; int2 & sent13 -> int3: food contains the ability to store nutrients and energy; sent9 & int3 -> int4: food contains the property of being able to store nutrients and energy; sent8 & 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$ = sent11 & sent13 -> int1: a pool is a kind of environment; sent14 & sent5 -> int2: polar bears require a cold environment; int2 & int1 -> int3: polar bears require a cold pool; sent3 & int3 -> hypothesis;
$proof$ = sent18 & sent21 -> int1: an animal requires a forest for survival; sent25 & sent1 -> int2: deer are a kind of animal that live in forests; int1 & int2 -> int3: deer and squirrels require a forest for survival; sent22 & sent17 -> int4: squirrels and woodpeckers live in forests; sent8 & sent19 -> int5: squirrels and deer and woodpeckers adapt to their environment; int3 & int4 -> int6: squirrels and deer and woodpeckers require a forest for survival; int6 & int5 -> int7: squirrels and deer and woodpeckers adapt to living in forests; int7 & sent15 -> 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$ = sent6 & sent1 -> int1: decomposers add nutrients to soil using decomposition; sent15 & sent24 -> int2: a plant requires nutrients in soil to grow and survive; int2 & int1 -> int3: decomposers help plants survive and grow by adding nutrients to soil; int3 -> hypothesis;
$proof$ = sent25 & sent10 -> int1: a plant requires nutrients in soil to grow; sent6 & int1 -> int2: nutrients in soil are important to plants; sent21 & sent16 -> int3: plants are a kind of role in the food chain process; int3 & sent18 -> int4: plants are a role in the food chain process; int2 & int4 -> int5: nutrients in soil are important to the food chain; sent17 & int5 -> hypothesis;
$proof$ = sent7 & sent8 -> int1: plants make food for themselves by performing photosynthesis; int1 & sent5 -> int2: plants turn sunlight into food by performing photosynthesis; sent16 & sent6 -> int3: if a plant makes food for itself then that plant does not need to eat other organisms; int3 & int2 -> 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$ = sent7 & sent23 -> int1: if large birds die then the population of large birds will decrease; int1 & sent5 -> int2: if large birds die then the number of small birds in an environment will increase; sent25 & sent17 -> int3: large birds are predators to small birds and small birds are prey to large birds; sent22 & sent21 -> int4: disease can cause organisms to die; sent7 & int4 -> int5: disease can cause large birds to die; int3 & sent12 -> int6: as the population of large birds decreases the population of small birds will increase; int2 & int5 -> int7: if large birds die because of disease then the number of small birds in an environment will increase; int7 & int6 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: earthworms loosen the soil; int1 & sent2 -> int2: loose soil increases the amount of oxygen in the soil; sent20 & sent3 -> int3: roots are a vehicle for taking in oxygen from the soil; int2 & int3 -> hypothesis;
$proof$ = sent23 & sent12 -> int1: plant reproduction requires pollinating animals; int1 & sent4 -> int2: plant reproduction requires pollinating animals to carry pollen; int2 & sent7 -> int3: a bee is a pollinating animal that can carry pollen in plant reproduction; sent9 & sent1 -> int4: if something is required for a process then that something has a positive impact on that process; int4 & sent5 -> int5: if something causes a process then that something has a positive impact on that process; int5 & sent6 -> int6: seed dispersal has a positive impact on plant reproduction; sent20 & int6 -> int7: seed dispersal can have a positive impact on plant reproduction; int3 & int7 -> hypothesis;
$proof$ = sent14 & sent15 -> hypothesis;
$proof$ = sent7 & sent21 -> hypothesis;
$proof$ = sent3 & sent15 & sent14 -> int1: barney's scar on his ear is an acquired characteristic; 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$ = sent25 & sent20 -> 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 & sent5 -> int1: the protein made by the dna has an incorrect amino acid; sent20 & int1 -> int2: genetic information can be used for making the incorrect protein; sent23 & int2 -> hypothesis;
$proof$ = sent23 & 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$ = sent18 & sent1 & sent10 & sent19 -> int1: two gray mice are crossed to produce offspring; sent17 & int1 & sent13 -> int2: the offspring will have 25% probability to have brown fur, 25% to have black fur, and 50% to have white fur; int2 & sent3 -> hypothesis;
$proof$ = sent16 & sent18 -> int1: the thick trunk of the pecan tree is an inherited characteristic of pecan trees; sent9 & sent17 & int1 -> 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 & sent20 -> int1: rusting causes the surface of the iron nail to be orange and flaky; sent21 & int1 -> int2: a chemical reaction happened on the iron nail; int2 -> hypothesis;
$proof$ = sent21 & sent10 -> hypothesis;
$proof$ = sent20 & sent19 -> hypothesis;
$proof$ = sent22 & sent21 -> hypothesis;
$proof$ = sent25 & sent3 & sent19 -> int1: calcium and carbon 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$ = sent12 & sent5 -> int1: sodium and chlorine are two 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 & sent1 -> 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 & sent15 -> int1: a phase change is when a substance changes from a solid state into a liquid state; int1 & sent1 -> int2: a phase change is when a substance changes from a solid state to a liquid state; sent10 & int2 -> int3: melting butter is when butter changes from a solid state to a liquid state; int3 & sent3 -> hypothesis;
$proof$ = sent19 & sent5 -> int1: boiling is a kind of physical process; int1 & sent2 & sent4 -> hypothesis;
$proof$ = sent3 & sent15 -> int1: the nucleus of an atom is made of neutrons and protons; sent19 & int1 -> hypothesis;
$proof$ = sent7 & sent1 -> int1: rubbing different materials can cause the electrical charge of the materials to be unbalanced; sent23 & sent18 & int1 -> int2: rubbing wool on rubber can cause the electrical charge of the wool to be unbalanced; sent24 & sent14 -> int3: small strips of paper are a kind of object; sent24 & sent21 -> int4: small strips of paper can be attracted to static electricity; int3 & int4 -> int5: small strips of paper are an object that can be attracted to static electricity; int2 & sent5 -> int6: rubbing rubber on wool can cause the electrical charge of the rubber to be unbalanced; int6 & int5 -> 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 & sent10 & sent20 -> hypothesis;
$proof$ = sent19 & sent4 -> int1: hair tends to have unbalanced electrical charge after being rubbed with other materials; sent8 & sent25 -> int2: losing electrons changes the electrical charge of an object into positive; int1 & sent13 & sent14 -> int3: hair having unbalanced electrical charge causes static electricity; int2 & int3 -> hypothesis;
$proof$ = sent16 & sent13 -> int1: the atom will have 4 electrons; sent22 & sent12 -> int2: protons and electrons have different electric charges; int2 & int1 -> hypothesis;
$proof$ = sent10 & sent23 -> hypothesis;
$proof$ = sent15 & sent5 -> int1: ions are the charged particles that 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; int1 & sent24 -> int2: as the speed of particles in an object increases, the speed of particles in that object will increase; sent9 & sent10 -> int3: iron is a solid substance; int3 & int2 -> hypothesis;
$proof$ = sent14 -> 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; sent17 & int1 -> 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; sent13 & int1 -> int2: the water in both pans will boil; sent22 & sent7 & int2 -> 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 & sent25 -> int1: boiling is when a liquid changes from a liquid into a gas by increasing heat energy; sent13 & int1 -> 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; sent24 & int2 -> 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; sent23 & sent2 -> int2: appearance is a kind of physical property of rocks; int2 & int1 -> hypothesis;
$proof$ = sent22 & sent11 -> int1: metal is the material that has a higher melting point than other materials; int1 & sent1 -> hypothesis;
$proof$ = sent23 & sent10 -> hypothesis;
$proof$ = sent22 & sent3 -> int1: iron nails are made of metal; int1 & sent23 & sent6 -> int2: iron nail can conduct electricity and heat; sent3 & sent1 -> int3: iron nails are magnetic; int3 & int2 -> 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; sent9 & int1 -> int2: if a metal spoon is exposed to a source of heat, then the conductor may become hot; int2 & sent10 -> int3: the heat from the hot water will be transferred to the metal spoon; sent15 & int3 -> hypothesis;
$proof$ = sent12 & sent18 -> hypothesis;
$proof$ = sent10 & sent17 -> hypothesis;
$proof$ = sent18 & sent5 & sent19 -> 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: runways are a kind of pathway for airplanes; int1 & sent21 -> hypothesis;
$proof$ = sent3 & sent15 -> int1: a camera can be used for observing things; sent11 & int1 -> 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;