$proof$ = sent3 & sent2 -> int1: northern hemisphere is in summer; int1 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 & sent2 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 & sent4 -> int1: the gravitational pull of the moon on earth causes the tides; int1 & sent5 -> int2: the gravitational pull of the moon on earth affects the tides more than the gravitational pull of the sun; int2 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 & sent1 -> int1: the gravitational pull of the moon on earth causes the tides; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 & sent4 -> int1: the gravitational pull of the moon on earth causes the tides; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: milky way is made of stars; int1 & sent3 -> int2: light year can be used to measure the distance between the stars in milky way; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: comets orbit the sun in elliptical path; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: shape is a property of the appearance of a galaxy; int1 & sent3 -> hypothesis;
$proof$ = sent5 & sent1 & sent4 -> int1: the earth revolving the sun is an example of a planet revolving around a planet; int1 & sent3 -> int2: the earth revolving the sun is an example of a planet revolving around a planet; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: solid planets are more dense than the four planets farthest from the sun; int1 & sent3 -> int2: the four planets closest to the sun are more dense than the four planets farthest from the sun; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: earth is a kind of celestial object; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: the sun is a source of light energy through nuclear reactions; int1 & sent4 -> int2: the sun is a source of light energy through nuclear reactions; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the sun is an average sized star in our galaxy; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: the sun is a kind of main-sequence star; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: as the mass of celestial object decreases, the force of gravity on the celestial object will decrease; int1 & sent7 -> int2: as the mass of a celestial object decreases, the force of gravity on the object will decrease; sent8 & sent1 & sent3 -> int3: earth as a celestial object has more mass than the moon as a celestial object; int2 & int3 -> int4: the moon as a celestial object has less mass than earth as a celestial object; int4 & sent4 -> int5: humans can jump higher on the moon than on earth; int5 & sent6 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; int1 & sent5 -> 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 more on the moon than on the earth because the moon has less mass than the earth; int3 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a telescope can be used for observing the moon; int1 & sent1 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent1 & sent2 -> int1: the first quater and the last quater moon phase are kinds of moon phases; int1 & sent3 -> int2: the lowest gravitational pull of the moon is during the first quater and the last quater moon phase; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: gravity causes moons to orbit planets; int1 & sent4 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a star is made of gases, and is hot in temperature; int1 & sent1 & sent4 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: a spacesuit does not contain oxygen; sent5 & sent1 -> int2: a vacuum does not contain oxygen; int2 & sent4 -> int3: an animal requires oxygen to breathe; int1 & int3 -> int4: an astronaut requires oxygen in a spacesuit to breathe; int4 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: precipitation and infiltration are stages in the water cycle; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: if fossils of fish are found in a place then that place used to be covered by water in the past; int1 & sent1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: if fossils of trilobites are found in a place then that place used to be covered by water in the past; int1 & sent2 -> int2: if fossils of trilobites are found in a place then that place used to be covered by water in the past; int2 & sent4 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: teeth are part of a shark; int1 & sent6 -> int2: fossils of shark teeth are found on the side of the cliff; int2 & sent4 -> int3: the side of the cliff used to be covered by water in the past; sent3 & sent1 -> int4: a shark is a kind of aquatic animal that lives in shallow seas; int3 & int4 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: the scientist has to gather information on ancient environment; int1 & sent2 -> int2: the scientist can use fossils as evidence on ancient environment; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: fossils are found in limestones; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the formation of diamonds requires extreme heat and pressure; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent7 -> int1: sedimentary rocks can contain fossils; int1 & sent1 -> int2: sedimentary rocks can contain fossils and metamorphic rocks do not contain fossils; sent6 & sent3 -> int3: sedimentary and metamorphic are classes of rock; int3 & sent2 -> int4: formation in the rock cycle can mean sedimentary rock changes into metamorphic rock; int2 & int4 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: as the rock cycle changes, the mass of the old rocks will stay the same; int1 & sent3 -> int2: as the rock cycle changes, the mass of the old rocks will stay the same; sent7 & sent6 -> int3: new rocks are formed from broken down rock; int2 & int3 -> int4: as the rock cycle changes, the mass of earth will stay the same; int4 & sent2 -> int5: as the earth processes change, the mass of earth will stay the same; int5 & sent1 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: if something contains something else then that something contains that something else; int1 & sent3 -> int2: a rock is made of minerals; int2 & sent1 -> int3: a rock is made of minerals; int3 & sent5 -> int4: a rock is made of components; int4 & sent2 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: granite is a hard material; sent6 & sent2 -> int2: granite forms from cooling magma; int1 & int2 -> int3: granite is a kind of igneous rock; int3 & sent3 -> hypothesis;
$proof$ = sent11 & sent9 -> int1: sedimentary rocks are made of small particles of sand; int1 & sent5 -> int2: a rock is made of small particles of sand; sent3 & sent6 -> int3: sedimentary rocks are formed by sediments compacting and cementing together; sent7 & sent1 -> int4: light and dark are different colors; int4 & sent8 -> int5: a rock may have different colored layers; int2 & int5 -> int6: if a rock is made of small particles of sand with light-colored layers and dark-colored layers then that rock is likely formed by sediments compacting and cementing together; int3 & int6 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: being buried under soil and mud changes dead plant matter into coal through extreme heat and pressure over a long period of time; int1 & sent4 -> int2: coal is formed from dead plants; int2 & sent1 -> hypothesis;
$proof$ = sent7 & sent2 -> int1: forming coal and oil requires deposition and burial of decaying vegetation; int1 & sent10 -> int2: forming coal and oil requires deposition and burial of decaying vegetation; sent11 & sent1 -> int3: a plant is a kind of organism that existed a very long time ago; int2 & int3 -> int4: fossil fuels are formed from decaying plants from a very long time ago; int4 & sent4 -> int5: if something is required for a process then that something helps in that process; int5 & sent5 -> int6: plants help in the formation of coal and oil and gas; sent6 & sent2 -> int7: natural gas is a kind of fossil fuel; int6 & int7 -> int8: prehistoric plants help in the formation of coal and oil and gas; int8 & sent9 -> hypothesis;
$proof$ = sent9 & sent11 -> int1: if something occurs by burning something else, then burning that something else is required for that something to occur; int1 & sent1 -> int2: using coal requires burning coal; int2 & sent8 -> int3: burning coal requires burning coal; int3 & sent10 -> int4: burning coal adds carbon dioxide to the atmosphere; sent6 & sent2 -> int5: using fossil fuels increases the temperature of the planet; int5 & sent12 -> int6: using fossil fuels causes warming; int6 & sent7 -> int7: using fossil fuels causes global warming; int4 & int7 -> int8: burning fossil fuels adds carbon dioxide and heat to the atmosphere; int8 & sent3 -> int9: burning fossil fuels adds heat to the atmosphere; int9 & sent4 -> int10: burning fossil fuels adds carbon dioxide and heat to the atmosphere; int10 & int6 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: gases that significantly impact the earth's atmosphere come from a source of that something; int1 & sent1 -> int2: gases that significantly impact the earth's atmosphere come from the use of fossil fuels; int2 & sent8 -> int3: gases that significantly impact the earth's atmosphere come from the use of fossil fuels; sent5 & sent3 -> int4: global warming is when the temperature of the entire earth increases; int4 & sent7 -> int5: gases that significantly impact the earth's atmosphere come from the use of fossil fuels; int3 & int5 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: fossil fuels cause global warming; int1 & sent3 -> int2: gases released during the use of fossil fuels contribute to global warming; int2 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: burning coal and gasoline is a kind of human activity; int1 & sent2 -> int2: burning coal and gasoline contributes to the formation of acid rain; sent5 & sent4 -> int3: burning coal and gasoline emits sulfur dioxide; int3 & sent7 & sent9 -> int4: burning coal and gasoline causes acid rain; int2 & int4 -> hypothesis;
$proof$ = sent6 & sent8 -> int1: subduction occurs at the convergent boundaries of the tectonic plates; int1 & sent7 -> int2: subduction occurs at the convergent boundaries of the tectonic plates; sent10 & sent9 -> int3: thermal conduction is when materials conduct heat through their collisions; sent11 & sent1 -> int4: heat is a kind of energy; int3 & int4 -> int5: subduction involves a large amount of energy; int2 & int5 -> int6: subduction may involve a large amount of thermal energy; int6 & sent2 -> int7: subduction may involve a large amount of thermal energy; int7 & sent3 -> hypothesis;
$proof$ = sent12 & sent5 -> int1: surface mining can remove the vegetation from the lithosphere; int1 & sent10 -> int2: surface mining can remove the vegetation from the lithosphere; sent3 & sent6 -> int3: if something is underneath something else then that something else is above that something; int3 & sent10 -> int4: surface mining affects the lithosphere and biosphere; int2 & int4 -> int5: surface mining affects the lithosphere and the biosphere; int5 & sent4 -> int6: if something affects a part of something else then that something affects that something else; int6 & sent7 -> int7: if something affects the lithosphere and biosphere then that something affects the lithosphere; int7 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent1 -> int1: ethanol is made of corn; int1 & sent8 -> int2: as the use of ethanol increases, the use of available farm land for food production increases; sent2 & sent9 -> int3: producing crops requires using farm land; int3 & sent7 -> int4: as the use of ethanol increases, the amount of available farm land for food production decreases; sent3 & sent8 -> int5: as the use of ethanol increases, the use of farm land for food production increases; int4 & int5 -> int6: as the use of ethanol increases, the amount of available farm land for food production decreases; int2 & int6 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: wave energy and energy from ocean tides are both renewable resources; int1 & sent1 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: wood boards are a kind of natural resource; int1 & sent6 -> int2: wood boards are a kind of building material that is made of a renewable natural resource; sent3 & sent2 -> int3: wood boards can be used to build houses; int2 & int3 -> int4: wood boards are a kind of building material that is made of a renewable natural resource; int4 & sent1 -> hypothesis;
$proof$ = sent9 & sent3 -> int1: water can decrease the amount of nutrients in soil; int1 & sent2 -> int2: increasing irrigation will decrease the amount of nutrients in soil; sent4 & sent6 -> int3: if irrigation requires something then increasing irrigation will increase the amount of that something else; int2 & int3 -> int4: increasing irrigation can decrease the amount of nutrients in soil; int4 & sent8 -> int5: increasing irrigation can decrease the amount of nutrients in soil; int5 & sent1 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: overgrazing can cause soil erosion; int1 & sent6 -> int2: overgrazing can result in soil erosion; int2 & sent3 -> int3: overgrazing can result in desertification by increasing the rate at which erosion is performed; int3 & sent4 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: cut trees are needed to make paper; int1 & sent6 -> int2: cut trees are a kind of resource that are needed to make paper; int2 & sent3 -> int3: recycling reduces the amount of trees that are cut; sent5 & sent1 -> int4: decreasing the amount of trees cut has a positive impact on an environment; int4 & sent6 -> int5: recycling has a positive impact on the environment by decreasing the amount of trees that are cut; int3 & int5 -> hypothesis;
$proof$ = sent7 & sent2 -> int1: tree roots are a part of a plant or tree; int1 & sent1 -> int2: decreasing the number of trees in a forest decreases that forest; int2 & sent3 -> int3: clearing trees from a forest causes soil erosion to increase; sent5 & sent6 -> int4: clearing trees from a forest causes soil erosion to increase; int3 & int4 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: tree roots are a part of a plant or tree; int1 & sent5 -> int2: cutting down trees in a forest decreases the parts of a forest; int2 & sent8 -> int3: cutting down trees in a forest causes the number of trees to decrease in that forest; sent3 & sent7 -> int4: removing a forest causes that something to increase; int3 & int4 -> int5: cutting down trees in a forest causes soil erosion to increase; int5 & sent2 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: plants are a source of oxygen through photosynthesis; int1 & sent1 -> int2: trees are a source of oxygen through photosynthesis; int2 & sent3 -> int3: as the amount of trees in a forest decreases, the amount of oxygen will decrease; int3 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: salt water does not contain salt; int1 & sent6 -> int2: water that has salt removed may contain salt; sent4 & sent3 -> int3: seawater is a source of salt; int2 & int3 -> int4: water that has salt removed may come from a sea; int4 & sent5 -> int5: water that has salt removed may come from a sea; int5 & sent7 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: glaciers are a kind of water reservoir; int1 & sent1 -> int2: glaciers are a kind of water reservoir that provide freshwater; int2 & sent2 -> int3: glaciers are a kind of water reservoir that provide freshwater; int3 & sent5 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: humans build trails by cutting down trees; int1 & sent7 -> int2: humans building trails by cutting down trees has a negative impact on that forest; sent8 & sent1 -> int3: cutting down trees in a forest causes the number of trees to decrease in that forest; int3 & sent5 -> int4: humans building trails by cutting down trees has a negative impact on an ecosystem; sent3 & sent6 -> int5: humans building trails has a negative impact on the environment; int4 & int5 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: runoff from a cropland entering a lake causes water pollution; int1 & sent3 -> int2: runoff from a cropland entering a lake causes water pollution; int2 & sent2 -> int3: runoff from a cropland entering a lake has a negative impact on water quality; int3 & sent5 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: every year seals return to the same beaches to give birth; int1 & sent3 -> int2: if humans disturb seals at the same beaches then those seals will move to a different location; int2 & sent2 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: a compost pile is used for recycling beans; int1 & sent1 -> int2: a compost pile is used for conserving resources by recycling bean plants; sent3 & sent2 -> int3: if something has a positive impact on the conservation of resources then that something helps the conservation of those resources; int2 & int3 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: as time spent taking a shower decreases, water used will decrease; int1 & sent3 -> int2: conserving water requires using less water; sent4 & sent1 -> int3: to shorten something means to decrease the use of a resource; int2 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: acid rain causes water pollution to a lower level; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: fertilizers have a positive impact on algae growth; int1 & sent1 & sent5 -> int2: fertilizers in the runoff from the farm can increase the population of algae; int2 & sent4 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: harming fish can cause that fish to die; int1 & sent2 -> int2: poisonous things can cause fish to die; sent6 & sent7 -> int3: fish live in ponds; int3 & sent1 -> int4: toxic chemicals can be dumped into a pond with fish; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 & sent4 -> int1: human hunting sloths can decrease sloth populations; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: an earthquake can change earth's surface rapidly; sent5 & sent3 -> int2: an earthquake usually occurs over a period of 10 to 30 seconds; int1 & int2 -> int3: an earthquake can change earth's surface rapidly; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: water vapor is an invisible gas; int1 & sent2 -> hypothesis;
$proof$ = sent6 & sent5 & sent4 -> int1: carbon dioxide has the smallest percent of earth's atmosphere by mass; sent1 & sent2 & sent3 -> int2: carbon dioxide has the smallest percent of earth's atmosphere by mass; int1 & int2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: ocean water level rising causes salt water to flood coastal area; int1 & sent3 -> int2: ocean water level rising causes the salt content of coastal wetlands to increase; int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: oceans are the source of wild fish; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a submarine is a kind of object that descends into water; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: limestone is made of calcium carbonate; sent4 & sent3 -> int2: the lithosphere is made of sedimentary rock; int1 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a decrease in plants roots will increase soil erosion; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: planting corn every year decreases the nutrients required by that 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; int1 & sent1 -> int2: drought can cause harm to plants by decreasing the thickness of soil; int2 & sent5 -> int3: drought can cause harm to trees by decreasing the thickness of soil; int3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: rocks must be eroded to form soil; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a warm front will cause a cold air mass to pass over a cold air mass; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: air masses near the equator will increase in temperature; int1 & sent2 -> int2: air masses near the equator will be warm; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: a weather balloon is a kind of flexible container; int1 & sent1 -> int2: as air pressure surrounding a balloon decreases, the balloon will expand; int2 & sent2 -> int3: the weather balloon will expand because the air pressure decreasing at higher altitude; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: 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 is a slow process that can change the earth's surface; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: cycles of freezing and thawing water cause mechanical weathering; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a high-pressure system causes precipitation to decrease; int1 & sent4 -> int2: a high-pressure system can cause precipitation to decrease; int2 & sent2 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: heat and moisture over ocean waters will cause the formation of a hurricane; sent2 & sent1 -> int2: cool ocean waters have low heat energy; int1 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the sun's energy is warming the ocean; int1 & sent4 & sent3 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: if water evaporates, then the water will disappear; int1 & sent4 -> int2: water evaporating means water changes from a liquid into a gas by increasing heat energy; int2 & sent2 -> int3: absorbing heat energy from the sun will cause the water to heat; int3 & sent1 -> int4: absorbing heat energy from the sun will cause the drops of water to heat; int4 & sent3 -> 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; sent2 & sent3 -> int3: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int2 & int3 -> int4: water absorbing solar energy will cause the evaporation of water; int4 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a thunderstorm is a source of rain; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: a bowling ball and the floor are kinds of objects; int1 & sent10 & sent6 -> int2: when the bowling ball is touching the floor, sound is produced; int2 & sent9 & sent2 -> int3: the mechanical energy in the bowling ball is converted into heat and sound energy when it touches the floor; sent5 & sent10 -> int4: the bowling ball and the floor are both kinds of objects; int4 & sent3 -> int5: when the bowling ball is touched by the floor, heat and sound energy is produced; int3 & int5 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the electric motor in the fan causes the vanes in the fan to move; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a combustion reaction happens between methane and oxygen; int1 & sent2 -> int2: methane reacting with oxygen will release light energy and heat energy; int2 & sent4 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: a light bulb is used for seeing in the dark; int1 & sent6 -> int2: the light bulb produces the things required for seeing in the dark; int2 & sent9 -> int3: the light bulb produces heat energy; sent2 & sent3 -> int4: energy is a kind of resource; int3 & int4 -> int5: if something converts an energy into something else then that something is not used for seeing; int5 & sent4 -> int6: an incand heat energy is not used for seeing; int6 & sent5 -> int7: the heat energy produced by the light bulb is not used for seeing; int7 & sent7 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: insulated wire is a kind of wire that is coiled; int1 & sent1 -> int2: iron rod can be used as a source of electricity; int2 & sent4 -> int3: insulated wire, iron rod, and battery are sources of electricity; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a light bulb generates waves that can travel through a vacuum; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a convex lens causes light to bend when passing through the lens; int1 & sent1 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: air is a kind of material; int1 & sent1 -> int2: glass is a kind of medium; int2 & sent2 -> int3: light rays pass through air; int3 & sent6 -> int4: the light rays will pass through a glass window; int4 & sent7 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: air and glass are different materials; int1 & sent2 -> int2: air and glass are different mediums; int2 & sent7 -> int3: the laser beam passes through the glass prism; int3 & sent1 -> int4: the laser beam is shone through the glass prism; int4 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: human talking to each other is used for sensing sound by humans; int1 & sent2 -> int2: human talking to each other can sense the sound made by the other through air vibrations; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: insense sound energy can move objects by making them vibrate; int1 & sent5 -> 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: freshwater and saltwater are different substances; int1 & sent2 -> int2: if saltwater has a higher density than freshwater, then the molecules in the saltwater will be closer than those of the other substance; int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: a metal spoon is a thermal conductor; sent6 & sent5 -> int2: hot tea is a source of heat; int2 & sent2 -> int3: the hot tea will be a source of heat for the metal spoon; int1 & int3 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> int1: friction occurs between two objects; int1 & sent4 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent8 & sent7 -> int1: if a spoon is used to stir a liquid, then that spoon is touching that liquid; int1 & sent5 -> int2: hot chocolate is a source of heat; int2 & sent11 -> int3: the spoon is touching the hot chocolate; sent1 & sent9 -> int4: a spoon is a kind of thermal conductor; int4 & sent3 -> int5: if a spoon is exposed to a source of heat, then that spoon may become hot; int3 & int5 -> int6: the hot chocolate will become hot; int6 & sent5 -> int7: the hot chocolate is a source of heat; int7 & sent10 -> int8: the spoon will become hot; int8 & sent6 -> int9: the hot chocolate will become hot; int9 & sent2 -> int10: the hot chocolate will become hot; int10 & int7 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: sunlight is a kind of electromagnetic wave; int1 & sent5 -> int2: sunlight transfers heat and light energy through radiation; int2 & sent2 -> int3: the sun transfers heat and light energy through radiation; int3 & sent4 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: sunlight is a kind of ultraviolet light; int1 & sent2 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: longitudinal waves can travel through matter; sent1 & sent2 & sent5 -> int2: gas, liquids, and solids are substances; int1 & int2 -> int3: longitudinal waves can travel through gas, liquids, and solids; int3 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: sound is a transverse wave; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: frictional force between two objects causes them to heat; sent3 & sent5 & sent6 -> int2: two sticks are moving against each other; int2 & sent4 -> int3: friction occurs between two sticks when they are moving against each other; int1 & int3 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 & sent3 -> int1: low friction can cause an object to slip; int1 & sent6 -> int2: low friction can cause an object to slip; int2 & sent4 -> int3: an increase in friction will decrease the chance of an object slipping; int3 & sent5 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: friction will occur between a rubber ball and a surface; int1 & sent6 & sent3 -> int2: friction will occur between the rubber ball and the surface of the surface; int2 & sent5 & sent1 -> int3: friction will cause the speed of the rubber ball to decrease; int3 & sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent4 & sent3 -> int1: as the roughness of a surface increases, friction on the object will increase; int1 & sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent4 & sent1 -> int1: a rock and a frozen pond are kinds of objects; int1 & sent5 & sent2 -> int2: friction occurs between the rock and the frozen pond; int2 & sent6 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: a soccer ball is a kind of object; int1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a magnet can attract a paper clip; int1 & sent5 -> int2: a magnet can affect a paper clip; int2 & sent4 -> int3: non-contact forces can affect a paper clip; int3 & sent2 -> hypothesis;
$proof$ = sent3 & sent6 & sent1 -> int1: a wheel and axle are simple machines; int1 & sent2 & sent5 -> hypothesis;
$proof$ = sent1 & sent6 & sent5 -> int1: the speed of an object is measured in kilometers; int1 & sent3 -> int2: the speed of an object is measured in kilometers; int2 & sent4 -> int3: the speed of the sailboat is measured in kilometers; sent7 & sent5 -> int4: hours hr are a unit used for measuring distance; int4 & sent2 -> int5: the speed of the sailboat is measured in kilometers; int3 & int5 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent10 & sent5 -> int1: some animals do not have fur; sent2 & sent1 -> int2: some animals do not have fur; sent4 & sent6 -> int3: fish are part of the taxonomic group of animals; int2 & int3 -> int4: fur is only part of the taxonomic group of animals; sent7 & sent8 -> int5: reptiles are a kind of taxonomic group of animals; int5 & sent3 -> int6: fish are a kind of taxonomic group of animals; int4 & int6 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: most species of birds do not have wings; sent11 & sent7 -> int2: some species of birds have wings and some species of birds do not have wings; sent9 & sent5 -> int3: feathers are not a part of reptiles; int3 & sent1 -> int4: feathers are a part of mammals; sent12 & sent12 -> int5: feathers are a characteristic of mammals; int5 & sent2 -> int6: feathers are a characteristic of birds; int4 & int6 -> int7: feathers and wings are distinguishing characteristics of birds; int2 & int7 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: bone structure is a kind of inherited characteristic of animals; int1 & sent3 -> int2: bone structure is passed down from an ancestor to descendant; int2 & sent1 -> int3: animals with similar bone structure probably evolved from a common ancestor in recent geological history; sent4 & sent8 -> int4: recent geological history is a relatively short period of time; int3 & int4 -> int5: animals with similar bone structure probably evolved from a common ancestor in recent geological history; int5 & sent5 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: laying eggs occurs during adulthood; int1 & sent2 -> int2: laying eggs occurs during the adult stage in the life cycle; sent1 & sent5 -> int3: frogs 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; int1 & int2 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: larger living things produce more cells than smaller living things; int1 & sent4 -> int2: cell division causes more cells to be produced in a living thing; int2 & sent1 -> int3: cell division causes more cells to be produced in a living thing; int3 & sent3 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: sound can be used for communication by prairie dogs; int1 & sent1 -> int2: prarie dogs can hear other prarie dogs bark; int2 & sent4 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: aquatic animals live in water; int1 & sent3 -> int2: living in water causes aquatic animals to adapt to that environment; int2 & sent6 -> int3: webbed feet are a kind of adaptation for living in water; sent5 & sent4 -> int4: moving fast in water has a positive impact on an aquatic animal's survival; int3 & int4 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: an example of camouflage is animals blending into their environment; int1 & sent2 -> hypothesis;
$proof$ = sent3 & sent10 -> int1: coloration is a kind of adaptation; sent11 & sent8 -> int2: if an animal's fur is a color then that animal is that color; int2 & sent11 -> int3: an arctic hare is that color; int1 & int3 -> int4: an arctic hare and a predator are the same color; int4 & sent7 -> int5: an arctic hare and an arctic environment are the same color; sent6 & sent2 -> int6: an arctic environment becomes white in the winter; int5 & int6 -> int7: an arctic hare and an arctic environment both change color to white in the winter; int7 & sent4 -> int8: an arctic hare and an arctic environment are kinds of adaptation for hiding from predators; int8 & sent9 -> int9: an example of camouflage is an arctic hare having the same color as its environment in the winter; int9 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a snowshoe hare's fur is brown in the summer and white in the winter; int1 & sent7 -> int2: a snowshoe hare and an arctic environment are the same color; int2 & sent8 -> int3: an arctic hare and a winter environment are the same color; int3 & sent10 -> int4: an arctic hare and an arctic environment are both brown in the summer and white in the winter; int4 & sent10 -> int5: an arctic hare and an arctic environment change color to white in the winter; int5 & sent9 -> int6: an arctic hare and an arctic environment change color to white in the winter; int6 & sent11 -> int7: an example of camouflage is a hare shedding fur in an environment; int7 & sent5 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: an example of camouflage is an organism having the same color as its environment; sent5 & sent1 -> int2: an example of camouflage is an organism having green leaves; int1 & int2 -> int3: an example of camouflage is an insect having green leaves; sent6 & sent4 -> int4: an insect is a kind of organism; int3 & int4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a predator may avoid bad odors; int1 & sent3 -> int2: producing a bad odor is a kind of method for avoiding predators; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a camel's humps are used for storing fat; int1 & sent1 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: spring and winter have different seasons; int1 & sent1 -> int2: spring and winter have cold weather; int2 & sent5 -> int3: spring and winter have different temperatures; int3 & sent6 -> int4: some animals' fur grows thicker for staying warm in the winter; sent2 & sent6 -> int5: some animals shed fur as a result of changes in seasons; int4 & int5 -> int6: some animals' fur grows thicker for staying warm in the winter; int6 & sent3 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: storing water is a kind of adaptation; sent3 & sent5 -> int2: waxy leaves are a kind of method for increasing the availability of water in an environment; int1 & int2 -> int3: waxy leaves are used by plants for survival in a dry environment; sent1 & sent4 -> int4: as dryness increases in an environment, the available water in that environment will decrease; int4 & sent7 -> int5: as dryness increases in an environment, the available water in that environment will decrease; int3 & int5 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: animals have a negative impact on cacti; int1 & sent1 -> int2: animals have a negative impact on cacti; int2 & sent4 -> int3: a cactus must protect itself from animals; sent5 & sent2 -> int4: a spine is a kind of sharp object that can be used for protection; int3 & int4 -> hypothesis;
$proof$ = sent1 & sent8 -> int1: a storm can cause changes to the environment; int1 & sent2 -> int2: a storm can have a positive impact on the environment; int2 & sent5 -> int3: an example of adaptation is when an animal responds to a change in the environment; int3 & sent4 -> int4: an example of adaptation is an animal that is able to survive after a storm; sent7 & sent2 -> int5: if something is used for a process, then that something is likely going to survive; int4 & int5 -> int6: if an animal is able to adapt then that animal is likely going to survive after a storm; int6 & sent6 -> hypothesis;
$proof$ = sent9 & sent5 -> int1: cheetahs are a species of organisms; int1 & sent4 -> int2: as the number of traits in cheetahs increases, the likelihood of some cheetahs to pass down a unique combination of traits to their offspring increases; int2 & sent8 -> int3: as the number of traits in cheetahs increases, the likelihood of some cheeta species of organisms to their offspring increases; int3 & sent7 -> int4: as the number of traits in cheeta species increases, the ability of cheetahs to adapt to changes in the environment will decrease; sent10 & sent2 -> int5: as the number of traits in cheeta species increases, the ability of cheetahs to adapt to changes in the environment decreases; int5 & sent3 -> int6: as the genetic variation in cheet6 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: if the water in a pond decreases then that pond might cease to exist; int1 & sent3 -> int2: a drought may cause a pond to cease to exist; sent4 & sent1 -> int3: fish live in water; int3 & sent6 -> int4: if a fish's habitat ceases to exist then that fish will die; int2 & int4 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: drought will decrease the amount of water in an environment; sent1 & sent6 -> int2: plants require water to grow; int2 & sent2 -> int3: crops require water to grow; int3 & sent3 -> int4: crops require water to grow; int4 & sent10 -> int5: humans often plant a large amount of crops at once; int5 & sent2 -> int6: humans require water to farm; int6 & sent9 -> int7: decreasing water has a negative impact on farming; int7 & sent7 -> int8: decreasing water has a negative impact on farming; int1 & int8 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: when the body is hot, sweat is produced to cool the body; sent1 & sent5 -> int2: if heat is added to a substance then that substance absorbing that heat; int2 & sent2 -> int3: sweat is absorbed into a substance by absorbing heat; int1 & int3 -> 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; int4 & sent5 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: blood cells carry oxygen to the bones; int1 & sent7 -> int2: blood cells carry oxygen to the bones; int2 & sent3 -> int3: an example of the skeletal system interacting with the circulatory system is red blood cells; sent5 & sent4 -> int4: the circulatory system carries oxygen from the lungs to the rest of the body; int4 & sent2 -> int5: an example of the skeletal system interacting with the circulatory system is red blood cells carrying oxygen to the bones; int3 & int5 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the liver is a part of an animal's digestive system for breaking down food; int1 & sent6 -> int2: the liver is a part of an animal's digestive system for breaking down food; sent9 & sent4 -> int3: a human is a kind of organism; int2 & int3 -> int4: the liver is a part of a human that breaks down food for survival; int4 & sent10 -> int5: losing the liver has a negative impact on the survival of a human; sent5 & sent9 -> int6: food is a part of an animal; int6 & sent8 -> int7: losing the liver has a negative impact on the survival of an animal; int5 & int7 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: the immune system destroys bacteria once they have invaded the body; int1 & sent1 -> int2: white blood cells are a kind of cell that are part of the immune system; int2 & sent3 -> int3: white blood cells are a kind of cell that is a part of the immune system; int3 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: destroying disease-causing microbes decreases the amount of disease-causing microbes; int1 & sent4 -> int2: specialized cells produce chemicals that destroy disease-causing microbes; sent2 & sent5 -> int3: decreasing disease-causing microbes has a positive impact on a living thing's survival; int2 & int3 -> int4: specialized cells have a positive impact on a living thing's survival; int4 & sent6 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: an animal's brain can control that animal's body through the nervous system; sent5 & sent2 -> int2: the muscular system is a part of the body; int1 & int2 -> int3: the brain can control the muscular system through the nervous system; int3 & sent4 -> int4: the nervous system can be used for coordinating the muscles; int4 & sent6 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: nerve cells conduct messages in the body; int1 & sent1 -> int2: nerve cells can send electricity to the body; int2 & sent6 -> int3: the nervous system sends electrical signals to the rest of the body; int3 & sent2 -> int4: the nervous system sends electrical signals to the rest of the body; int4 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a source of food is unhealthy; int1 & sent4 -> int2: the food received by an embryo is unhealthy; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a male and a female sex cell will each provide half of the number of chromosomes in an egg cell; int1 & sent4 -> int2: new cells with a full set of chromosomes are formed by fertilization; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: skin is the first layer on the body to protect the body from harmful substances; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a fertilized egg will have half of the number of chromosomes in a fertilized egg; sent5 & sent6 & sent4 -> int2: a fertilized egg is made of a kind of sex cell; int2 & sent3 -> int3: a fertilized egg will have half of the number of chromosomes in a fertilized egg; int1 & int3 & sent7 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: photosynthesis is a source of food for green plants; int1 & sent6 -> int2: leaves of plant contain chlorophyll to perform photosynthesis; sent4 & sent7 -> int3: if something is used by photosynthesis to make something else, then that something is required to perform photosynthesis; int2 & int3 -> int4: a leaf requires sunlight to perform photosynthesis; int4 & sent5 -> int5: a leaf requires sunlight to perform photosynthesis; int5 & sent3 -> hypothesis;
$proof$ = sent5 & sent1 -> int1: leaves of plant are large and flat; int1 & sent6 -> int2: leaves of plant are more exposed to sunlight than leaves of plant; int2 & sent3 -> int3: leaves of plant are more easily to absorb sunlight; int3 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: photosynthesis is used for making sugar; int1 & sent6 -> int2: photosynthesis is used for making sugar; int2 & sent1 -> int3: a plant can use sugar from photosynthesis to grow; int3 & sent4 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: carbon dioxide is required for photosynthesis; sent1 & sent4 -> int2: obtaining carbon dioxide is a step in the photosynthesis process; int1 & int2 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: a producer produces food for itself; int1 & sent3 -> int2: a producer requires oxygen to survive; int2 & sent9 -> int3: a producer requires oxygen to survive; int3 & sent1 -> int4: oxygen is released by producers and taken in by consumers; sent10 & sent7 -> int5: oxygen is a kind of gas that is released by producers and taken in by consumers; int5 & sent5 -> int6: taking in oxygen is a kind of method for obtaining something else; int4 & int6 -> int7: oxygen is a kind of gas that is released by producers and taken in by consumers; int7 & sent12 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: carbon dioxide is used in the photosynthesis process; int1 & sent5 -> int2: carbon dioxide can be found in the air; int2 & sent4 -> int3: photosynthesis uses carbon in the air to make food for plants; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent8 -> int1: a leaf uses chlorophyll to produce sugar; sent7 & sent3 -> int2: chlorophyll is used for absorbing light energy by plants; int1 & int2 -> int3: plants use chlorophyll to produce sugar; sent5 & sent4 -> int4: most chloroplasts are part of a plant; int3 & int4 -> int5: a leaf uses chlorophyll to produce sugar; sent9 & sent6 -> int6: if something is found in something else then that something is used for absorbing that something else; int5 & int6 -> int7: a leaf uses chlorophyll to produce sugar; int7 & sent10 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: photosynthesis means green plants convert carbon dioxide and water into sugar and oxygen; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: photosynthesis is a kind of process in which plants convert carbon dioxide and water and solar energy into carbohydrates and food ans oxygen for themselves; sent2 & sent5 -> int2: if photosynthesis converts something into something else then that something else is produced by photosynthesis; int1 & int2 -> int3: carbohydrates and oxygen are produced by photosynthesis; int3 & sent4 -> int4: sugars and oxygen are produced by photosynthesis; int4 & sent3 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: producers provide food for themselves by performing photosynthesis; int1 & sent4 -> int2: producers must make food by performing photosynthesis; sent9 & sent8 -> int3: if something is a raw material in a process then that something is required for that process; int3 & sent5 -> int4: if something is required for photosynthesis then that something can be found in photosynthesis; int4 & sent1 -> int5: carbon dioxide is a kind of gas that can be found in the atmosphere; int2 & int5 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: a flower is a source of nectar; sent1 & sent4 -> int2: some insects eat nectar; int2 & sent5 -> int3: nectar is used for pollination by pollinating animals; int1 & int3 -> int4: nectar is used for attracting pollinators by plants; sent2 & sent2 -> int5: a source of nectar is used for attracting pollinators by plants; int4 & int5 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: a plant requires food to grow; int1 & sent4 -> int2: a plant requires food to grow; int2 & sent1 -> int3: a seed requires food to grow; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: pollination is required for pollination; int1 & sent4 -> int2: pollination has a positive impact on pollination; int2 & sent5 -> int3: insects / wind / water have a positive impact on pollination; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent7 -> int1: seed dispersal has a positive impact on a plant / a plant's reproduction; sent7 & sent3 -> int2: seed dispersal has a positive impact on a plant / a plant's reproduction; int1 & int2 -> int3: seed dispersal has a positive impact on a plant / a tree's reproduction; sent2 & sent9 -> int4: an example of seed dispersal is is an animal hiding / gathering / spreading seeds from the parent plant to another area; int3 & int4 -> int5: an example of seed dispersal is a blue jay hiding / gathering acorns; int5 & sent6 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: seed dispersal has a positive impact on plants; int1 & sent2 -> int2: when animals eat seeds those seeds are carried from the parent plant to another area; int2 & sent5 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: roots absorb water and nutrients from the soil; int1 & sent2 -> int2: roots are a vehicle for absorbing water and nutrients from the soil; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: roots absorb water from the soil; int1 & sent4 -> int2: roots are a vehicle for taking in water from the soil; int2 & sent5 -> int3: roots are a vehicle for taking in water from the soil; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: photosynthesis is a source of sugar; int1 & sent9 -> int2: photosynthesis is a source of sugar; sent7 & sent2 -> int3: leaves of plant transport food / water / minerals trhoughout the plant; int3 & sent5 -> int4: roots are a part of a pine tree; int2 & int4 -> int5: sugars are transported from the needles to the roots of a pine tree; int5 & sent1 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: grass is a kind of living thing; sent5 & sent2 -> int2: a cow is a kind of living thing; int1 & int2 & sent1 -> int3: grass and a cow both have the ability to grow; int3 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: an increase in water has a positive impact on aquatic animals; int1 & sent4 -> int2: an increase in water has a positive impact on alligators; int2 & sent5 -> int3: a flood has a positive impact on alligators; int3 & sent2 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: a frog eating flies is an example of getting energy; int1 & sent1 -> int2: a frog eating flies is an example of getting energy; sent2 & sent3 -> int3: a green plant absorbs light; int2 & int3 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: food contains nutrients and energy for living things; int1 & sent6 -> int2: food contains the properties of food and energy; sent5 & sent2 -> int3: the ability to store something is a kind of property; int2 & int3 -> int4: the ability to store something does not have the properties of food; int4 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: if a living thing takes in something to perform photosynthesis then that something is required for photosynthesis; int1 & sent5 -> int2: a plant requires carbon dioxide to perform photosynthesis; int2 & sent4 -> int3: carbon dioxide is a kind of gas that is required for photosynthesis; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: polar bears live in cold environments; sent4 & sent6 -> int2: a pool is a kind of environment; int1 & int2 -> int3: polar bears live in cold pools; int3 & sent1 -> int4: polar bears require cold environments for survival; int4 & sent3 -> hypothesis;
$proof$ = sent8 & sent5 -> int1: squirrels and deer live in forests; sent6 & sent1 -> int2: deer and woodpeckers live in forests; int1 & int2 & sent2 -> int3: squirrels and deer and woodpeckers are adapted to living in forests; sent3 & sent4 -> int4: a squirrel is a kind of animal that lives in forests; int3 & int4 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: alligators eat animals; int1 & sent1 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: plants are a source of food for herbivores; int1 & sent1 -> int2: in the food chain process herbivores have the role of primary consumer; int2 & sent4 -> int3: in the food chain process herbivores have the role of consumer which eats producers; int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: decomposers add nutrients to soil using decomposition; sent2 & sent4 -> int2: a plant requires nutrients in soil to grow / survive; int1 & int2 -> int3: decomposers add nutrients to soil to help plants survive and grow; int3 & sent5 -> int4: decomposers help a plant survive and grow by adding nutrients to soil; int4 & sent3 -> hypothesis;
$proof$ = sent2 & sent8 -> int1: plants require nutrients in soil to grow; int1 & sent12 -> int2: plants requires nutrients in soil to grow; sent3 & sent5 -> int3: a producer is a kind of role in the food chain process that produces food; int3 & sent9 -> int4: a decomposer is a kind of role in the food chain process that returns nutrients from dead organisms to the soil; int2 & int4 -> int5: decomposers are important to the food chain process by returning nutrients to the soil; int5 & sent11 -> int6: decomposers are important to the food chain process by breaking down dead organisms; int6 & sent7 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: if a plant makes food for itself then that plant does not need to eat other organisms; sent4 & sent7 -> int2: plants make food by performing photosynthesis; sent3 & sent2 -> int3: photosynthesis is a source of energy for plants; int3 & sent5 -> int4: plants turn sunlight into food energy; int2 & int4 -> int5: plants turn sunlight into food energy; int5 & sent2 -> int6: plants turn sunlight into food energy; int2 & int6 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: sunlight is a source of solar energy; int1 & sent2 -> int2: sunlight is a source of solar energy; int2 & sent10 -> int3: plants use solar energy to make food; sent8 & sent9 -> int4: if the photosynthesis process converts something into something else then that something is used for photosynthesis; int4 & sent5 -> int5: plants use solar energy for photosynthesis; int5 & sent4 -> int6: green plants use solar energy to make food; int3 & int6 -> hypothesis;
$proof$ = sent10 & sent4 -> int1: if large birds die then the population of that large bird will decrease; sent1 & sent3 -> int2: disease has a negative impact on organisms; int2 & sent10 -> int3: disease has a negative impact on large birds; int1 & int3 -> int4: large birds dying has a negative impact on small birds; sent2 & sent9 -> int5: if an animal eats another animal then the animal will be the predator and the other animal will be the prey; int5 & sent6 -> int6: large birds are predators to small animals; int6 & sent7 -> int7: as the population of large birds decreases the population of small animals will increase; int4 & int7 -> int8: if large birds die then the population of small animals will increase; int8 & sent8 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: earthworms can loosen the soil; int1 & sent3 -> int2: more oxygen is available for tree roots; int2 & sent1 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: plant reproduction requires pollinating animals; int1 & sent1 -> int2: pollinating animals can carry pollen from one flower to another flower; int2 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: tree roots help fungus survive by improving the soil quality for trees; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: barney is a kind of organism; int1 & sent4 -> int2: barney's environment affects his acquired characteristics; sent1 & sent5 -> int3: barney's scar on his ear is an acquired characteristic; int2 & int3 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a dolphin balances a ball on its nose; int1 & sent3 -> int2: a dolphin learns to balance a ball on its nose; int2 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a scar on the knee is an acquired characteristic; int1 & sent3 -> int2: a scar on the knee is not passed from parents to offspring; int2 & sent2 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: learning characteristics are a kind of learned characteristic of an animal; int1 & sent4 -> int2: learned characteristics are not a kind of instinctive behavior; sent1 & sent2 -> int3: pulling a plow is a kind of chore; int2 & int3 -> int4: pulling a plow is a kind of learned behavior; int4 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: looking in a garbage can requires opening that garbage can; int1 & sent1 -> int2: animals will look for food in garbage cans; int2 & sent3 -> int3: animals will need to open garbage cans to survive; int3 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: hunting is a kind of learned characteristics; int1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a fox is a kind of living thing; int1 & sent4 -> int2: genes are able to determine the color of fur of a fox; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: genetic information can be used for making proteins; int1 & sent4 -> int2: dna contains the genetic information for making proteins; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: jessica has the recessive gene for light eyes from each parent; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 & sent5 -> int1: red colored flowers and white colored flowers are different properties; int1 & sent4 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the offspring will have a 25% probability to be homozygous recessive; sent5 & sent4 -> int2: two gray mice are crossed to produce offspring; int1 & int2 -> int3: the offspring will have a 25% probability to be homozygous recessive; sent3 & sent7 -> int4: white fur is a kind of homozygous recessive for mice; int3 & int4 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: the trunk of a pecan tree is a part of the pecan tree for supporting the tree; int1 & sent1 -> int2: the thickness of the trunk of a pecan tree is an inherited characteristic; int2 & sent3 -> int3: offspring can inherit the thick trunk from their parents; int3 & sent2 -> hypothesis;
$proof$ = sent3 & sent4 & sent6 -> int1: the cat will inherit inherited characteristics from its parents; int1 & sent5 -> int2: the cat will have the same coloration of fur as its parents; int2 & sent2 -> int3: the cat will have white fur as its parents; int3 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: fur is often a part of a dog; int1 & sent4 -> int2: color of fur is an inherited characteristic that dogs will inherit from their parents; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent2 & sent4 -> int1: the sexual reproduction process is prevented in the insects; int1 & sent1 & sent3 -> int2: the reproduction rate in the insects will decrease; int2 & sent5 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a fruit fly is a kind of animal; int1 & sent3 -> int2: fruit fly parents are the source of 50% of the genes in a fertilized egg; sent2 & sent5 -> int3: each fruit fly parent is the source of 50% of the genes in a fertilized egg; int2 & int3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: fire causes paper to burn; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the iron nail is rusted; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 & sent5 -> int1: calcium, carbon, and oxygen are three elements; int1 & sent3 -> int2: calcium carbonate is made of three elements; int2 & sent2 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: sodium and chlorine are two elements; int1 & sent1 -> int2: sodium chloride is made of two elements chemically combined; int2 & sent2 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: calcium carbonate reacting with acid produces a new substance; int1 & sent2 -> int2: a chemical reaction happened between limetone and hydrochloric; int2 & sent4 -> int3: a chemical reaction happened between limetone and hydrochloric; int3 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: folding a sheet of paper changes the shape of the sheet; int1 & sent1 -> hypothesis;
$proof$ = sent5 & sent2 & sent1 -> int1: a substance changes from one state to another state of matter; int1 & sent3 -> int2: melting butter changes butter from a solid state to liquid state of matter; int2 & sent4 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: water boiling is a kind of physical process; int1 & sent3 -> int2: water is undergoing a phase change; int2 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the nucleus of an atom is made of protons, neutrons, and electrons; int1 & sent4 -> int2: neutrons are part of the nucleus of an atom; int2 & sent2 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: rubber is a kind of material; int1 & sent3 -> int2: an unbalanced electrical charge of rubber can cause the material to be unbalanced; int2 & sent2 -> int3: rubbing rubber on wool can cause the material to be unbalanced; sent4 & sent5 -> int4: static electricity can attract small strips of paper; int4 & sent8 -> int5: rubbing rubber on wool can cause the material to attract small strips of paper; int3 & int5 -> 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; int2 & sent1 -> int3: if an atom has an equal number of protons and electrons, then the atom will have a neutral charge; int3 & sent5 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: one proton and neutron have different mass units; int1 & sent4 -> int2: the mass of proton and neutron is determined by the mass of proton and neutron; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: losing electrons causes an object to be unbalanced; int1 & sent1 -> int2: losing electrons causes an object to be negatively charged; sent5 & sent3 -> int3: hair tends to lose electrons after being rubbed with other materails; int2 & int3 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: the atom will have a positive electrical charge; sent4 & sent1 -> int2: the atom will be negatively-charged; int1 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: ions are formed during a chemical reaction; int1 & sent2 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: iron is a solid substance; int1 & sent1 -> int2: iron will melt; int2 & sent3 -> int3: the temperature of iron is increasing; int3 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: copper is made of one kind of atoms; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: sodium and potassium have similar properties; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: helium, neon, argon have similar properties; int1 & sent4 -> int2: he, neon, argon, and ne, have similar properties; int2 & sent5 -> int3: he, ne, and argon have similar properties; int3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a substance has a boiling point of 100c; int1 & sent2 -> int2: the boiling point of water is 100c; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent5 & sent4 -> int1: the one pan contains 1 l of water and the other pan contains 3 l of water; int1 & sent2 -> int2: the water in both pans will have the same boiling point; int2 & sent3 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: puddles of water will receive sunlight; int1 & sent5 -> int2: the puddles of water will increase in temperature; int2 & sent1 -> int3: the puddles of water will increase in heat energy; int3 & sent3 & sent2 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: the molecules in water will move slowly / closer; int1 & sent2 & sent1 -> int2: the water will freeze; sent4 & sent5 -> int3: as the temperature of water decreases, the molecules in water will move closer; int2 & int3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: the heat energy of water is decreasing; int1 & sent5 -> int2: the temperature of water is decreasing; int2 & sent4 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: water will freeze when it reaches its freezing point; int1 & sent1 -> int2: water will change its state of matter when it reaches its freezing point; sent5 & sent4 -> int3: water will change its liquid state to solid state; int3 & sent6 & sent2 -> int4: water will change its liquid state to solid when it reaches its freezing point; int2 & int4 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: the ice cube will absorb solar energy; int1 & sent7 -> int2: the ice cube will heat; int2 & sent3 -> int3: the ice cube will heat; int3 & sent6 & sent4 -> hypothesis;
$proof$ = sent4 & sent6 -> int1: the ice cube will absorb solar energy; int1 & sent5 & sent2 -> int2: the ice cube will melt and change from a solid state to liquid state; int2 & sent1 & sent7 -> int3: the ice cube will change from a solid state to water by absorbing solar energy; int3 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: ice cube is a solid substance; int1 & sent3 & sent1 -> hypothesis;
$proof$ = sent1 & sent6 -> int1: chocolate is a solid substance; int1 & sent2 -> int2: chocolate has a definite shape; int2 & sent4 -> int3: chocolate can have a variable shape; int3 & sent3 -> int4: chocolate can melt; int4 & sent5 -> hypothesis;
$proof$ = sent2 & sent4 & sent3 -> int1: water will change from a liquid to a gas when heated above its boiling point; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: as the temperature of water increases, the molecules in water will move faster; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 & sent4 -> hypothesis;
$proof$ = sent3 & sent5 & sent2 -> int1: comparing the mass and volume of different objects requires measuring the mass of each object; int1 & sent6 & sent4 -> int2: comparing the mass and volume of different objects requires measuring the mass and volume of 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; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a compass is a tool that uses natural magnetism; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: kilogram can be used to measure the mass of a heavy object; 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; int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 & sent4 -> int1: sand and clay are different solids; int1 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: fruit salad is a kind of mixture; sent3 & sent1 -> int2: fruit salad is made of solids; int1 & int2 -> int3: fruit salad is a mixture of solids; int3 & sent4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a tennis ball that contains gas will float in water; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: appearance is a kind of physical property; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: metal is the material that has high melting points; int1 & sent2 -> int2: the substance is highly reflective, able to conduct electricity, and has high melting points; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the conductivity of an object depends on the conductivity of that material; int1 & sent2 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: iron nails are made of metal; int1 & sent1 & sent2 -> int2: iron nails can conduct electricity and heat; sent3 & sent5 -> int3: iron nails are magnetic; int2 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: cutting diamond requires rigid tools; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: a metal spoon is a thermal conductor; sent2 & sent2 -> int2: hot water is a source of heat; int2 & sent1 -> int3: the hot water will be a source of heat for the metal spoon; int1 & int3 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the object is opaque; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent3 & 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 no definite volume and no definite shape; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: as the ability to preserve food increases, the ability to transport food will increase; int1 & sent1 -> int2: as the ability to transport food increases, the available types of food in distant locations will increase; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: footing is used for supporting the foundation of a building; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: as the number of runways increases, the traffic congestion at the airport usually decreases; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: an example of observing something is taking a picture; int1 & sent2 -> int2: an example of observing a tree is taking a picture; int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the changes in temperature over a period of time need to be shown in a graph; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: if heat of a liquid is transferred to the environment, then the temperature of the liquid will decrease; int1 & sent4 -> int2: if heat of a liquid is transferred to the environment, then the temperature of the liquid will decrease; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;