$proof$ = sent3 & sent2 -> int1: northern hemisphere is a kind of place on earth; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent4 & sent1 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: as the distance from the moon to the earth decreases, the pull of gravity on the moon increases; int1 & sent3 -> int2: the gravitational pull of the moon on earth causes the tides; sent2 & int2 -> int3: the gravitational pull of the sun on earth causes the tides; int3 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: as the distance from the moon to the earth decreases, the pull of gravity on the moon increases; int1 & sent4 -> int2: the gravitational pull of the moon on earth causes the tides; sent3 & int2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: as the distance from the moon to the earth decreases, the pull of gravity on the moon increases; int1 & sent2 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: milky way is made of stars; sent4 & sent3 -> int2: light year can be used to measure the distance between stars; int1 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: comets orbit the sun in an elliptic path; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: galaxy is a type of object whose shape is a property of its; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: the earth is a planet that revolves around the sun; sent3 & int1 & sent5 -> int2: the moon revolves around the earth; sent3 & int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: solids are more dense than gas; sent3 & sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: earth is a celestial object; int1 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: the sun is a source of heat energy; int1 & sent4 -> int2: the sun emits heat energy through nuclear reactions; int2 & sent1 -> int3: the sun emits energy through nuclear reactions; sent3 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: the sun is an average sized star in our galaxy; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the sun is a kind of yellow main-sequence star; int1 & sent3 -> hypothesis;
$proof$ = INVALID_PROOF;
$proof$ = sent3 & sent8 & sent1 -> int1: earth as a celestial object has more mass than the moon as a celestial object; int1 & sent7 -> int2: the surface gravity of earth as a celestial object decreases; int2 & sent5 -> int3: the force of gravity on earth decreases when the surface gravity of earth decreases; sent2 & int3 -> int4: the force of gravity on an object decreases when the surface gravity of that object decreases; int4 & sent6 -> int5: as the force of gravity on an object decreases, the object can jump higher; sent4 & int5 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; sent5 & int1 -> int2: an object weighs more on earth than on the moon because earth has more mass than the moon; int2 & sent2 -> int3: an object will weigh less on the moon than on the earth because the surface gravity on the moon is less than the surface gravity on the earth; sent6 & sent1 -> int4: as the mass of a celestial object decreases, the force of gravity on that celestial object will decrease; int4 & int3 -> int5: an object will weigh more on the moon than on the earth because the surface gravity on the moon is less than the surface gravity on the earth; sent4 & int5 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> int1: a telescope can be used for observing the moon; int1 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a waxing gibbous is a kind of moon phase; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent5 & sent2 -> int1: the first quater and the last quater moon phases are kinds of phases of the moon; sent3 & int1 -> int2: the lowest gravitational pull of the moon is during the first quater and the last quater moon phase; int2 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: gravity causes moons to orbit planets; int1 & sent4 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> int1: the sun is made of gases, and hot in temperature; int1 & sent4 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: space does not contain oxygen; sent6 & int1 -> int2: a spacesuit backpack contains oxygen; sent4 & sent2 -> int3: a human requires oxygen to breathe; sent3 & int3 -> int4: an astronaut requires oxygen to breathe; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: precipitation and infiltration are stages in the water cycle that are responsible for precipitation and infiltration; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = INVALID_PROOF;
$proof$ = sent3 & sent2 & sent1 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a shark is a kind of aquatic animal; sent4 & int1 -> int2: if fossils of sharks are found in a place then that place used to be covered by water in the past; sent5 & sent6 & int2 -> int3: the side of the cliff used to be covered by fossils of shark teeth; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: the scientist has to gather information on ancient environment; sent3 & sent2 -> int2: fossils can be used as information on ancient environment; int2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: fossils can be found in limestones; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the formation of diamonds requires intense heat and pressure; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: sedimentary and metamorphic are classes of rock; sent4 & int1 -> int2: sedimentary rocks can be changed into metamorphic rocks; sent2 & int2 -> int3: formation in the rock cycle can mean sedimentary rocks changes into metamorphic rocks; sent5 & sent7 -> int4: sedimentary rocks can contain fossils; int4 & sent1 -> int5: sedimentary rocks can contain fossils and metamorphic rocks do not contain fossils; int5 & int3 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: in the rock cycle, the mass of old rocks will stay the same; sent7 & int1 -> int2: in the rock cycle, new rocks will be formed from broken down rock; int2 & sent6 -> int3: in the rock cycle, new rocks will be formed from rock; int3 & sent3 -> int4: as the earth processes change, the mass of rocks will stay the same; int4 & sent1 -> int5: as the earth processes change, the total amount of matter on earth will stay the same; int5 & sent2 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: if something contains minerals then that something contains that mineral; sent5 & int1 -> int2: minerals are a component of everything; int2 & sent3 -> int3: something is composed of minerals; int3 & sent1 -> int4: a rock is made of minerals; int4 & sent2 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: igneous rock is formed by magma cooling; sent1 & sent2 -> int2: granite is a hard material that forms from cooling magma; sent3 & sent4 -> int3: igneous rock is a kind of material; sent5 & sent4 -> int4: igneous rock is hard; int4 & int3 & int2 -> hypothesis;
$proof$ = sent9 & sent11 -> int1: sedimentary rocks are made of small particles of sand; sent5 & int1 -> int2: a rock is made of small particles of sand; sent2 & int2 -> int3: a rock is made of sediment; sent7 & sent10 -> int4: light and dark are different kinds of color; sent1 & int4 -> int5: light and dark are different kinds of colors; sent4 & int5 -> int6: light and dark are different kinds of things; sent3 & int3 -> int7: sedimentary rocks are formed by sediments compacting and cementing together; sent6 & int7 -> int8: sedimentary rocks are often formed by sediments compacting and cementing together; sent8 & int6 -> int9: if a rock has light-colored layers and dark-colored layers then that rock was likely formed by sediments compacting and cementing together; int9 & int8 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: being buried under soil and mud changes dead vegetation into coal through extreme heat and pressure in a swamp over a long period of time; sent3 & int1 -> int2: being buried under soil and mud changes dead plants into coal through extreme heat and pressure in a swamp over a long period of time; sent4 & int2 -> hypothesis;
$proof$ = sent2 & sent8 & sent6 -> int1: coal and oil and gas are kinds of fossil fuels; sent3 & int1 -> int2: coal and oil and gas are kinds of processes; sent5 & int2 -> int3: if something is required for the formation of coal and oil and gas then that something helps in the process; sent4 & sent7 -> int4: fossil fuels are formed from decaying vegetation from a very long time ago; sent1 & int4 -> int5: fossil fuels are formed from decaying plants from a very long time ago; sent10 & int5 -> int6: forming fossil fuels requires deposition and burial of decaying plants; sent9 & int6 -> int7: forming fossil fuels requires deposition and burial of plants; int7 & sent11 -> int8: forming coal and oil and gas requires deposition and burial of plants; int8 & int3 -> int9: decaying plants help in the formation of coal and oil and gas; sent2 & sent6 & sent12 -> int10: natural gas and coal are kinds of fossil fuels; int9 & int10 -> hypothesis;
$proof$ = sent2 & sent12 -> int1: an increase in temperature is a kind of change in temperature; sent6 & int1 -> int2: an increase in temperature adds heat; int2 & sent3 -> int3: an increase in temperature adds heat to the atmosphere; sent4 & int3 -> int4: burning fossil fuels adds heat to the atmosphere; sent9 & sent11 -> int5: if something occurs by burning something else is required for that something to occur; sent1 & sent8 -> int6: burning coal is used for generating heat by burning; int6 & int5 -> int7: burning coal is required for that something to occur; int7 & int4 -> int8: burning fossil fuels adds carbon dioxide and heat to the atmosphere; sent5 & sent3 -> int9: if something releases something else into the atmosphere then that something adds that something else to the atmosphere; sent10 & sent7 -> int10: burning fossil fuels causes carbon dioxide to enter the atmosphere; int8 & int9 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: gases that come from the use of fossil fuels release that something; int1 & sent8 -> int2: gases that come from the use of fossil fuels cause global warming; sent3 & sent5 -> int3: global warming is when temperature increase across the entire earth; sent4 & int3 -> int4: global warming has a significant impact on the earth; int2 & int4 -> int5: gases that come from the use of fossil fuels have a significant impact on the earth; sent1 & int5 -> int6: gases that significantly impact the earth come from the use of fossil fuels; int6 & sent7 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: global warming is when global temperature increases; sent3 & sent2 -> int2: gases released during the use of fossil fuels contributes to global warming; int2 & int1 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: burning gasoline emits sulfur dioxide; int1 & sent4 & sent8 -> int2: burning coal and gasoline emits sulfur dioxide; int2 & sent7 & sent9 -> int3: burning coal and gasoline causes acid rain; sent1 & sent3 -> int4: burning coal and gasoline is a kind of human activity; int4 & int3 & sent2 -> hypothesis;
$proof$ = sent8 & sent7 -> int1: subduction may occur at the converging boundaries of tectonic plates; sent6 & int1 -> int2: subduction may occur when one tectonic plate moves under another tectonic plate; sent4 & int2 -> int3: subduction may occur when tectonic plates move under each other; sent10 & sent5 -> int4: thermal conduction is when heat flows from a warmer object to a cooler object; int4 & sent9 -> int5: thermal conduction is when tectonic plates conduct heat through those tectonic plates through collision of particles; int3 & int5 -> int6: subduction may occur when tectonic plates are moving under each other; int6 & sent3 -> int7: subduction may involve a transfer of energy; sent11 & sent1 -> int8: thermal energy is a kind of energy; sent2 & int8 -> int9: the subduction process may involve a large amount of thermal energy; int9 & int7 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: if something is underground then that something is above that something; int1 & sent12 -> int2: coal is found underground; sent5 & int2 -> int3: the lithosphere is made of coal; sent9 & int3 -> int4: the lithosphere and biosphere are both made of coal; sent11 & sent2 -> int5: surface mining removes vegetation from above the coal; sent10 & int5 -> int6: surface mining removes the vegetation from above the coal; sent8 & int4 -> int7: surface mining affects parts of the biosphere; sent7 & sent1 -> int8: if something affects something else then that something affects that something else; sent4 & int8 -> int9: if something affects one part of the earth then that something affects that other part; int7 & int9 -> int10: surface mining affects parts of the lithosphere and biosphere; int6 & int10 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent8 -> int1: as the use of ethanol increases the use of materials that ethanol is made out of increases; int1 & sent3 -> int2: as the use of ethanol increases the use of ethanol decreases; sent5 & sent1 -> int3: ethanol is made of a kind of crop; int3 & sent2 -> int4: a farmer uses farm land to produce ethanol; int4 & sent9 -> int5: using farm land to produce ethanol requires using farm land; sent7 & int5 -> int6: if more farm land is used to produce ethanol then less farm land will be available; int6 & sent6 -> int7: as the use of ethanol increases the amount of available farm land for food production decreases; int2 & int7 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: energy from ocean tides is a renewable resource; sent2 & int1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: wood is a kind of renewable natural resource; int1 & sent6 -> int2: wood boards are made of a renewable natural resource; sent3 & sent1 -> int3: building materials are used to build houses; int3 & sent2 -> int4: wood boards are a kind of building material that can be used to build houses; int2 & int4 -> hypothesis;
$proof$ = sent9 & sent3 -> int1: water can decrease the amount of nutrients in soil; sent2 & int1 -> int2: increases in water use can decrease the amount of nutrients in soil; sent7 & sent4 -> int3: irrigation is a kind of process that requires water use; int3 & sent6 -> int4: increasing irrigation increases the amount of water in soil; int4 & int2 -> int5: increasing irrigation can decrease the amount of nutrients in soil; sent5 & sent8 -> int6: irrigation can be performed on agricultural ground; sent1 & int5 -> int7: increasing irrigation can deplete the nutrients in soil; int6 & int7 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: soil erosion caused by overgrazing results in desertification; sent6 & sent2 -> int2: overgrazing can increase the rate at which soil erosion occurs; int1 & int2 -> int3: overgrazing can result in desertification; sent3 & sent6 -> int4: increasing soil erosion can increase the rate at which soil is eroded; int4 & sent4 -> int5: overgrazing can increase the rate at which topsoil is eroded; int5 & int3 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: decreasing the amount of trees cut has a postive impact on an environment; sent4 & sent2 -> int2: cut trees are needed to make paper; int2 & sent6 -> int3: cut trees are a kind of resource that are needed to make paper; int3 & sent3 -> int4: recycling reduces the amount of trees that are cut; int1 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: decreasing tree roots causes soil erosion to decrease; sent7 & int1 -> int2: decreasing tree roots causes soil erosion to increase; sent3 & int2 -> int3: decreasing tree roots causes that something else to increase; sent5 & sent6 -> int4: clearing trees from a forest means cutting down trees in that forest; sent4 & int4 -> int5: clearing trees from a forest causes the number of trees to decrease in that forest; int5 & int3 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: cutting down a forest means removing the forest; sent8 & int1 -> int2: cutting down a forest causes the number of trees to decrease in that forest; sent1 & int2 -> int3: cutting down forests decreases the number of trees in that forest; sent5 & int3 -> int4: cutting down forests decreases the parts of a forest that decreases trees; sent2 & int4 -> int5: cutting down forests causes that something else to increase; sent6 & sent4 -> int6: roots are a part of plants and trees; int6 & sent5 -> int7: cutting down trees causes soil erosion to increase; int7 & int5 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: as the amount of plants decreases, the amount of oxygen will decrease; sent3 & int1 -> int2: as the amount of plants decreases, the production of oxygen will decrease; sent1 & sent5 -> int3: if a tree is removed then the amount of that tree will decrease; int3 & sent2 -> int4: deforestation causes the amount of trees in a forest to decrease; int4 & int2 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: seawater is a kind of water that contains salt; sent1 & int1 -> int2: seawater contains salt; sent2 & sent6 -> int3: water that has salt removed from it is a source of salt; int3 & int2 -> int4: water that has salt removed from it is a source of seawater; int4 & sent3 -> int5: water that has salt removed from it may have come from a sea; int5 & sent7 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: glaciers are a kind of water reservoir; sent1 & sent2 -> int2: glaciers provide freshwater; int1 & int2 -> int3: glaciers are a kind of water reservoir that provide freshwater; sent5 & int3 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: cutting down trees in a forest changes that forest; sent3 & int1 -> int2: humans cutting down trees in a forest has a negative impact on that forest; sent5 & int2 -> int3: humans cutting down trees has a negative impact on ecosystems; sent6 & int3 -> int4: humans cutting down trees has a negative impact on earth; sent7 & sent2 -> int5: humans building trails by cutting down trees requires cutting down trees; int5 & int4 -> int6: humans building trails by cutting down trees has a negative impact on earth; sent4 & sent2 -> int7: humans building trails by cutting down trees is a kind of change; int7 & int6 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: runoff from a cropland entering bodies of water causes water pollution; sent2 & int1 -> int2: runoff from a cropland entering a lake has a negative impact on water quality; sent1 & sent1 -> int3: a lake is a kind of natural resource; sent5 & int2 & int3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: if humans disturb seals in a location then those seals will move to a different location; sent1 & int1 -> int2: if humans disturb seals at a beach then those seals will give birth at a different beach; sent4 & int2 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: recycling resources has a positive impact on the conservation of resources; sent2 & int1 -> int2: recycling resources helps conserve resources; sent6 & sent1 -> int3: beans are a kind of resource; int2 & int3 -> int4: recycling bean plants helps conserve resources; int4 & sent5 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: conserving a resource requires decreasing the use of that resource; sent5 & int1 -> int2: conserving water requires decreasing the use of water; sent2 & int2 -> int3: as time spent taking a shower decreases, the use of water will decrease; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: acid rain causes the water quality to lower; sent3 & int1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: fertilizers can increase the population of algae; sent5 & sent4 -> int2: fertilizers in the runoff from the farm can increase the population of cropland; int1 & int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: toxic chemicals can cause harm to organisms; sent4 & int1 -> int2: toxic chemicals can cause organisms to die; sent6 & sent7 -> int3: a fish lives in a pond; int2 & sent5 -> int4: toxic chemicals can cause fish to die; sent1 & int3 & int4 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent4 & sent3 -> int1: human hunting sloths can decrease animal populations; sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: an earthquake can cause the ground to shake for 10 to 30 seconds; sent1 & int1 -> int2: an earthquake can change earth's surface in a short amount of time; sent4 & int2 -> int3: an earthquake can change earth's surface within a short amount of time; int3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 & sent1 & sent6 -> int1: nitrogen has the lowest volume in earth's atmosphere; sent4 & sent3 & int1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: ocean water level rising causes salt water to flood coastal area; sent3 & int1 -> int2: ocean water level rising causes salt water to flood coastal wetlands; sent1 & int2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: oceans are a source of wild fish for human populations; sent2 & int1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: as a submarine descends into water, the pressure on the submarine will increase; sent1 & int1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the lithosphere is made of sedimentary rocks; sent2 & int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: forest fires increase the amount of plants in the forest; sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: planting corn every year decreases the nutrients required by that kind of crop; int1 & sent3 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the decrease of something required by a plant has a negative impact on that plant's survival; sent2 & int1 -> int2: a decrease of something required by trees has a negative impact on that tree's survival; int2 & sent1 -> int3: a decrease of thickness of soil can cause harm to trees; int3 & sent5 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a certain event must occur before trees can grow; sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a warm front will pass over a cold air mass above a continent; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: air masses around the equator will increase in temperature; int1 & sent2 -> int2: air masses around the equator will be warm; sent4 & int2 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: a balloon is a kind of flexible container; sent1 & int1 -> int2: as air pressure surrounding a balloon decreases, the balloon will expand; sent2 & int2 -> int3: as air pressure surrounding a weather balloon decreases, the weather balloon will expand; sent4 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: ocean water vapor can be formed by water vapor evaporating and then condensing in the air; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: as the gradient of a stream increases, the ability of the stream to transport sediments will increase; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: wind erosion can change the earth's surface; sent1 & int1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: cycles of freezing and thawing water cause rocks to crack; sent1 & int1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a high-pressure system can decrease the water in air to produce precipitation; sent4 & int1 -> int2: a high-pressure system can cause low precipitation; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: cool ocean waters have low heat energy; sent3 & sent4 -> int2: heat and moisture over ocean causes the formation of a hurricane; int2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: collection of rain is when precipitation is collected in bodies of water; sent1 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: heat energy is added to the ocean water; sent4 & sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: absorbing the energy from the sun will cause objects to heat; int1 & sent3 -> int2: absorbing the energy from the sun will cause drops of water to heat; sent6 & sent4 & sent7 -> int3: water evaporating means water changes from a liquid into a gas by increasing heat energy; sent5 & int3 -> int4: water evaporating means water will disappear; int4 & int2 -> hypothesis;
$proof$ = sent5 & sent6 & sent3 -> int1: water absorbing solar energy will increase in temperature; int1 & sent4 -> int2: water absorbing solar energy will increase in heat energy; sent1 & int2 -> int3: in the water cycle water absorbing solar energy will cause the evaporation of water; sent3 & sent2 -> int4: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int4 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a thunderstorm is a source of precipitation; sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent10 & sent8 & sent4 -> int1: the bowling ball and the floor are touching on their surfaces; int1 & sent7 & sent6 -> int2: friction occurs between the bowling ball and the floor; sent3 & int2 -> int3: the mechanical energy in the bowling ball is converted into heat energy when it touches the floor; sent1 & sent4 & sent5 -> int4: sound is produced when the bowling ball is touched by the floor; sent9 & int3 & int4 -> int5: the mechanical energy in the bowling ball is converted into sound energy when it touches the floor; int5 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a fan is an appliance that rotates the vanes in the fan; sent3 & int1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: methane reacts with oxygen to form water and carbon dioxide; sent1 & int1 -> int2: methane reacting with oxygen is a combustion reaction; int2 & sent4 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: if something is used for seeing then that something produces the things required for that seeing; int1 & sent9 -> int2: a light bulb produces light energy for seeing in the dark; int2 & sent8 -> int3: a light bulb requires light energy to see; sent4 & sent2 -> int4: an incandescent light bulb converts electrical energy into heat energy and light energy; int3 & int4 -> int5: a light bulb requires heat energy to see; sent5 & int5 -> int6: the light bulb produces heat energy that is not used; sent3 & sent7 -> int7: if something converts a resource into energy it doesn't use then that something is not using the resource efficiently; int7 & int6 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: an electromaget is made of coiled wire, iron rod, and battery; sent5 & sent2 -> int2: coiled wire is a kind of wire; int2 & int1 -> int3: an electromaget is made of insulated wire, iron rod, and battery; sent1 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a light bulb generates electromagnetic waves; sent1 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a convex lens causes light to bend when the light passes through the lens; sent2 & int1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: a glass window is made of a material; sent3 & int1 & sent1 -> int2: air is a medium; int2 & sent2 -> int3: the light rays will pass through air; int3 & sent6 -> int4: the light rays will pass through a glass window; sent7 & int4 -> hypothesis;
$proof$ = sent2 & sent7 & sent5 -> int1: the laser beam passes through air; sent3 & sent6 & int1 -> int2: the laser beam passes through a prism made of glass; int2 & sent1 -> int3: the laser beam is shone through a glass prism; sent4 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: hearing can be used for sensing sound by human; sent2 & int1 -> int2: human can sense the sound made by the other human through air vibrations; sent4 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: insense sound energy can move objects by making them vibrate; sent5 & int1 -> int2: a thunder can move objects by making them vibrate through intense sound energy; int2 & sent4 -> int3: a thunder can move a window by making them vibrate through intense sound energy; int3 & sent3 -> hypothesis;
$proof$ = sent2 & sent5 & sent4 -> int1: if saltwater has a higher density than freshwater then the molecules in saltwater will be closer than those in freshwater; sent3 & sent6 & int1 -> int2: the molecules in saltwater will be closer than those in freshwater; int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: a metal spoon is a thermal conductor; sent5 & sent6 -> int2: hot tea is a source of heat; int2 & sent2 -> int3: the hot tea will be a source of heat for the metal spoon; sent1 & int3 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: when friction occurs between two objects, both objects' temperatures increase; sent4 & sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent9 -> int1: spoons are thermal conductors; sent10 & int1 -> int2: if a spoon is exposed to a source of heat, then the conductor may become hot; sent8 & sent4 -> int3: if a spoon is used to stir a liquid, then the spoon is exposed to the liquid; int3 & sent7 -> int4: if a spoon is used to stir hot chocolate, the the spoon is exposed to the hot chocolate; sent11 & int4 -> int5: the spoon is exposed to the hot chocolate; sent5 & sent2 -> int6: hot chocolate is a source of heat; int5 & int6 & int2 -> int7: the hot chocolate is a source of heat for the spoon; sent6 & sent3 -> int8: if heat is conducted to the spoon then the spoon will become hot; int8 & int7 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: sunlight is a kind of electromagnetic wave; int1 & sent5 -> int2: sunlight transfers heat and light energy through radiation; sent2 & int2 -> int3: the sun transfers heat and light energy through radiation; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: ultraviolet light in sunlight causes sunburn; int1 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 & sent1 & sent3 -> int1: gas, liquids, and solids are kinds of substances; sent4 & int1 -> int2: waves can travel through gas, liquids, and solids; int2 & sent6 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: transverse waves have objects moving in the opposite direction of the wave; sent1 & int1 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: two sticks are moving against each other; sent4 & int1 & sent3 -> int2: friction occurs when two sticks are moving against each other; int2 & sent2 & sent3 -> int3: friction occurs between two sticks when they are moving against each other; int3 & sent3 & sent1 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: low friction on ice can cause an object to slip; sent3 & int1 -> int2: friction on ice is a kind of force that causes an object to slip; sent1 & int2 -> int3: friction on ice can cause a human object to slip; sent4 & int3 -> int4: as friction increases, the chance of a human object slipping will decrease; sent5 & int4 -> hypothesis;
$proof$ = sent4 & sent6 & sent3 -> int1: friction will occur between the rubber ball and the surface of the surface; sent1 & int1 & sent5 -> int2: friction will cause the speed of the rubber ball to decrease; sent2 & int2 & sent1 -> hypothesis;
$proof$ = sent3 & sent4 & sent5 -> int1: friction on the concrete surface will increase; sent2 & int1 -> int2: friction on the concrete surface will decrease; sent1 & int2 -> hypothesis;
$proof$ = sent4 & sent5 & sent1 & sent2 -> int1: friction will occur between the rock and the frozen pond; int1 & sent3 & sent6 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: a soccer ball is a kind of object; int1 & sent3 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a magnet can attract a paper clip; int1 & sent2 -> int2: a magnet can affect a paper clip; sent5 & sent4 -> int3: magnetism can affect objects that are not touching; int2 & int3 -> hypothesis;
$proof$ = sent4 & sent3 & sent6 -> int1: a pulley and a wheel and axle are kinds of simple machines; sent1 & int1 -> int2: a bicycle is made of simple machines; sent2 & int2 -> int3: a bicycle is made of more than one simple machine; int3 & sent5 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: speed is a measure of distance travelled by a sailboat divided by its length divided by its time; int1 & sent3 & sent7 -> int2: the speed of the sailboat is based on the measurement of distance in kilometers; sent5 & int2 -> int3: the speed of the sailboat is based on the measurement of distance in kilometers per hour; sent1 & sent2 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: fish do not have fur; sent10 & sent5 -> int2: a reptile and a bird do not have fur; int1 & int2 -> int3: both reptiles and birds do not have fur; sent9 & int3 -> int4: fur is only part of mammals; sent7 & sent8 -> int5: reptile is a kind of taxonomic group of animals; int5 & sent4 & sent3 -> int6: mammals are part of one taxonomic group; int6 & int4 -> int7: fur is only part of mammals in the taxonomic group; sent1 & int3 -> int8: both birds and reptiles do not have fur; int8 & int7 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: some species mammals do not have wings; int1 & sent9 -> int2: feathers are not a part of mammals; sent10 & sent5 -> int3: feathers are not a part of amphibians and are not a part of mammals; int3 & int2 -> int4: feathers are not a part of mammals and are not a part of reptiles; sent1 & int4 -> int5: feathers are a characteristic of mammals and reptiles and birds; sent3 & sent7 -> int6: all species of birds have feathers and wings; sent8 & sent4 -> int7: feathers are a part of birds and wings are a part of birds; int6 & int7 -> int8: feathers and wings are a characteristic of birds; sent12 & int5 -> int9: feathers and wings are characteristic of mammals and reptiles and birds; int9 & sent2 -> int10: feathers and wings are distinguishing characteristics of mammals and reptiles and birds; int8 & int10 -> hypothesis;
$proof$ = sent5 & sent7 -> int1: two or more animals have similar bone structure; sent6 & sent2 -> int2: some inherited characteristics of animals are passed down through the generations; int2 & sent3 -> int3: some animals' characteristics are passed down from ancestor to descendant; int3 & int1 -> int4: animals with similar bone structure probably evolved from a common ancestor; sent1 & sent8 -> int5: evolution can occur over a long period of time; int5 & sent4 -> int6: evolution has occurred in recent geological history over a relatively short period of time; int6 & int4 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: laying eggs only occurs during adulthood; sent2 & int1 -> int2: laying eggs only occurs during the adult stage in the life cycle; sent5 & sent1 -> int3: a frog is a kind of amphibian that lay eggs; int2 & int3 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: an example of metamorphosis is when a butterfly changes from an immature form to an adult form; sent2 & sent1 -> int2: the adult form of a caterpillar is a butterfly and the immature form of a butterfly is a caterpillar; int2 & int1 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: cell division causes more cells to be produced in a living thing; sent2 & int1 -> int2: cell division causes larger living things to be produced; sent3 & int2 -> int3: cell division is required for growth; sent5 & int3 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: sound can be used for communication by prairie dogs; sent1 & int1 -> int2: prarie dogs can use sound to communicate; int2 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: aquatic animals live in water; sent6 & int1 -> int2: webbed feet are used by aquatic animals for moving faster through water; sent5 & int2 -> int3: webbed feet have a positive impact on an aquatic animal's survival in water; sent3 & sent2 -> int4: living in water causes an organism to adapt to water; int4 & int3 -> int5: webbed feet are an adaptation for living in water; sent4 & int5 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: an example of camouflage is animals blending in with their environment; sent1 & sent3 -> int2: camouflage is used by animals to hide from predators; int1 & int2 -> hypothesis;
$proof$ = sent10 & sent5 -> int1: coloration is a kind of adaptation; sent1 & int1 -> int2: coloration is a kind of adaptation for hiding in an environment; sent4 & int2 -> int3: an example of camouflage is an animal having the same color as its environment; sent8 & int3 -> int4: an example of coloration is an animal having the same color as its environment; sent11 & sent7 -> int5: an arctic hare turns white in the winter; sent6 & sent2 -> int6: an arctic environment becomes white in the winter; int5 & int6 -> int7: an arctic hare and an arctic environment both have the same color in the winter; sent3 & int4 -> int8: an example of coloration is an arctic hare having the same color as its environment; int8 & int7 -> int9: an example of coloration is an arctic hare having the same color as an arctic environment in the winter; sent9 & int9 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: an arctic environment becomes brown in the summer and white in the winter; int1 & sent1 -> int2: a snowshoe hare and an arctic environment are both brown in the summer and white in the winter; sent2 & int2 -> int3: a snowshoe hare and an arctic environment are both white in the winter; sent11 & int3 -> int4: a snowshoe hare sheds its fur during the summer and winter; sent6 & int4 -> int5: a snowshoe hare is brown in the summer and white in the winter; sent10 & int5 -> int6: a snowshoe hare and its environment are both change color to brown in the summer and white in the winter; sent8 & int6 -> int7: an animal having the same color as its environment is an example of coloration; int7 & sent9 -> int8: an example of coloration is an animal changing into the color of the environment; int8 & sent3 -> int9: coloration is a kind of adaptation for hiding in an environment; int9 & sent5 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: an insect is a kind of organism; sent1 & sent5 -> int2: green environments contain leaves; sent2 & sent3 -> int3: an example of camouflage is an organism having the same color as its environment; int2 & int1 -> int4: an insect and a green environment have the same color; int4 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a predator may avoid bad odors; sent3 & int1 -> int2: producing a bad odor helps predators avoid you; sent4 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: an example of an adaptation is something that is used for survival; sent3 & int1 -> hypothesis;
$proof$ = sent7 & sent4 & sent5 -> int1: spring is a season with warm weather; sent1 & int1 -> int2: winter is a season with cold weather and spring is a season with warm weather; sent3 & int2 -> int3: changes in seasons can cause change to the environment; sent6 & sent2 -> int4: some animals' fur grows thicker for staying warm in the winter and shed fur in spring; int4 & int3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: as dryness in an environment increases, the available water in that environment will decrease; int1 & sent7 -> int2: if an environment is dry, then the plants in that environment will require water to survive; sent3 & sent2 -> int3: storing water is a kind of adaptation for increasing the availability of water; int3 & sent5 -> int4: waxy leaves are used by some plants for storing water; sent6 & int4 -> int5: waxy leaves are a kind of adaptation for survival in a dry environment; int5 & int2 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: animals have a negative impact on cacti; sent4 & int1 -> int2: a cactus must protect itself from animals; sent1 & sent3 -> int3: eating something has a negative effect on that something; int3 & sent2 -> int4: a sharp object can be used for protection against animals; int4 & sent5 -> int5: a cactus spine is a kind of protection against animals; int5 & int2 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: a storm can cause changes to an environment; sent5 & int1 -> int2: an animal that is able to adapt to a storm is likely to survive; sent2 & sent7 -> int3: adaptations have a positive impact on the survival of an organism; int3 & sent6 -> int4: adaptations are used by organisms for survival; sent4 & int4 -> int5: adaptations are used by animals for survival; sent3 & sent5 -> int6: adapting is when an animal responds to a change in an environment; int6 & int5 -> int7: an animal adapting to a storm is an adaptation for survival; int7 & int2 -> hypothesis;
$proof$ = sent5 & sent9 -> int1: cheetahs are a kind of species of organism; sent7 & int1 -> int2: an example of change in cheetahs is the development of new traits; int2 & sent8 -> int3: an example of change in cheetahs is the development of a unique combination of traits being passed down from some members of the species to their offspring; sent6 & sent2 -> int4: as the genetic variation in cheetahs increases, the likelihood some members of the species will pass down a unique combination of traits to their offspring increases; int4 & int3 -> int5: as the genetic variation in cheetahs increases, the ability of cheetahs to pass down a unique combination of traits to their offspring increases; sent1 & sent3 -> int6: adapting to changes in the environment requires changing one's environment; sent4 & int6 -> int7: decreasing genetic variation in cheetahs will cause that genetic variation in cheetahs to decrease; sent10 & sent2 -> int8: genetic variation determines what inherited traits an animal will have; int8 & int5 -> int9: as the genetic variation in cheetahs increases, the ability of cheetahs to pass down unique combinations of traits to their offspring increases; int9 & int7 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: if a fish's habitat ceases to exist then that fish will die; sent2 & sent5 -> int2: if the water in a pond decreases then that pond might cease to exist; sent3 & int2 -> int3: a drought may cause a pond to cease to exist; sent4 & sent2 -> int4: fish live in ponds; int4 & int1 -> int5: if a pond ceases to exist then fish will die; int5 & int3 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: an environment requires water to grow; sent4 & int1 -> int2: a farm requires water to grow; sent8 & int2 -> int3: drought is when the amount of water in a farm decreases; sent7 & sent9 -> int4: decreasing something that is required for farming has a negative impact on farming; sent10 & sent2 -> int5: farming is when a human plants a large amount of crops at once; int5 & sent5 -> int6: a farmer may plant a large amount of crops on a farm; int3 & int6 -> int7: droughts cause farmers to plant a large amount of crops; sent3 & sent2 -> int8: farming is when a human plants crops for eating; int8 & int4 -> int9: decreasing crops has a negative impact on farming; int9 & int7 -> hypothesis;
$proof$ = sent5 & sent1 -> int1: if heat is added to sweat then sweat absorbs the heat; sent2 & int1 -> int2: when sweat evaporates it absorbs heat; sent4 & int2 -> int3: sweat absorbing heat from a source will cool the body; int3 & sent3 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: the digestive system absorbs food into the blood stream; int1 & sent6 -> int2: food is absorbed into the circulatory system through the blood stream; int2 & sent2 -> int3: the circulatory system carries food from the digestive systems to the rest of the body; int3 & sent3 -> int4: the circulatory system carries nutrients from the digestive systems to the rest of the body; sent5 & int4 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: blood cells carry oxygen to the circulatory system; sent1 & int1 -> int2: red blood cells carry oxygen to the circulatory system; sent7 & sent3 -> int3: skeletal system is a part of the body; sent5 & sent4 -> int4: the circulatory system carries oxygen from the lungs to the rest of the body; int3 & int4 -> int5: the circulatory system carries oxygen from the skeletal system to the rest of the body; int2 & int5 -> int6: red blood cells are an example of the skeletal system interacting with the circulatory system by carrying oxygen to the bones; sent2 & int6 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: a human is a kind of organism; sent9 & sent5 -> int2: a human is a part of an organism; int1 & int2 -> int3: a human is a part of an organism that requires nutrients for survival; sent3 & int3 -> int4: a human requires nutrients for survival; sent1 & sent2 -> int5: the body absorbs nutrients by digestion; int5 & sent6 -> int6: the body absorbs nutrients by the digestive system; sent11 & int6 -> int7: the liver is a part of the digestive system that absorbs nutrients; sent10 & int7 -> int8: the loss of the liver has a negative impact on the survival of the liver; int4 & int8 -> int9: the loss of the liver has a negative impact on the survival of the human; sent8 & int9 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: the immune system destroys bacteria once they have invaded the body; sent1 & sent3 -> int2: white blood cells are a kind of cell that are part of the immune system; 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; int3 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: decreasing disease-causing microbes has a positive impact on the body; sent3 & int1 -> int2: destroying disease-causing microbes has a positive impact on the body; sent5 & int2 -> int3: protecting the body has a positive impact on that body's survival / health; sent6 & sent4 -> int4: specialized cells produce chemicals that destroy disease-causing microbes; int4 & int3 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: the muscular system is a part of the body; int1 & sent5 -> int2: the muscular system and the body are parts of the body; sent1 & sent3 -> int3: an animal's brain can control animal body through the nervous system; int2 & int3 -> int4: the nervous system can control the muscular system of an animal; sent6 & int4 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: the nervous system contains nerve cells; sent3 & int1 -> int2: the nervous system conducts messages in the body; sent2 & int2 -> int3: the nervous system conducts messages in the body in the form of electrical signals; sent1 & int3 -> int4: the nervous system can send electrical signals to the body; sent4 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: consuming unhealthy food has a negative impact on an organism; int1 & sent3 -> int2: the unhealthy diet of a mother during pregnancy is harmful to the embryo; sent4 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a male and a female sex cell will provide half of the number of chromosomes in a fertilized egg; sent3 & int1 -> int2: a male and a female sex cell will recive a full amount of chromosomes by fertilization; sent4 & int2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: skin is the first layer on the body to protect the body from harmful substances; sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: skeletal system provides protection / shape / support for animals; sent1 & int1 -> hypothesis;
$proof$ = sent6 & sent5 & sent4 -> int1: a fertilized egg is when a sex cell becomes fertilized; sent7 & int1 -> int2: a fertilized egg will have 53 chromosomes; sent1 & sent3 -> int3: a fertilized egg will have 23 chromosomes; sent2 & int3 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent5 & sent3 -> int1: leaves of plant use chlorophyll to perform photosynthesis; sent2 & sent1 -> int2: green plants perform photosynthesis to provide food for themselves; sent4 & sent7 -> int3: if something is used by photosynthesis to make something else then that something is required to perform photosynthesis; int3 & int1 -> int4: leaves of plant require sunlight to perform photosynthesis; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: leaves have a large surface area; sent6 & int1 -> int2: leaves are more exposed to sunlight than other leaves; int2 & sent3 -> int3: leaves are ideal for absorbing sunlight; sent5 & sent2 -> int4: a leaf requires sunlight to perform photosynthesis; int4 & int3 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: photosynthesis is a source of food for plants; sent2 & int1 -> int2: photosynthesis is used for making food for plants; sent5 & sent6 -> int3: if photosynthesis is a source of something then it is used for making that something; int2 & int3 -> int4: photosynthesis can be used for making food for plants; int4 & sent1 -> int5: a plant uses photosynthesis to grow; sent4 & int5 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: carbon dioxide is required for the photosynthesis process; sent4 & sent1 -> int2: taking something in is a step in the photosynthesis process; int2 & int1 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: plants are a source of oxygen; sent1 & int1 -> int2: plants release oxygen; sent12 & sent6 -> int3: green plants provide food for themselves / animals / consumers; int3 & sent11 -> int4: producers produce oxygen for themselves / animals / consumers; int4 & int2 -> int5: oxygen is released by producers; sent10 & sent8 -> int6: oxygen is a kind of gas that is released by producers; int3 & sent3 -> int7: a producer requires oxygen to survive; sent9 & sent5 -> int8: if something requires something else then that something can take that something else; int8 & int7 -> int9: a producer can take oxygen from a producer; int6 & int9 -> int10: a producer can release oxygen and take it from a producer; int10 & int5 -> int11: oxygen can be released by producers and taken in by consumers; sent2 & sent6 -> int12: a consumer is a kind of consumer; int11 & int12 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: if photosynthesis uses something into something else then that something is used in photosynthesis; sent5 & sent2 -> int2: carbon in the air can be found; int2 & int1 -> int3: photosynthesis uses carbon in the air to make food for plants; sent4 & int3 -> hypothesis;
$proof$ = sent9 & sent6 -> int1: in order to use something you must absorb that something; sent3 & int1 -> int2: a plant uses chlorophyll to absorb light energy; sent7 & int2 -> int3: a plant uses chlorophyll to absorb sunlight; sent10 & sent4 -> int4: chloroplasts are a part of leaves of a plant; sent5 & int4 -> int5: chloroplasts are a part of the leaves of a plant; int3 & int5 -> int6: a leaf uses chlorophyll to absorb sunlight; sent1 & sent8 -> int7: a leaf uses sunlight to produce carbohydrates; sent2 & int7 -> int8: a leaf uses sunlight to produce sugar; int8 & int6 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: photosynthesis means producers / green plants convert carbon dioxide and water into sugar and oxygen; sent1 & int1 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: if photosynthesis converts something into something else then that something else is produced by photosynthesis; sent1 & int1 -> int2: photosynthesis produces carbohydrates and food and oxygen for itself; sent4 & int2 -> int3: photosynthesis produces sugars and oxygen; int3 & sent3 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: green plants provide food for themselves by performing photosynthesis; sent4 & int1 -> int2: producers must make food by performing photosynthesis; sent5 & int2 -> int3: producers must use a process to make food; sent8 & int3 -> int4: carbon dioxide is required for producers to make food; sent2 & sent7 -> int5: carbon dioxide can be found in the atmosphere; sent1 & int5 -> int6: carbon dioxide is a kind of gas that can be found in the atmosphere; sent9 & sent2 -> int7: carbon dioxide can be found in the photosynthesis process as a raw material; int7 & int4 -> int8: carbon dioxide is used by producers to make food; int8 & int6 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: a bird is a kind of pollinating animal; int1 & sent1 & sent4 -> int2: nectar is used by pollinators for food; sent2 & sent3 -> int3: a flower is a source of pollinators; int2 & int3 & sent7 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: a plant requires food to grow; int1 & sent4 -> int2: a plant requires food to develop; sent1 & int2 -> int3: a new plant requires food to develop during early development; int3 & sent3 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: if something is required for a process then that something has a positive impact on that process; sent5 & sent1 -> int2: pollination is when insects / wind / water carry pollen from one flower to another flower; int2 & int1 -> int3: insects / wind / water have a positive impact on pollination; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: an example of seed dispersal is is an animal hiding / gathering acorns; sent5 & sent4 -> int2: a blue jay is a kind of animal that hides / gathers acorns; int2 & int1 -> int3: an example of seed dispersal is a blue jay hiding / gathering acorns; sent7 & sent3 -> int4: seed dispersal has a positive impact on a plant / a plant's reproduction; int4 & sent8 -> int5: seed dispersal has a positive impact on an oak tree; int3 & sent9 -> int6: an example of seed dispersal is is a blue jay hiding / gathering acorns; int5 & int6 -> int7: an blue jay hiding / gathering acorns has a positive impact on an oak tree by causing seed dispersal; sent6 & int7 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: when animals eat seeds those seeds are carried from the parent plant to another area; sent5 & sent3 & int1 -> int2: bears eating berries that contain seeds has a positive impact on plants by causing seed dispersal; sent6 & sent4 -> int3: seed dispersal has a positive impact on a plant / a plant's reproduction; int2 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: roots absorb nutrients from the soil; sent4 & int1 -> int2: roots are a vehicle for absorbing minerals from the soil; sent3 & int2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: roots absorb water from soil; sent3 & int1 -> int2: roots absorb water from the soil; sent1 & int2 -> int3: a function of roots is to absorb water; int3 & sent5 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: photosynthesis is a source of sugars; sent4 & int1 -> int2: leaves are a source of sugars; sent7 & int2 -> int3: plants are a source of sugars; sent8 & int3 -> int4: plants are a source of sugar; sent6 & int4 -> int5: sugars usually travel from a plant to other areas; sent2 & int5 -> int6: sugars are transported from plants to other areas; sent5 & sent1 & int6 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: grass is a kind of living thing; sent1 & int1 -> int2: grass and animals both have the ability to grow; sent2 & sent5 -> int3: a cow is a kind of living thing; sent3 & int3 & int2 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: an alligator requires great amounts of water to survive; sent1 & int1 -> int2: an increase in water has a positive impact on alligators; sent5 & sent2 -> int3: when a body of water receives an increase in water, a flood occurs; int3 & int2 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: some animals use eating food to get energy; int1 & sent1 -> int2: an example of obtaining energy is an animal eating food; sent3 & sent5 -> int3: absorbing light is a kind of method for obtaining energy; int3 & sent2 -> int4: a green plant absorbing light is a kind of method for obtaining energy; int2 & int4 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: food usually contains nutrients and energy; sent2 & int1 -> int2: food has the property of containing nutrients and energy; sent4 & int2 -> int3: food has the property of being a source of energy for living things; sent5 & int3 -> int4: food does not have the property of being able to store nutrients and energy; int4 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: if a living thing takes in something to perform photosynthesis then that something is required for photosynthesis; sent5 & int1 -> int2: a plant requires carbon dioxide to perform photosynthesis; int2 & sent4 -> int3: a plant requires carbon dioxide as a gas to perform photosynthesis; sent1 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: a pool is a kind of environment; sent2 & sent6 -> int2: a cold pool is a kind of environment; int1 & int2 -> int3: a cold pool is required for a cold animal to live in; sent5 & sent1 -> int4: polar bears require cold environments; int4 & int3 -> int5: a cold pool is required for polar bears to live in; sent3 & int5 -> hypothesis;
$proof$ = sent7 & sent3 & sent4 -> int1: a squirrel is a kind of animal that lives in forests; int1 & sent5 & sent6 -> int2: squirrels and deer and woodpeckers are animals that live in forests; sent8 & sent2 -> int3: animals are adapted to living in forests; sent1 & sent4 -> int4: woodpeckers and squirrels are kinds of animals that live in forests; int4 & int3 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: alligators eat animals; sent1 & int1 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: plants are a source of food for herbivores; sent4 & sent1 -> int2: in the food chain process herbivores have the role of primary consumer which eats producers; sent3 & int2 -> int3: in the food chain herbivores eat producers; int3 & int1 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: decomposers add nutrients to soil using decomposition; sent2 & sent4 -> int2: a plant requires nutrients in soil to grow / survive; sent5 & int2 -> int3: an increase of nutrients in soil has a positive impact on a plant's survival; sent3 & int3 -> int4: decomposers help a plant survive and grow; int1 & int4 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: plants are a source of food for animals; int1 & sent2 -> int2: plants use nutrients in soil for survival; sent8 & sent10 -> int3: a plant requires nutrients in soil to grow; int3 & sent12 -> int4: a plant requires nutrients in soil for survival; int4 & int2 -> int5: plants require nutrients in soil for survival; int5 & sent7 -> int6: nutrients in soil are important to plants; sent5 & sent4 -> int7: a consumer is a kind of role in the food chain; int7 & sent3 -> int8: a producer is a kind of role in the food chain; int8 & int6 -> int9: nutrients in soil are important to the food chain; sent9 & int9 -> int10: decomposers are important to the food chain by returning nutrients from dead organisms to the soil; sent11 & int10 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: most plants make food for themselves by performing photosynthesis; int1 & sent2 -> int2: plants make food by converting carbon dioxide, water, and sunlight into carbohydrates; sent6 & int2 -> int3: plants make food by turning sunlight into food; sent3 & int3 -> int4: plants turn sunlight into food energy; sent5 & int2 -> int5: plants turn sunlight into food energy by performing photosynthesis; int4 & int5 -> int6: plants turn sunlight into food energy using photosynthesis; sent2 & sent5 -> int7: photosynthesis is a kind of method for turning something into food; int7 & int6 -> int8: plants turn sunlight into food using photosynthesis; sent2 & sent5 -> int9: to turn something into something else means to turn something into something else; int9 & int8 -> int10: plants turn sunlight into food using photosynthesis; sent1 & sent8 -> int11: if a plant makes food for itself then that plant does not need to eat other organisms; int11 & int10 -> hypothesis;
$proof$ = sent6 & sent9 -> int1: if photosynthesis converts something into something else then that something is used for photosynthesis; int1 & sent8 -> int2: photosynthesis uses solar energy; sent5 & int2 -> int3: plants use solar energy to perform photosynthesis; sent4 & sent7 -> int4: green plants make food by performing photosynthesis; int3 & int4 -> int5: plants use solar energy to make food; sent3 & sent1 -> int6: the sun is a source of energy; int5 & sent2 -> int7: plants use energy from solar energy to make food; sent10 & int6 -> int8: plants use energy from the sun; int8 & int7 -> hypothesis;
$proof$ = sent9 & sent2 -> int1: if an animal eats another animal then the animal will be the predator and the other animal will be the prey; int1 & sent6 -> int2: large birds are predators to small animals and small animals are prey to large birds; int2 & sent7 -> int3: as the population of large birds decreases the population of small animals will increase; sent10 & sent1 -> int4: harming large birds can cause large birds to die; sent5 & sent10 -> int5: harming large birds can cause that large bird to die; int5 & int4 -> int6: large birds dying because of disease can cause small birds to die; sent3 & sent10 -> int7: disease has a negative impact on large birds; int3 & int7 -> int8: large birds dying because of disease can cause small birds to increase; int8 & int6 -> int9: if large birds die because of disease then the number of small birds will increase; sent10 & sent4 -> int10: if a large bird dies then the population of that large bird will decrease; sent8 & int9 & int10 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: earthworms can loosen the soil; sent3 & int1 -> int2: loose soil increases the amount of oxygen in that soil; int2 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: plant reproduction requires pollination by pollinating animals; sent1 & int1 -> int2: pollination by pollinating animals can happen in plant reproduction; sent2 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: tree roots help fungus survive; sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: barney is a kind of organism; int1 & sent5 & sent1 -> int2: barney's scar on his ear is an acquired characteristic; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: balancing a ball on one's nose is a kind of learned behavior; int1 & sent2 -> int2: balancing a ball on one's nose is a learned behavior; sent4 & int2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a scar on the knee is a kind of acquired characteristic; sent2 & sent3 -> int2: acquired characteristics are not passed from parents to offspring; int1 & int2 -> hypothesis;
$proof$ = sent5 & sent1 -> int1: pulling a plow is a kind of learned characteristic; sent6 & int1 -> int2: pulling a plow is a kind of learned characteristic of an animal; sent4 & sent3 -> int3: an instinctive behavior is a kind of learned characteristics; int2 & int3 & sent2 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: looking in a garbage can requires opening that garbage can; sent1 & int1 -> int2: an animal will look for food in places that usually contain food; sent3 & int2 -> int3: animals will look for food in places that usually contain food; sent4 & int3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: hunting is a kind of learned characteristics; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a fox is a kind of living thing; int1 & sent4 -> int2: genes are able to determine the inherited characteristics of the fox; sent3 & int2 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: genetic information in the dna can be used for making proteins; sent1 & int1 -> int2: the genetic information in the dna can be used for making proteins; int2 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 & sent3 -> int1: the offspring will exhibit a combination of the traits of red and white flowers; int1 & sent4 & sent5 -> hypothesis;
$proof$ = sent6 & sent1 & sent2 -> int1: the offspring will have a 25% probability of being homozygous dominant; int1 & sent7 & sent3 & sent4 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: a thick trunk is a part of a pecan tree for supporting the tree; sent1 & int1 & sent2 -> int2: the offspring of the pecan tree can inherit the thick trunk from the parent pecan tree; sent3 & int2 -> hypothesis;
$proof$ = sent3 & sent6 & sent4 -> int1: cats will inherit inherited characteristics from their parents; sent5 & int1 -> int2: cats will have the same coloration of fur as their parents; int2 & sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: offspring will inherit the color of fur from parents; sent1 & sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent4 & sent2 -> int1: the sexual reproduction process is prevented in the insects; int1 & sent3 & sent1 -> int2: the reproduction rate in the insects will decrease; sent5 & int2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: a fruit fly is a kind of insect; sent1 & int1 -> int2: a fruit fly is a kind of animal; int2 & sent3 -> int3: a fruit fly is a kind of animal that reproduces sexually; sent5 & int3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: fire causes paper to burn; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent1 & sent4 & sent3 -> int1: calcium carbonate is made of three different elements chemically combined; int1 & sent2 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: sodium and chlorine are two elements; int1 & sent1 -> int2: sodium chloride is made of two elements chemically combined; sent3 & sent5 -> int3: sodium and chlorine atoms are different kinds of atoms; int3 & int2 & sent2 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: calcium carbonate reacting with hydrochloric acid produces carbon dioxide; int1 & sent2 -> int2: a chemical reaction happened between limetone and hydrochloric; sent3 & sent2 -> int3: a limestone is made of calcium carbonate and a hydrochloric acid solution; sent4 & int2 & int3 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: folding a sheet of paper changes the shape of the object; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> int1: melting butter changes butter from a solid to a liquid; sent5 & int1 -> int2: melting butter is a kind of phase change; int2 & sent4 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: water boiling is a kind of physical process; sent3 & int1 -> int2: water is boiling in a physical process; int2 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the nucleus of an atom is made of protons, neutrons, and electrons; int1 & sent2 -> int2: neutrons are part of the nucleus of an atom; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: rubbing different materials can cause the electrical charge of the materials to be unbalanced; int1 & sent1 & sent6 -> int2: rubbing rubber on wool can cause the electrical charge of the wool to be unbalanced; int2 & sent8 -> int3: rubbing rubber on wool will cause the electrical charge of the wool to be unbalanced; sent7 & sent4 -> int4: small strips of paper are a kind of object; sent5 & int4 & int3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: equal numbers of protons and electrons result in a neutral 0 electric charge; int1 & sent4 -> int2: equal numbers of protons and electrons and any number of neutrons result in a neutral 0 electric charge; sent1 & int2 -> int3: if an atom has an equal number of protons and electrons, then the atom will have a neutral charge; int3 & sent5 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> int1: one proton and one neutron together will be the mass of an atom; int1 & sent4 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: hair being positively charged causes the electrical charge of the hair to be unbalanced; sent4 & sent3 -> int2: losing electrons causes the electrical charge of a hair to be unbalanced; sent1 & int1 & int2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: protons will be positively charged; sent3 & sent1 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: ions are formed during a chemical reaction; int1 & sent2 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: iron is a solid substance; sent1 & int1 -> int2: iron changes from a solid into a liquid by increasing heat energy; sent3 & int2 -> int3: the speed of iron increases when temperature increases; int3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: copper is made of atoms; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: potassiumn and sodium belong to alkali metals; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: helium, neon, and argon have similar properties; int1 & sent2 & sent4 & sent5 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the boiling point of a substance can be used to identify that substance; int1 & sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent5 & sent2 -> int1: the water in both pans has the same volume; int1 & sent4 -> int2: the water in both pans will have the same volume; int2 & sent3 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: puddles of water will receive sunlight; sent5 & int1 -> int2: the puddles of water will increase in temperature; int2 & sent1 -> int3: the puddles of water will increase in heat energy; int3 & sent2 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 & sent3 -> int1: as the temperature of water decreases, the water will move slower; sent4 & int1 -> int2: the water will decrease heat energy; int2 & sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 & sent4 -> int1: the heat energy of water is decreasing; sent5 & int1 -> int2: the temperature of water is decreasing; sent1 & int2 & sent4 -> hypothesis;
$proof$ = INVALID_PROOF;
$proof$ = sent5 & sent1 & sent3 -> int1: the ice cube will absorb solar energy; int1 & sent7 -> int2: the ice cube will heat; int2 & sent4 & sent2 & sent6 -> hypothesis;
$proof$ = sent4 & sent6 & sent7 -> int1: the ice cube will absorb solar energy; sent3 & sent5 -> int2: absorbing solar energy causes objects to heat; int2 & int1 -> int3: the ice cube will heat; int3 & sent1 & sent2 & sent7 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent4 & sent6 -> int1: matter in the liquid phase has a variable shape; sent1 & int1 -> int2: chocolate is a solid substance; sent5 & int2 & sent3 -> int3: the shape of the chocolate changes when it melts; int3 & sent6 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> int1: water will change from a liquid to a gas when heated above its boiling point; sent4 & int1 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 & sent4 & sent2 -> hypothesis;
$proof$ = sent5 & sent3 & sent2 -> int1: comparing the mass and volumes of different objects requires measuring the mass and volumes of each object; sent6 & sent4 & int1 -> int2: comparing the mass and volumes of different objects requires using a balance and graduated cylinder for each object; int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent2 & sent3 & sent4 -> int1: comparing the mass of different potato slices requires measuring the mass of each potato slice; sent1 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a compass is a kind of invention; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: kilogram can be used to measure the mass of heavy objects; int1 & sent1 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: water and sand are two substances; int1 & sent2 -> int2: wet sand is made of at least two substances; sent1 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: sand and clay are different sized solids; sent4 & int1 -> int2: a mixture of sand and clay is a mixture of different sized solids; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: fruit salad is made of solids; sent5 & sent2 -> int2: fruit salad is a kind of mixture; int1 & int2 -> int3: fruit salad is a mixture of solids; int3 & sent4 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a tennis ball is buoyant; sent1 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: grouping objects by their appearance is an example of classifying; sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: metal is the material that has a higher melting point than other materials; int1 & sent4 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: an object has the properties of the material it is made of; sent3 & int1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: iron nails are made of metal; int1 & sent2 & sent1 -> int2: iron nails can conduct electricity and heat; sent3 & sent5 -> int3: iron nails are magnetic; int2 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a drill is a tool for cutting holes; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: a spoon is a kind of thermal conductor; int1 & sent3 -> int2: if a spoon is exposed to a source of heat, then the conductor may become hot; sent1 & sent2 -> int3: the hot water will be a source of heat for the metal spoon; int3 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: light cannot shine through an object; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: touch can be used to detect texture; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: matter in gas phase has variable volume and variable shape; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: as the ability to preserve food increases, the ability to transport food will increase; int1 & sent1 -> int2: as the transportation technology for food increases, the available types of food in distant locations will increase; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: airports usually have runways for airplanes; sent3 & int1 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: a camera can be used for recording images; sent2 & sent3 -> int2: an example of observing a tree is taking a picture; int2 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = INVALID_PROOF;
$proof$ = sent2 & sent4 -> int1: heat of a liquid is transferred to the environment; int1 & sent1 -> int2: the temperature of the liquid will decrease and the liquid may freeze; sent3 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;