$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: the 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$ = sent2 & sent1 -> int1: galaxy shape is a property of the appearance of the galaxy; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: the earth is a planet that revolves around the sun; sent5 & sent1 -> int2: earth is a planet that revolves around the sun; sent2 & int2 -> int3: the moon revolves around the earth; int3 & int2 -> int4: the moon and the earth both revolve around the sun; int1 & int4 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: solids are more dense than gas; sent3 & sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: earth is a celestial object; int1 & sent3 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: a star is a source of light through nuclear reactions; sent2 & sent5 -> int2: the sun is a source of heat energy; int2 & int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the sun is an average sized yellow dwarf; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the sun is a kind of yellow main-sequence star; sent3 & int1 -> 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; sent5 & int2 & sent2 -> 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; int3 & sent6 -> int4: 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 & int4 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> int1: a telescope can be used for observing the moon; int1 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> 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$ = sent4 & sent2 -> int1: a human requires oxygen to breathe; sent5 & sent1 -> int2: space does not contain oxygen; sent3 & int1 -> int3: an astronaut requires oxygen to breathe; sent6 & int2 -> int4: a spacesuit backpack does not contain oxygen; int4 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: precipitation and infiltration are stages in the water cycle where precipitation and infiltration occur; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> 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 with 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$ = sent3 & sent2 -> int1: fossils can be used as information on ancient environment; sent1 & sent4 -> int2: the scientist has to gather information on ancient environment; int1 & int2 -> 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$ = sent1 & sent2 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: sedimentary and metamorphic are classes of rock; sent5 & sent7 -> int2: sedimentary rocks can contain fossils; sent4 & int1 -> int3: sedimentary rocks can be changed into metamorphic rocks; int2 & sent1 -> int4: sedimentary rocks can contain fossils and metamorphic rocks do not contain fossils; sent2 & int3 -> int5: formation in the rock cycle can mean sedimentary rocks changes into metamorphic rocks; int4 & int5 -> 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 amount of matter on earth will stay the same; sent2 & int5 -> 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$ = sent1 & sent2 -> int1: granite is a hard material that forms from cooling magma; sent3 & sent4 -> int2: igneous rock is a kind of material; sent3 & sent5 -> int3: igneous rock is hard; int3 & int2 & int1 -> hypothesis;
$proof$ = sent7 & sent10 -> int1: light and dark are different kinds of color; sent9 & sent11 -> int2: sedimentary rocks are made of small particles of sand; sent1 & int1 -> int3: light and dark are different kinds of colors; sent5 & int2 -> int4: a rock is made of small particles of sand; sent4 & int3 -> int5: light and dark are different kinds of things; sent2 & int4 -> int6: a rock is made of sediment; sent8 & int5 -> int7: if a rock has light-colored layers and dark-colored layers then that rock was likely formed by sediments compacting and cementing together; sent3 & int6 -> int8: sedimentary rocks are formed by sediments compacting and cementing together; sent6 & int8 -> int9: sedimentary rocks are often formed by sediments compacting and cementing together; int7 & int9 -> 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$ = sent4 & sent7 -> int1: fossil fuels are formed from decaying vegetation from a very long time ago; sent2 & sent8 & sent6 -> int2: coal and oil and gas are kinds of fossil fuels; sent2 & sent6 & sent12 -> int3: natural gas and coal are kinds of fossil fuels; sent1 & int1 -> int4: fossil fuels are formed from decaying plants from a very long time ago; sent3 & int2 -> int5: coal and oil and gas are kinds of processes; sent10 & int4 -> int6: forming fossil fuels requires deposition and burial of decaying plants; sent5 & int5 -> int7: if something is required for the formation of coal and oil and gas then that something helps in the process; sent9 & int6 -> int8: forming fossil fuels requires deposition and burial of plants; int8 & sent11 -> int9: forming coal and oil and gas requires deposition and burial of plants; int9 & int7 -> int10: decaying plants help in the formation of coal and oil and gas; int10 & int3 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: if something releases something else into the atmosphere then that something adds that something else to the atmosphere; sent1 & sent8 -> int2: burning coal is used for generating heat by burning; sent9 & sent11 -> int3: if something occurs by burning something else is required for that something to occur; sent2 & sent12 -> int4: an increase in temperature is a kind of change in temperature; int2 & int3 -> int5: burning coal is required for that something to occur; sent6 & int4 -> int6: an increase in temperature adds heat; int6 & sent3 -> int7: an increase in temperature adds heat to the atmosphere; sent4 & int7 -> int8: burning fossil fuels adds heat to the atmosphere; int5 & int8 -> int9: burning fossil fuels adds carbon dioxide and heat to the atmosphere; int9 & int1 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: global warming is when temperature increase across the entire earth; sent2 & sent6 -> int2: gases that come from the use of fossil fuels release that something; sent4 & int1 -> int3: global warming has a significant impact on the earth; int2 & sent8 -> int4: gases that come from the use of fossil fuels cause global warming; int4 & int3 -> 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$ = sent3 & sent2 -> int1: gases released during the use of fossil fuels contributes to global warming; sent4 & sent1 & int1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: burning coal and gasoline is a kind of human activity; sent4 & sent3 & sent8 -> int2: burning coal and gasoline emits sulfur dioxide; int2 & sent7 & sent9 -> int3: burning coal and gasoline causes acid rain; int1 & int3 & sent2 -> hypothesis;
$proof$ = sent8 & sent7 -> int1: subduction may occur at the converging boundaries of tectonic plates; sent9 & sent4 -> int2: thermal conduction is when tectonic plates conduct heat through those tectonic plates through collision of particles; sent10 & sent5 -> int3: thermal conduction is when heat flows from a warmer object to a cooler object; sent11 & sent1 -> int4: thermal energy is a kind of energy; sent6 & int1 -> int5: subduction may occur when one tectonic plate moves under another tectonic plate; sent9 & int3 -> int6: when thermal conduction occurs between two materials, heat is transferred from the warmer material to the cooler material; sent2 & int4 -> int7: the subduction process may involve a large amount of thermal energy; sent4 & int5 -> int8: subduction may occur when tectonic plates move under each other; int2 & int6 -> int9: when thermal conduction occurs between two tectonic plates, heat is transferred from the warmer to the cooler; int8 & int9 -> int10: subduction may occur between tectonic plates; sent3 & int10 -> int11: subduction may involve a transfer of energy; int7 & int11 -> hypothesis;
$proof$ = sent7 & sent1 -> int1: if something affects something else then that something affects that something else; sent11 & sent2 -> int2: surface mining removes vegetation from above the coal; sent3 & sent12 -> int3: coal is found underground; sent4 & int1 -> int4: if something affects one part of the earth then that something affects that other part; sent10 & int2 -> int5: surface mining removes the vegetation from above the coal; sent5 & int3 -> int6: the lithosphere is made of coal; sent9 & int6 -> int7: the lithosphere and biosphere are both made of coal; sent8 & int7 -> int8: surface mining affects parts of the biosphere; int8 & int4 -> int9: surface mining affects parts of the lithosphere and biosphere; int5 & int9 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: ethanol is made of a crop; sent4 & sent8 -> int2: as the use of ethanol increases the use of materials that ethanol is made out of increases; sent9 & sent2 -> int3: a farmer uses farm land for food production; sent9 & sent2 -> int4: a farmer uses farm land to produce crops / plants; int2 & sent3 -> int5: as the use of ethanol increases the use of ethanol decreases; int4 & int1 -> int6: ethanol is made of farm land; int3 & int6 -> int7: ethanol is made of farm land used for food production; sent7 & int7 -> int8: as the use of ethanol increases the amount of available farm land for food production decreases; int5 & int8 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: energy from ocean tides is a renewable resource; sent2 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: building materials are used to build houses; sent4 & sent5 -> int2: wood is a kind of renewable natural resource; int1 & sent2 -> int3: wood boards are a kind of building material that can be used to build houses; int2 & sent6 -> int4: wood boards are made of a renewable natural resource; int4 & int3 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: irrigation is a kind of process that requires water use; sent8 & sent5 -> int2: irrigation can be performed on agricultural ground; sent9 & sent3 -> int3: water can decrease the amount of nutrients in soil; sent6 & int1 -> int4: increasing irrigation increases the amount of water used in the irrigation process; sent2 & int3 -> int5: increases in water use can decrease the amount of nutrients in soil; int5 & int4 -> int6: increasing irrigation can decrease the amount of nutrients in soil; sent1 & int6 -> int7: increasing irrigation can deplete the nutrients in soil; int2 & int7 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: if something causes soil erosion then that something results in desertification; sent3 & sent6 -> int2: increasing erosion can increase the rate at which erosion occurs; sent2 & int2 -> int3: overgrazing can increase the rate at which soil erosion occurs; int2 & sent2 -> int4: overgrazing can increase the rate at which soil is eroded; int4 & sent4 -> int5: overgrazing can increase the rate at which topsoil is eroded; int1 & int3 & int5 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: cut trees are needed to make paper; sent1 & sent5 -> int2: decreasing the amount of trees cut has a postive impact on an environment; int1 & 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; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: decreasing tree roots causes soil erosion to decrease; sent5 & sent6 -> int2: clearing trees from a forest means cutting down trees in that forest; sent7 & int1 -> int3: decreasing tree roots causes soil erosion to increase; sent4 & int2 -> int4: clearing trees from a forest causes the number of trees to decrease in that forest; sent3 & int3 -> int5: decreasing tree roots causes that something else to increase; int4 & int5 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: roots are a part of plants and trees; sent3 & sent7 -> int2: cutting down a forest means removing the forest; int1 & sent5 -> int3: cutting down trees causes soil erosion to increase; sent8 & int2 -> int4: cutting down a forest causes the number of trees to decrease in that forest; sent1 & int4 -> int5: cutting down forests decreases the number of trees in that forest; sent5 & int5 -> int6: cutting down forests decreases the parts of a forest that decreases trees; sent2 & int6 -> int7: cutting down forests causes that something else to increase; int3 & int7 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: if a tree is removed then the amount of that tree will decrease; sent6 & sent3 -> int2: as the amount of plants decreases, the amount of oxygen will decrease; int1 & sent2 -> int3: deforestation causes the amount of trees in a forest to decrease; sent3 & int2 -> int4: as the amount of plants decreases, the production of oxygen will decrease; int3 & int4 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: seawater is a kind of water that contains salt; sent2 & sent6 -> int2: water that has salt removed from it is a source of salt; sent1 & int1 -> int3: seawater contains salt; int2 & int3 -> 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$ = sent4 & sent3 -> int1: glaciers are a kind of water reservoir; sent5 & sent1 -> int2: mountain glaciers are a source of freshwater; int2 & sent2 -> int3: mountain glaciers provide freshwater; int3 & int1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: humans building trails by cutting down trees is a kind of change; sent6 & sent5 -> int2: humans changing ecosystems has a negative impact on earth; int1 & sent5 -> int3: humans building trails by cutting down trees has a negative impact on the ecosystem; int3 & int2 -> int4: humans building trails by cutting down trees has a negative impact on earth; int1 & int4 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: runoff from a cropland entering bodies of water causes water pollution; sent2 & int1 -> int2: runoff from a cropland entering water has a negative impact on water quality; int1 & sent2 -> int3: runoff from a cropland entering bodies of water has a negative impact on water quality; sent1 & int2 -> int4: runoff from a cropland entering a lake has a negative impact on water quality; int3 & sent5 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: if humans disturb animals in a beach then those animals will move to a different beach; sent3 & int1 -> int2: if humans disturb seals at a beach then those seals will move to a different beach; sent4 & int2 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: recycling resources has a positive impact on the conservation of resources; sent6 & sent1 -> int2: beans are a kind of resource; sent2 & int1 -> int3: recycling resources helps conserve resources; int3 & int2 -> 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$ = sent5 & sent4 -> int1: fertilizers in the runoff from the farm can contain fertilizers; sent3 & int1 -> int2: fertilizers in the runoff from the farm can increase algae growth; sent3 & int1 -> int3: fertilizers in the runoff from the farm can increase algae's growth; int2 & int3 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: toxic chemicals can cause harm to organisms; sent6 & sent7 -> int2: a fish lives in a pond; sent4 & int1 -> int3: toxic chemicals can cause organisms to die; sent1 & int2 -> int4: toxic chemicals are dumped into a pond with fish; int3 & sent5 -> int5: toxic chemicals can cause fish to die; int4 & int5 -> 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; int1 & sent4 -> int2: an earthquake can change earth's surface in a short amount of time; int2 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent2 & sent5 & sent6 & sent1 -> 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$ = sent1 & sent2 -> int1: a submarine is a kind of object that can descend into water; sent3 & int1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the lithosphere is made of sedimentary rock; int1 & sent1 -> int2: the lithosphere is made of limestone; sent2 & int2 -> 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 thick soil has a negative impact on a tree's survival; sent5 & int3 -> 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$ = sent1 & sent3 -> 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; int1 & int2 -> 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; sent4 & sent6 -> int2: water evaporating means water changes from a liquid into a gas by increasing heat energy; int1 & sent3 -> int3: absorbing the energy from the sun will cause drops of water to heat; sent5 & int2 -> int4: water evaporating means water will disappear; int4 & int3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; sent5 & sent6 & sent3 -> int2: water absorbing solar energy will increase in temperature; int2 & sent4 -> int3: water absorbing solar energy will increase in heating energy; sent1 & int3 -> int4: the sun has the role of causing water absorbing solar energy will increase in heating energy; int1 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a thunderstorm is a source of precipitation; sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent5 & sent9 -> int1: the bowling ball and the floor are falling objects; sent4 & sent5 & sent9 -> int2: the bowling ball is a mechanical object that touches the floor; int2 & int1 & sent1 -> int3: sound is produced when the bowling ball is touching the floor; int3 & sent2 -> int4: the mechanical energy in the bowling ball is converted into sound energy when it touches the floor; int4 & 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$ = sent1 & sent2 & sent3 -> int1: methane reacting with oxygen is a combustion reaction; int1 & sent4 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: an incandescent light bulb converts electrical energy into heat energy and light energy; sent1 & sent6 -> int2: if something is used for seeing then that something produces the things required for that seeing; sent3 & sent7 -> int3: if something converts a resource into energy it doesn't use then that something is not using the resource efficiently; int2 & sent9 -> int4: a light bulb produces light energy for seeing in the dark; int4 & sent8 -> int5: a light bulb requires light energy to see; int5 & int1 -> int6: a light bulb requires heat energy to see; sent5 & int6 -> int7: the light bulb produces heat energy that is not used; int3 & int7 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: coiled wires are a kind of insulated wire; sent3 & int1 & sent1 -> int2: an electromaget is made of coiled wires, iron rod, and battery; sent4 & int2 -> 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$ = sent3 & sent1 -> int1: a convex lens causes light to bend when the light passes through the lens; sent2 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: air is a kind of medium; int1 & sent2 -> int2: light rays pass through an air medium; int1 & sent2 -> int3: light rays pass through a medium called air; int1 & sent2 -> int4: the light rays will pass through an air medium; int3 & int4 -> int5: the light rays will pass through a medium called air; int2 & int5 & sent6 -> int6: the light rays will pass through a glass window; sent7 & int6 -> hypothesis;
$proof$ = sent7 & sent2 & 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$ = sent4 & sent5 & sent6 -> int1: saltwater and freshwater are both kinds of substances; sent2 & sent3 & 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; sent2 & sent4 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: hot chocolate is a source of heat; sent6 & sent3 -> int2: if heat is conducted to the spoon then the spoon will become hot; sent8 & sent4 -> int3: if a spoon is used to stir a liquid, then the spoon is exposed to the liquid; sent1 & sent9 -> int4: spoons are thermal conductors; int3 & sent7 -> int5: if a spoon is used to stir hot chocolate, the the spoon is exposed to the hot chocolate; sent10 & int4 -> int6: if a spoon is exposed to a source of heat, then the conductor may become hot; sent11 & int5 -> int7: the spoon is exposed to the hot chocolate; int7 & int1 & int6 -> int8: the hot chocolate is a source of heat for the spoon; int2 & int8 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: sunlight is a kind of electromagnetic wave; sent4 & sent2 -> int2: the brick absorbs heat energy from the sun; int1 & sent5 -> int3: sunlight transfers heat and light energy via radiation; int3 & int2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: ultraviolet light in sunlight causes sunburn; sent1 & int1 -> hypothesis;
$proof$ = sent2 & sent5 & 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$ = sent3 & sent6 & sent5 -> int1: two sticks are moving against each other; sent4 & int1 & sent3 -> int2: friction occurs when two sticks are moving against each other; sent4 & int1 & sent3 -> int3: friction occurs between two sticks; int2 & sent2 -> int4: frictional force occurs between two sticks; int3 & int2 -> int5: friction occurs between two sticks when they are moving against each other; sent1 & int5 & int4 -> 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 & sent3 & sent6 -> 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$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a magnet can attract a paper clip; sent3 & sent1 -> int2: a magnet will attract a paper clip; sent1 & sent3 -> int3: a magnet attracting a paper clip is an example of magnetism affecting a paper clip; sent5 & sent4 -> int4: magnetism can affect objects that are not touching; sent2 & int1 & int3 -> int5: a magnet attracting a paper clip is an example of magnetism affecting an object; int4 & sent2 -> int6: a magnet affecting a paper clip is an example of non-contact force affecting an object; int2 & int6 & int5 -> 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; sent7 & sent8 -> int2: reptile is a kind of taxonomic group of animals; sent10 & sent5 -> int3: a reptile and a bird do not have fur; int2 & sent4 & sent3 -> int4: mammals are part of one taxonomic group; int1 & int3 -> int5: both reptiles and birds do not have fur; sent9 & int5 -> int6: fur is only part of mammals; sent1 & int5 -> int7: both birds and reptiles do not have fur; int4 & int6 -> int8: fur is only part of mammals in the taxonomic group; int7 & int8 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: all species of birds have feathers and wings; sent8 & sent4 -> int2: feathers are a part of birds and wings are a part of birds; sent5 & sent10 -> int3: feathers are not a part of reptiles and feathers are not a part of amphibians; sent10 & sent5 -> int4: feathers are not a part of amphibians and are not a part of reptiles; int1 & int2 -> int5: feathers and wings are a characteristic of birds; int4 & int3 -> int6: feathers are not a part of mammals and are not a part of reptiles; sent1 & int6 -> int7: feathers are a characteristic of mammals and reptiles and birds; sent12 & int7 -> int8: feathers and wings are characteristic of mammals and reptiles and birds; int8 & sent2 -> int9: feathers and wings are distinguishing characteristics of mammals and reptiles and birds; int5 & int9 -> hypothesis;
$proof$ = sent1 & sent8 -> int1: evolution can occur over a long period of time; int1 & sent4 -> int2: evolution has occurred in recent geological history over a relatively short period of time; int1 & sent4 -> int3: evolution can occur over a relatively short period of time; sent4 & int1 -> int4: evolution has occurred in recent geological history; int3 & int4 -> int5: animals with similar bone structure probably evolved from a common ancestor; int2 & int5 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: laying eggs only occurs during adulthood; sent5 & sent1 -> int2: a frog is a kind of amphibian that lay eggs; sent2 & int1 -> int3: laying eggs only occurs during the adult stage in the life cycle; int3 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the adult form of a caterpillar is a butterfly and the immature form of a butterfly is a caterpillar; sent3 & sent4 -> int2: an example of metamorphosis is when a butterfly changes from an immature form to an adult form; int1 & int2 -> 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; sent3 & sent2 -> int2: living in water causes an organism to adapt to water; sent6 & int1 -> int3: webbed feet are used by aquatic animals for moving faster through water; sent5 & int3 -> int4: webbed feet have a positive impact on an aquatic animal's survival in water; int2 & int4 -> int5: webbed feet are an adaptation for living in water; sent4 & int5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: camouflage is used by animals to avoid being seen by predators; sent2 & int1 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: coloration is a kind of adaptation for hiding in an environment; sent6 & sent2 -> int2: an arctic environment becomes white in the winter; sent11 & sent7 -> int3: an arctic hare turns white in the winter; sent4 & int1 -> int4: an example of camouflage is an animal having the same color as its environment; int3 & int2 -> int5: an arctic hare and an arctic environment both have the same color in the winter; sent8 & int4 -> int6: an example of coloration is an animal having the same color as its environment; sent3 & int6 -> int7: an example of coloration is an arctic hare having the same color as its environment; int7 & int5 -> int8: an example of coloration is an arctic hare having the same color as an arctic environment in the winter; sent9 & int8 -> hypothesis;
$proof$ = sent2 & sent1 & sent11 -> int1: a snowshoe hare sheds its fur during the summer and winter; sent6 & int1 -> int2: a snowshoe hare is brown in the summer and white in the winter; sent10 & int2 -> int3: a snowshoe hare and its environment are both change color to brown in the summer and white in the winter; sent8 & int3 -> int4: an animal having the same color as its environment is an example of coloration; int4 & sent9 -> int5: an example of coloration is an animal changing into the color of the environment; int5 & sent3 -> int6: coloration is a kind of adaptation for hiding in an environment; int6 & sent5 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: green environments contain leaves; sent4 & sent6 -> int2: an insect is a kind of organism; sent2 & sent3 -> int3: an example of camouflage is an organism having the same color as its environment; int1 & int2 -> 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; sent2 & sent1 -> int2: an example of an adaptation is an animal with little food storing fat; sent1 & sent2 -> int3: an adaptation is something that is used for survival in an environment with little food; int1 & int3 -> int4: an example of an adaptation is something that is used for survival in an environment with limited food; int4 & int2 -> int5: an example of an adaptation is an animal with limited food storing fat; sent3 & int5 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: some animals' fur grows thicker for staying warm in the winter and shed fur in spring; sent4 & sent7 & sent5 -> int2: spring is a season with warm weather; sent1 & int2 -> int3: winter is a season with cold weather and spring is a season with warm weather; sent3 & int3 -> int4: changes in seasons can cause change to the environment; int1 & int4 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: storing water is a kind of adaptation for increasing the availability of water; sent1 & sent4 -> int2: as dryness in an environment increases, the available water in that environment will decrease; int1 & sent5 -> int3: waxy leaves are used by some plants for storing water; int2 & sent7 -> int4: if an environment is dry, then the plants in that environment will require water to survive; int3 & int4 -> int5: waxy leaves are used by plants for survival in a dry environment; sent6 & int5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: eating something has a negative effect on that something; int1 & sent2 -> int2: a sharp object can be used for protection against animals; sent6 & int1 -> int3: animals have a negative impact on cacti; int2 & sent5 -> int4: a cactus spine is a kind of protection against animals; sent4 & int3 -> int5: a cactus must protect itself from animals; int4 & int5 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: adapting is when an animal responds to a change in an environment; sent2 & sent7 -> int2: adaptations have a positive impact on the survival of an organism; sent8 & sent1 -> int3: a storm can cause changes to an environment; int2 & sent6 -> int4: adaptations are used by organisms for survival; sent5 & int3 -> int5: an animal that is able to adapt to a storm is likely to survive; sent4 & int4 -> int6: adaptations are used by animals for survival; int1 & int6 -> int7: an animal adapting to a storm is an adaptation for survival; int7 & int5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: adapting to changes in the environment requires changing one's environment; sent6 & sent2 -> int2: 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; sent5 & sent9 -> int3: cheetahs are a kind of species of organism; sent10 & sent2 -> int4: genetic variation determines what inherited traits an animal will have; sent7 & int3 -> int5: an example of change in cheetahs is the development of new traits; int5 & sent8 -> int6: 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; int2 & int6 -> int7: as the genetic variation in cheetahs increases, the ability of cheetahs to pass down a unique combination of traits to their offspring increases; int4 & int7 -> int8: as the genetic variation in cheetahs increases, the ability of cheetahs to pass down unique combinations of traits to their offspring increases; int1 & int8 -> int9: as the genetic variation in cheetahs increases, the ability of cheetahs to adapt to changes in the environment decreases; sent4 & int9 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: fish live in ponds; sent2 & sent5 -> int2: if the water in a pond decreases then that pond might cease to exist; sent1 & sent6 -> int3: if a fish's habitat ceases to exist then that fish will die; sent3 & int2 -> int4: a drought may cause a pond to cease to exist; int1 & int3 -> int5: if a pond ceases to exist then fish will die; int5 & int4 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: farming is when a human plants crops for eating; sent6 & sent1 -> int2: an environment requires water to grow; sent7 & sent9 -> int3: decreasing something that is required for farming has a negative impact on farming; sent10 & sent2 -> int4: farming is when a human plants a large amount of crops at once; sent4 & int2 -> int5: a farm requires water to grow; int1 & int3 -> int6: decreasing crops has a negative impact on farming; int4 & sent5 -> int7: a farmer may plant a large amount of crops on a farm; sent8 & int5 -> int8: drought is when the amount of water in a farm decreases; int8 & int7 -> int9: droughts cause farmers to plant a large amount of crops; int6 & int9 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: sweat evaporates; sent5 & sent1 -> int2: if heat is added to sweat then sweat absorbs the heat; sent1 & sent5 -> int3: if heat is added to sweat then sweat absorbs heat; int3 & int2 -> int4: sweat absorbs heat; int1 & int4 -> int5: sweat absorbing heat as it evaporates is an example of heat absorption; int5 & sent4 -> int6: sweat absorbing heat from a source will cool the body; int6 & 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$ = sent5 & sent4 -> int1: the circulatory system carries oxygen from the lungs to the rest of the body; sent6 & sent5 -> int2: blood cells carry oxygen to the circulatory system; sent7 & sent3 -> int3: skeletal system is a part of the body; int2 & sent1 -> int4: red blood cells carry oxygen to the circulatory system; int3 & int1 -> int5: the circulatory system carries oxygen from the skeletal system to the rest of the body; sent2 & int5 -> int6: an example of the skeletal system interacting with the circulatory system is the circulatory system carrying oxygen to the bones; int4 & int6 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the body absorbs nutrients by digestion; sent3 & sent4 -> int2: a human requires nutrients for survival; int1 & sent6 -> int3: the body absorbs nutrients by the digestive system; sent11 & int3 -> int4: the liver is a part of the digestive system that absorbs nutrients; sent10 & int4 -> int5: the loss of the liver has a negative impact on the survival of the liver; int2 & int5 -> int6: the loss of the liver has a negative impact on the survival of the human; sent8 & int6 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: white blood cells are a kind of cell that are part of the immune system; sent2 & sent5 -> int2: the immune system destroys bacteria once they have invaded the body; int2 & int1 -> int3: white blood cells are a kind of cell that is a part of the immune system which destroys bacteria that enters the body; int3 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: decreasing disease-causing microbes has a positive impact on the body; sent6 & sent4 -> int2: specialized cells produce chemicals that destroy disease-causing microbes; sent3 & int1 -> int3: destruction of disease-causing microbes has a positive impact on the body; int3 & int2 -> int4: specialized cells have a positive impact on the body by producing chemicals that destroy disease-causing microbes; int4 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: an animal's brain can control animal body through the nervous system; sent2 & sent5 -> int2: the muscular system is a part of the body; int2 & sent5 -> int3: the muscular system and the body are parts of the body; int3 & int1 -> 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; int1 & sent3 -> int2: the nervous system conducts messages through the body; int2 & sent2 -> 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$ = sent1 & sent3 -> int1: a fertilized egg will have 23 chromosomes; sent6 & sent5 & sent4 -> int2: a fertilized egg is when a sex cell becomes fertilized; sent7 & int2 -> int3: a fertilized egg is when an egg cell becomes fertilized; sent2 & int1 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent7 -> int1: if something is used by photosynthesis to make something else, then that something is required to perform photosynthesis; sent2 & sent1 -> int2: green plants perform photosynthesis to provide food for themselves; sent6 & sent5 -> int3: leaves of plant use chlorophyll 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; sent5 & sent2 -> int2: a leaf requires sunlight to perform photosynthesis; sent6 & int1 -> int3: leaves are more exposed to sunlight than other leaves; int3 & sent3 -> int4: leaves are ideal for absorbing sunlight; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: photosynthesis is a source of food for a plant; sent3 & sent5 -> int2: photosynthesis is used for making food for plants; int1 & int2 -> int3: photosynthesis can be used for making food for plants; int3 & sent1 -> int4: a plant uses photosynthesis to grow; sent4 & int4 -> 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$ = sent2 & sent6 -> int1: a consumer is a kind of consumer; sent7 & sent4 -> int2: plants are a source of oxygen; sent9 & sent5 -> int3: if something requires something else then that something can take that something else; sent10 & sent8 -> int4: oxygen is a kind of gas that is released by producers; sent12 & sent6 -> int5: green plants provide food for themselves / animals / consumers; sent1 & int2 -> int6: plants release oxygen; int5 & sent11 -> int7: producers produce oxygen for themselves / animals / consumers; int5 & sent3 -> int8: a producer requires oxygen to survive; int7 & int6 -> int9: oxygen is released by producers; int3 & int8 -> int10: a producer can take oxygen from a producer; int4 & int10 -> int11: a producer can release oxygen and take it from a producer; int11 & int9 -> int12: oxygen can be released by producers and taken in by consumers; int12 & int1 -> 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$ = sent4 & sent5 -> int1: chloroplasts are a part of leaves of a plant; sent1 & sent8 -> int2: a leaf uses sunlight to produce carbohydrates; sent9 & sent6 -> int3: in order to use something you must absorb that something; sent5 & int1 -> int4: chloroplasts are a part of the leaves of a plant; sent2 & int2 -> int5: a leaf uses sunlight to produce sugar; sent3 & int3 -> int6: a plant uses chlorophyll to absorb light energy; sent7 & int6 -> int7: a plant uses chlorophyll to absorb sunlight; int7 & int4 -> int8: a leaf uses chlorophyll to absorb sunlight; int5 & int8 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: photosynthesis means producers / green plants convert carbon dioxide and water into sugar and oxygen; int1 & sent1 -> 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; sent2 & sent7 -> int2: carbon dioxide can be found in the atmosphere; sent4 & int1 -> int3: producers must make food by performing photosynthesis; sent5 & int3 -> int4: producers must use a process to make food; sent8 & int4 -> int5: a producer requires carbon dioxide for the process of making food; int2 & sent1 & int5 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a flower is a source of pollinators; sent6 & sent5 -> int2: a bird is a kind of pollinating animal; int2 & sent1 & sent4 -> int3: nectar is used by pollinators for food; int3 & int1 & 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; sent7 & sent3 -> int3: seed dispersal has a positive impact on a plant / a plant's reproduction; int2 & int1 -> int4: an example of seed dispersal is a blue jay hiding / gathering acorns; int3 & sent8 -> int5: seed dispersal has a positive impact on an oak tree; int4 & 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; sent6 & sent4 -> int2: seed dispersal has a positive impact on a plant / a plant's reproduction; sent5 & sent3 & int1 -> int3: bears eating berries that contain seeds has a positive impact on plants by causing seed dispersal; int3 & int2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: roots are a vehicle for absorbing minerals from the soil; sent3 & int1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: roots absorb water from soil; sent4 & int1 -> int2: roots are a kind of process of absorbing water from 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$ = sent2 & sent5 -> int1: a cow is a kind of living thing; sent4 & sent6 -> int2: grass is a kind of living thing; sent1 & int2 -> int3: grass and animals both have the ability to grow; sent3 & int1 & int3 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: an alligator requires great amounts of water to survive; sent2 & sent5 -> int2: when a body of water receives an increase in water, a flood occurs; int1 & sent1 -> int3: an increase in water has a positive impact on alligators; int2 & int3 -> hypothesis;
$proof$ = sent5 & sent1 -> int1: absorbing something is a kind of method for getting something; sent4 & sent6 -> int2: a frog eating flies is used to get energy; sent3 & sent5 -> int3: absorbing light is a kind of method for obtaining energy; sent2 & sent3 -> int4: a green plant absorbs light to give it energy; sent2 & sent3 -> int5: a green plant absorbs light to get energy; int4 & int5 -> int6: a green plant absorbing light is a kind of example of a green plant getting energy; int6 & int1 -> int7: a green plant absorbing light is a kind of method for getting energy; int2 & int3 & int7 -> 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$ = sent5 & sent1 -> int1: polar bears require cold environments; sent6 & sent4 -> int2: a pool is a kind of environment; sent2 & sent6 -> int3: a cold pool is a kind of environment; int2 & int3 -> int4: a cold pool is required for a cold animal to live in; int1 & int4 -> int5: a cold pool is required for polar bears to live in; sent3 & int5 -> hypothesis;
$proof$ = sent6 & sent5 & sent1 -> int1: squirrels and deer and woodpeckers live in forests; sent3 & sent7 & sent4 -> int2: a woodpecker is a kind of animal that lives in forests; sent3 & sent7 -> int3: a squirrel is a kind of animal and a deer is a kind of animal; sent8 & sent2 -> int4: animals are adapted to living in forests; int1 & int2 -> int5: squirrels and deer and woodpeckers are animals that live in forests; int5 & int3 & int4 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: alligators eat animals; sent1 & int1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: in the food chain process herbivores have the role of primary consumer which eats producers; sent2 & sent5 -> int2: plants are a source of food for herbivores; sent3 & int1 -> int3: in the food chain herbivores eat producers; int3 & int2 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: a plant requires nutrients in soil to grow / survive; sent1 & sent6 -> int2: decomposers add nutrients to soil using decomposition; int1 & sent5 -> 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; int2 & int4 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: a consumer is a kind of role in the food chain; sent8 & sent10 -> int2: a plant requires nutrients in soil to grow; int1 & sent3 -> int3: a producer is a kind of role in the food chain; int2 & sent12 -> int4: plants require nutrients in soil for survival; int4 & sent7 -> int5: nutrients in soil are important to plants; int3 & int5 -> int6: nutrients in soil are important to the food chain; sent9 & int6 -> int7: decomposers are important to the food chain by returning nutrients from dead organisms to the soil; sent11 & int7 -> hypothesis;
$proof$ = sent1 & sent8 -> int1: if a plant makes food for itself then that plant does not need to eat other organisms; sent4 & sent7 -> int2: most plants make food by performing photosynthesis; sent5 & sent2 -> int3: to turn something into something else means to turn something into something else; int1 & int2 -> int4: plants do not need to eat other organisms; int3 & int4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the sun is a source of energy; sent4 & sent7 -> int2: green plants make food by performing photosynthesis; sent6 & sent9 -> int3: if photosynthesis converts something into something else then that something is used for photosynthesis; sent10 & int1 -> int4: plants use energy directly from the sun to make food; int3 & sent8 -> int5: photosynthesis uses solar energy; sent5 & int5 -> int6: plants use solar energy to perform photosynthesis; int6 & int2 -> int7: plants use solar energy to make food; int7 & sent2 -> int8: plants use energy from solar energy to make food; int4 & int8 -> 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; sent10 & sent1 -> int2: harming large birds can cause large birds to die; sent5 & sent10 -> int3: harming large birds can cause that large bird to die; sent3 & sent10 -> int4: disease has a negative impact on large birds; sent4 & sent10 -> int5: if large birds die then the population of large birds will decrease; int1 & sent6 -> int6: large birds are predators to small animals and small animals are prey to large birds; int3 & int2 -> int7: large birds dying because of disease can cause small birds to die; int6 & sent7 -> int8: as the population of large birds decreases the population of small animals will increase; int7 & int5 -> int9: if large birds die because of disease then the population of small birds will decrease; int8 & int4 -> int10: large birds dying because of disease can cause small birds to increase; sent8 & int9 & int10 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: tunnels in soil increase the amount of oxygen in soil; int1 & sent2 -> int2: earthworms can increase the amount of oxygen in soil; sent3 & int2 -> int3: more oxygen is available in soil due to loosening; int3 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: plant reproduction requires pollination by pollinating animals; sent2 & sent1 & int1 -> 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; sent4 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: balancing a ball on one's nose is a kind of learned behavior; sent2 & int1 -> int2: balancing a ball on one's nose is a learned behavior that is learned over the lifetime of the animal; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: acquired characteristics are not passed from parents to offspring; sent4 & sent1 -> int2: a scar on the knee is a kind of acquired characteristic; int2 & int1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: an instinctive behavior is a kind of learned characteristics; sent5 & sent1 -> int2: pulling a plow is a kind of learned characteristic; sent6 & int2 -> int3: pulling a plow is a kind of learned characteristic of an animal; int3 & int1 & 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; sent4 & sent3 -> int2: genes are able to determine the color of fur of a living thing; int2 & int1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the genetic information in the dna can be used for making proteins; int1 & 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 & sent1 & sent4 -> int1: the thick trunk of a pecan tree is an inherited characteristic; int1 & sent3 & sent2 -> 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$ = sent3 & sent1 -> int1: fur is often a part of dogs; sent4 & sent2 -> int2: offspring will inherit the color of fur from parents; int1 & int2 -> 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$ = sent2 & sent1 -> 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; sent5 & sent4 & sent3 -> int2: sodium and chlorine are different elements; int1 & sent1 -> int3: sodium chloride is made of two elements chemically combined; sent3 & int1 -> int4: sodium and chlorine atoms are two elements; int2 & int3 -> int5: sodium chloride is made of two different elements chemically combined; sent2 & int4 -> int6: chemical bonds are formed between sodium atom and chlorine atoms; int5 & int6 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a limestone is made of calcium carbonate and a hydrochloric acid solution; sent1 & sent5 -> int2: calcium carbonate reacting with hydrochloric acid produces carbon dioxide; sent1 & sent5 -> int3: calcium carbonate reacting with hydrochloric produces carbon dioxide; sent5 & sent1 -> int4: calcium carbonate reacting with hydrochloric causes carbon dioxide; int2 & int4 -> int5: a chemical reaction happened between calcium carbonate and hydrochloric acid; int3 & int4 -> int6: a chemical reaction happens between calcium carbonate and hydrochloric; int5 & int6 -> int7: a chemical reaction happened between limetone and hydrochloric; sent4 & int7 & int1 -> 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 & sent1 & sent2 -> int2: a phase change is when a substance changes from a solid to liquid; int2 & int1 -> int3: melting butter is a kind of phase change; int3 & sent4 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: 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; sent2 & int1 -> 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; sent7 & sent4 -> int2: small strips of paper are a kind of object; int1 & sent1 & sent6 -> int3: rubbing rubber on wool can cause the electrical charge of the wool to be unbalanced; int3 & sent8 -> int4: rubbing rubber on wool will cause the electrical charge of the wool to be unbalanced; sent5 & int2 & int4 -> 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$ = sent1 & sent3 & sent2 -> int1: one proton and one neutron together will be the mass of an atom; int1 & sent4 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: hair is negatively charged after being rubbed with other materials; sent5 & sent2 -> int2: hair being positively charged causes the electrical charge of the hair to be unbalanced; sent5 & sent2 -> int3: hair being positively charged changes the charge of the hair; int2 & int1 -> int4: hair being positively charged causes the electrical charge of the hair to be negative; int4 & int3 -> int5: hair being positively charged causes the charge of the hair to be negative; int5 & sent3 -> int6: hair being positively charged is an example of an object having a negative charge; sent1 & int6 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: protons and electrons will be positively charged; sent1 & sent3 & 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; int2 & sent2 & sent3 -> 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$ = sent2 & sent1 -> int1: copper atoms are the smallest unit of an element; sent3 & sent1 -> int2: copper is made of atoms; sent3 & sent1 -> int3: copper is made of one kind of atoms; int2 & int3 -> int4: copper is still made of atoms; int1 & int4 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: potassiumn and sodium belong to alkali metals group; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: helium, neon, and argon have similar properties; sent3 & sent1 -> int2: helium, neon, argon have similar properties; int2 & int1 -> int3: helium, neon, and argon are similar in properties; sent5 & sent4 & sent2 & int3 -> 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; sent3 & sent4 & int1 -> 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; sent5 & sent2 & sent3 -> int2: as the temperature of water decreases, the water molecules will move slower; sent3 & sent5 & sent2 -> int3: the water will move slower as the temperature of water decreases; int2 & int3 -> int4: the water will move slower than the other water molecules; int4 & int1 & sent4 -> int5: the water will decrease heat energy; int5 & 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 & sent6 -> int1: the ice cube will absorb solar energy; int1 & sent7 -> int2: the ice cube will heat; sent2 & int2 & sent4 & sent6 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: absorbing solar energy causes objects to heat; sent4 & sent6 & sent7 -> int2: the ice cube will absorb solar energy; int1 & int2 -> int3: the ice cube will heat; int3 & sent1 & sent2 & sent7 -> hypothesis;
$proof$ = sent2 & sent3 & 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$ = sent2 & sent1 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> 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$ = sent3 & sent2 -> int1: comparing the mass of different objects requires measuring the mass of each object; sent1 & int1 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a compass is a kind of invention; sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> 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$ = sent4 & sent2 & sent1 -> int1: sand and clay are different sizes solids; sent4 & sent2 & sent1 -> int2: sand and clay are different sizes; int2 & int1 -> int3: a mixture of sand and clay is a mixture of different sized solids; int3 & 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 materials it is made of; sent3 & int1 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: iron nails are magnetic; sent4 & sent5 -> int2: iron nails are made of metal; sent1 & sent2 & int2 -> int3: iron nails can conduct electricity and heat; int3 & int1 -> 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$ = sent1 & sent2 -> int1: the hot water will be a source of heat for the metal spoon; sent4 & sent5 -> int2: a spoon is a kind of thermal conductor; int2 & sent3 -> int3: if a spoon is exposed to a source of heat, then the conductor may become hot; int1 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: if an object is opaque then light cannot shine through that object; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: touch can be used to detect the texture of objects; sent1 & sent3 -> int2: touch is a kind of sense that can be used to observe texture; int1 & int2 -> 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$ = sent1 & sent2 -> int1: airports usually have runways for airplanes; sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: an example of observing a tree is taking a picture; sent1 & sent4 -> int2: a camera can be used for recording images; int1 & int2 -> 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;