$proof$ = sent7 -> int1: northern hemisphere is a kind of hemisphere of earth; int1 & sent3 -> int2: northern hemisphere has the most sunlight in summer; sent15 & int2 -> hypothesis;
$proof$ = sent7 & sent23 & sent2 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: earth is a planet; sent21 & sent5 -> int2: how many days something takes is a kind of measurement of time; sent17 & sent23 -> int3: the earth revolving the sun takes one year; sent24 & sent25 -> int4: a complete revolution of the earth around the sun takes one year; sent10 & int1 -> int5: the earth revolving its star takes one year; int3 & int5 & int4 -> int6: a complete revolution of the earth around its star takes one year; sent16 & int6 -> int7: a complete revolution of the moon around the earth takes one year; int2 & int7 -> hypothesis;
$proof$ = sent16 & sent17 & sent7 -> hypothesis;
$proof$ = sent24 & sent13 & sent23 -> hypothesis;
$proof$ = sent6 & sent24 & sent21 -> hypothesis;
$proof$ = sent24 & sent14 & sent2 -> int1: a galaxy is a kind of celestial object made of stars; sent9 & sent5 -> int2: a star is a kind of celestial object; int1 & sent25 -> int3: the milky way is a kind of celestial object; int2 & int3 & sent23 -> int4: stars in milky way are located light years apart; sent4 & int4 -> hypothesis;
$proof$ = sent15 & sent25 -> int1: comet orbits the sun in an elliptical path; sent16 & sent12 -> int2: a comet is a kind of celestial body made of ice; sent20 & sent1 & int1 & int2 -> hypothesis;
$proof$ = sent5 & sent20 -> hypothesis;
$proof$ = sent7 & sent2 -> int1: a moon and a planet are both celestial objects; sent11 & sent8 -> int2: the earth and the moon are different kinds of things; sent15 & sent9 -> int3: the moon is a kind of planet that orbits the earth; sent12 & sent18 -> int4: earth is a planet; sent18 & sent12 -> int5: earth and the moon are both planets; sent19 & sent10 -> int6: different is the opposite of the same in every case; sent20 & sent21 -> int7: moon and earth are different kinds of planets; int1 & int4 -> int8: the moon and earth are both planets; int5 & sent4 -> int9: the earth revolves around the moon; sent6 & int6 -> int10: different is a kind of difference between two things; int8 & int3 -> int11: the moon and earth are both planets that orbit the earth; int11 & int7 -> int12: the moon and earth are different kinds of planets; int10 & int12 -> int13: the moon and earth are different kinds of things; int13 & int9 & int2 -> hypothesis;
$proof$ = sent11 & sent8 -> hypothesis;
$proof$ = sent4 & sent14 -> int1: the sun is closer to earth than the four planets farthest from the sun; sent15 & int1 -> hypothesis;
$proof$ = sent23 & sent2 -> hypothesis;
$proof$ = sent18 & sent7 -> hypothesis;
$proof$ = sent14 & sent19 -> hypothesis;
$proof$ = sent23 & sent24 -> int1: a yellow dwarf is a kind of small star; int1 & sent11 -> int2: the sun is a yellow dwarf; sent1 & sent10 & int2 -> hypothesis;
$proof$ = sent13 & sent5 & sent18 -> int1: red dwarf stars are cooler than yellow dwarf stars; sent6 & sent22 -> int2: the sun is a star; sent6 & sent22 -> int3: the sun is a kind of celestial object; sent8 & sent24 -> int4: a star is a kind of celestial object; int4 & int2 -> int5: the sun is a celestial object; int3 & int5 & int1 -> hypothesis;
$proof$ = sent1 & sent22 -> int1: the sun is a kind of main-sequence star; sent9 & int1 & sent8 -> hypothesis;
$proof$ = sent4 & sent11 & sent8 -> int1: protons and neutrons are kinds of subatomic particles; int1 & sent10 & sent25 -> int2: protons and neutrons are used in nuclear fusion; sent2 & int2 -> hypothesis;
$proof$ = sent17 & sent14 -> int1: a moon is a kind of celestial object; sent6 & sent2 -> int2: less is more; sent6 & sent2 -> int3: less is more in the sense of less; sent6 & sent2 -> int4: less is more in this case; sent12 & sent7 & sent4 -> int5: as the force of gravity on human decreases, the human can jump higher generally; int1 & int4 & int3 -> int6: less is more on the moon in this case; int2 & int6 & int5 -> hypothesis;
$proof$ = sent16 & sent4 -> int1: less is the opposite of more in the universe; sent21 & sent3 -> int2: as the mass of an object decreases, the weight of an object on that object will decrease; sent14 & sent22 -> int3: the moon is a celestial object; sent25 & sent12 -> int4: as the mass of an object increases, the weight of an object on that object will increase; sent15 & int3 & int2 -> int5: as the mass of the moon decreases, the weight of an object on the moon will decrease; sent9 & int4 -> int6: as the mass of an object increases, the weight of an object on that object will decrease; sent6 & int5 -> int7: an object weighs more on earth than on the moon because earth has more mass than the moon; int1 & int6 -> int8: less mass means less weight in the universe; int8 & int7 -> int9: an object will weigh less on earth than on the moon because the surface gravity on earth is less than the surface gravity on the moon; sent24 & int9 -> hypothesis;
$proof$ = sent25 & sent12 & sent4 -> int1: detailed observation of the moon requires a telescope; sent9 & int1 -> hypothesis;
$proof$ = sent12 & sent4 & sent18 -> int1: a new moon phase occurs approximately once per week; sent10 & sent8 -> int2: the new moon is when the moon should be in between the sun and the earth; sent24 & int2 -> int3: the new moon is when the moon should be in phase with the earth; int3 & sent4 & sent12 -> int4: the first quarter of the moon will occur after the new moon; sent9 & int1 & int4 -> hypothesis;
$proof$ = sent12 & sent15 & sent10 -> hypothesis;
$proof$ = sent25 & sent20 & sent21 -> int1: the first quarter moon and the last quater moon are kinds of moon phases; int1 & sent15 -> int2: the lowest gravitational pull is during the first quarter moon and the last quater moon phase; sent13 & int2 -> hypothesis;
$proof$ = sent24 & sent8 -> hypothesis;
$proof$ = sent9 & sent22 & sent24 -> int1: gravity causes the sun to orbit the sun; sent25 & sent24 -> int2: gravity causes planets to orbit stars; int1 & int2 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: gravity causes planets to orbit stars; sent1 & sent9 & int1 -> hypothesis;
$proof$ = sent10 & sent19 -> int1: gravity causes planets to orbit stars; sent12 & sent9 & int1 -> hypothesis;
$proof$ = sent9 & sent8 & sent21 -> int1: the sun is a star made of gases; sent3 & sent18 & int1 -> hypothesis;
$proof$ = sent9 & sent17 -> int1: astronauts wear spacesuit backpacks that contain oxygen; int1 & sent7 -> hypothesis;
$proof$ = sent23 & sent1 -> int1: volcano eruption can form a new land; sent3 & sent1 -> int2: volcano eruptions can form a new land by lava cooling; sent19 & int1 -> int3: volcano eruptions change earth's surface by forming a new land; int3 & int2 -> hypothesis;
$proof$ = sent23 & sent14 -> int1: precipitation and infiltration are stages in the water cycle; sent15 & int1 -> int2: precipitation and infiltration in the water cycle are stages in the water cycle; int2 & sent12 -> int3: precipitation and infiltration in the water cycle are responsible for precipitation and infiltration; sent6 & int3 & sent4 -> hypothesis;
$proof$ = sent14 & sent4 -> int1: fossils are formed by the remains of organisms; sent7 & sent1 -> int2: sedimentary rocks can contain fossils; sent18 & int1 -> int3: fossils are formed in sedimentary rock; int3 & int2 -> int4: fossils can be formed in sedimentary rock; sent12 & int4 -> int5: fossils can be formed in rocks; int5 & sent21 -> hypothesis;
$proof$ = sent3 & sent22 -> hypothesis;
$proof$ = sent12 & sent25 -> int1: radioactive dating can be used to determine the age of fossils; sent8 & int1 -> hypothesis;
$proof$ = sent18 & sent12 -> int1: if fossils of a fish are found in a place then that place used to be covered by water in the past; sent25 & int1 -> hypothesis;
$proof$ = sent15 & sent8 -> int1: if fossils of trilobites are found in a place then that place used to be covered by water in the past; sent9 & sent17 & int1 & sent20 -> hypothesis;
$proof$ = sent5 & sent23 & sent3 -> hypothesis;
$proof$ = sent21 & sent15 -> int1: some organisms have changed over time; sent1 & sent25 -> int2: organisms are a part of the environment; int1 & sent8 -> int3: fossils can be used to study organisms that have changed over time; int2 & sent2 -> int4: how the environment changed over time is a part of the history of the environment on earth; sent14 & int4 -> int5: the scientist wants to investigate the environmental changes from ancient time to now; int5 & int3 -> int6: the scientist wants to study fossils from ancient environment; sent23 & int6 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: fossils are commonly found in limestones; sent22 & int1 -> hypothesis;
$proof$ = sent10 & sent22 -> hypothesis;
$proof$ = sent13 & sent2 -> hypothesis;
$proof$ = sent7 & sent10 & sent11 -> int1: sulfur is a mineral that is yellow in color; sent14 & int1 -> hypothesis;
$proof$ = sent25 & sent16 -> hypothesis;
$proof$ = sent9 & sent16 -> int1: weathering and erosion are kinds of erosion; sent13 & sent21 -> int2: erosion is a part of the geological process; int1 & sent3 -> int3: in the rock cycle, weathering causes erosion; int2 & sent10 -> int4: weathering and erosion are kinds of processes; sent2 & int3 -> int5: in the rock cycle, old rocks are changed into new rocks; int4 & sent18 -> int6: if something is formed by weathering and erosion then it is formed as a result of weathering and erosion; sent12 & int5 -> int7: in the rock cycle, new rocks are formed from old rocks; int6 & int7 -> int8: in the rock cycle, new rocks are formed by weathering and erosion; sent14 & int8 -> hypothesis;
$proof$ = sent20 & sent13 -> hypothesis;
$proof$ = sent14 & sent10 -> int1: if something contains a material then that something contains that material; sent7 & sent8 -> int2: a rock and a mineral are kinds of objects; sent5 & sent20 & sent2 -> int3: a rock is made of minerals; sent16 & int1 -> int4: a mineral contains that mineral; int2 & sent17 -> int5: the properties of a rock can be used to identify that rock; int4 & int3 -> int6: a rock contains minerals; sent6 & int5 -> int7: rocks can be identified by their properties; int6 & int7 -> hypothesis;
$proof$ = sent18 & sent16 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: sedimentary rocks are formed by sediments compacting and cementing together; sent6 & sent22 -> int2: sedimentary rocks are made of small particles of sand; sent12 & sent8 -> int3: sedimentary rocks often have different colored layers and dark-colored layers; sent17 & int1 -> int4: sedimentary rocks are formed by sediments compacting and cememting together; int2 & sent25 -> int5: a rock is made of small particles of sand with different colored layers; int4 & sent9 -> int6: sedimentary rocks are formed by sediments compaction and cememting together; int3 & sent13 & int5 -> int7: that rock is made of small particles of sand with light-colored layers and dark-colored layers; int7 & int6 -> hypothesis;
$proof$ = sent15 & sent7 -> int1: fossil fuels are formed from dead organisms over a long period of time; int1 & sent8 -> int2: fossil fuels are formed from dead organisms; int2 & sent4 & sent12 -> int3: fossil fuels are formed from dead plants; sent20 & int3 & sent22 -> hypothesis;
$proof$ = sent11 & sent12 -> int1: if something is required for a process then that something helps that process; sent14 & sent2 -> int2: forming coal requires deposition and burial of decaying vegetation; sent19 & sent6 -> int3: plants decay; sent17 & sent20 -> int4: coal and oil and gas are kinds of fossil fuels; sent17 & sent20 -> int5: fossil fuel is a kind of fossil fuel; sent10 & sent22 -> int6: prehistoric means something that exists a very long time ago; int1 & sent4 -> int7: fossil fuels help in the formation of coal; sent3 & int3 -> int8: fossil fuels are formed from decaying plants over time; sent16 & int7 -> int9: coal is formed from fossil fuels; int8 & int2 -> int10: coal is formed from decaying plants over time; int10 & int9 -> int11: coal is formed from decaying plants; int11 & int7 -> int12: decaying plants and fossil fuels help in the formation of coal; int11 & int7 -> int13: decaying plants help in the formation of coal; int12 & sent16 -> int14: decaying plants and coal are kinds of fossil fuels; int6 & int13 -> int15: prehistoric decaying plants help in the formation of coal; int5 & int4 & int14 -> int16: decaying plants and coal and oil and gas are kinds of fossil fuel; int13 & int16 -> int17: decaying plants help in the formation of coal and oil and gas; int17 & int15 -> hypothesis;
$proof$ = sent1 & sent10 -> int1: burning fossil fuels increases the amount of carbon dioxide in the atmosphere; sent19 -> int2: adding heat to the atmosphere means increasing temperature; sent15 & sent22 & int1 -> int3: burning fossil fuels adds carbon dioxide to the atmosphere; sent7 & int2 -> int4: as the amount of carbon dioxide in the atmosphere increases, the temperature of the planet will increase; int4 & int3 -> hypothesis;
$proof$ = sent23 & sent25 -> int1: use of energy comes from an impact; sent19 & sent10 -> int2: burning fossil fuels increases the carbon dioxide in the atmosphere; sent25 & int1 -> int3: use of energy comes from an impact on something; int3 & int2 -> int4: use of fossil fuels comes from an impact on the atmosphere; int3 & int2 -> int5: use of fossil fuels comes from an impact on the environment; int4 & int5 -> hypothesis;
$proof$ = sent24 & sent17 -> int1: global warming is when the temperature of the world increases; sent14 & sent2 & int1 -> int2: global warming is when the temperature of the planet increases; int2 & sent14 -> int3: global warming means an increase in temperature; int3 & sent4 & sent7 -> hypothesis;
$proof$ = sent12 & sent15 -> int1: burning coal and oil causes acid rain; sent16 & sent5 -> int2: burning gasoline is a source of air pollution; sent20 & sent1 -> int3: burning something is a kind of activity; sent14 & sent22 -> int4: gasoline is kind of fossil fuel; sent18 & sent6 & sent22 -> int5: coal and gasoline are kinds of fossil fuels; sent13 & int3 -> int6: burning something is a kind of human activity; int2 & int4 -> int7: burning fossil fuels is a source of air pollution; sent13 & int6 -> int8: burning fossil fuels is a kind of human activity; int7 & int1 -> int9: burning fossil fuels causes acid rain; int9 & int8 -> int10: burning fossil fuels contributes to the formation of acid rain; int10 & int5 -> hypothesis;
$proof$ = sent17 & sent21 -> hypothesis;
$proof$ = sent22 & sent13 & sent15 -> int1: surface mining removes the vegetation; sent2 & int1 -> int2: surface mining removes a kind of vegetation from the biosphere; sent4 & int2 -> int3: surface mining removes vegetation from the biosphere; sent7 & int3 -> int4: surface mining has a negative impact on the lithosphere and biosphere; sent16 & int4 -> hypothesis;
$proof$ = sent9 & sent13 -> int1: a fossil fuel is a kind of resource; sent1 & sent21 -> int2: fossil fuels are a kind of nonrenewable resource; sent4 & sent7 -> int3: oil is a kind of nonrenewable resource; sent3 & sent19 -> int4: petroleum is a kind of fuel; int1 & int4 -> int5: petroleum is a kind of resource; int2 & int5 & int3 -> hypothesis;
$proof$ = sent15 & sent22 -> int1: as the use of something decreases, the use of the source of that something decreases; sent16 & sent11 -> int2: ethanol is made of corn; int2 & sent9 -> int3: ethanol is made of corn used for production of ethanol; int3 & int1 -> int4: as the use of ethanol decreases, the use of farm land decreases; sent13 & int3 -> int5: ethanol requires farm land for production; int5 & int4 -> int6: as the use of ethanol increases, the use of farm land decreases; sent12 & int6 -> hypothesis;
$proof$ = sent15 & sent5 -> int1: energy from ocean tides is a renewable resource; sent2 & int1 -> hypothesis;
$proof$ = sent23 & sent12 -> int1: wood boards can be used to build a building; sent19 & sent17 -> int2: wood boards are made of a renewable resource; sent7 & int1 -> int3: wood boards are a kind of building material; sent8 & int2 -> int4: wood boards are made of a renewable natural resource; int4 & int3 -> hypothesis;
$proof$ = sent19 & sent10 -> int1: irrigation can decrease the nutrients in soil; sent15 & sent20 -> int2: low quality soil has a low number of nutrients; sent12 & sent22 -> int3: if the amount of something decreases then the amount of that something will be depleted; sent23 & sent21 -> int4: erosion can decrease the amount of nutrients in soil; sent6 & sent24 -> int5: if irrigation requires something then increasing irrigation increases that something; int4 & sent18 -> int6: if the amount of nutrients in soil decreases then the amount of nutrients in soil will be depleted; int6 & int3 -> int7: as the amount of nutrients in soil decreases the amount of nutrients in soil will decrease; int2 & int6 -> int8: low quality soil will deplete the nutrients in soil; int2 & int6 -> int9: low quality soil causes the nutrients in soil to deplete; int2 & int7 -> int10: low quality soil causes the amount of nutrients in soil to decrease; int1 & int8 & int9 -> int11: irrigation can deplete the nutrients in soil; int11 & sent19 -> int12: irrigation can cause the nutrients in soil to be depleted; int12 & int10 -> int13: irrigation can cause the nutrients in soil to decrease; int13 & int5 -> int14: increasing irrigation on agricultural grounds will increase the nutrients in soil; int14 & sent5 -> hypothesis;
$proof$ = sent18 & sent17 & sent2 -> int1: overgrazing can increase the amount of topsoil eroded; sent18 & sent17 & sent2 -> int2: overgrazing can increase topsoil erosion; sent18 & sent17 & sent2 -> int3: overgrazing can increase the amount of topsoil; sent25 & sent14 -> int4: soil erosion is when wind and moving water move soil from fields / environments; sent25 & sent14 -> int5: soil erosion is when wind; sent25 & sent7 & sent14 -> int6: soil erosion is when wind and moving water moves soil from fields; int4 & int5 & int6 -> int7: soil erosion caused by wind and moving water can occur in fields; int7 & sent6 -> int8: soil erosion caused by wind and moving water can cause desertification; int3 & int2 & int8 -> int9: overgrazing can increase the rate at which topsoil is eroded and cause desertification; int1 & int9 -> hypothesis;
$proof$ = sent13 & sent10 -> int1: recycling reduces the amount of trees that are cut; int1 & sent19 -> hypothesis;
$proof$ = sent10 & sent9 -> int1: tree roots decrease soil erosion; sent25 & sent16 -> int2: clearing a forest means cutting down a large amount of trees in that forest; sent15 & sent8 -> int3: a decrease in tree roots will increase soil erosion; int1 & int3 -> int4: tree roots increasing soil erosion in a forest causes the soil erosion to increase; int2 & int4 -> hypothesis;
$proof$ = sent24 & sent5 -> int1: cutting down forests means cutting down the trees in that forest; int1 & sent1 -> int2: cutting down forests is a kind of deforestation; sent13 & int2 -> hypothesis;
$proof$ = sent4 & sent10 -> int1: a rain forest is a kind of forest; sent6 & sent18 -> int2: deforestation is when the number of trees are cut down in a forest; sent8 & sent19 -> int3: plants are a kind of producer of oxygen; sent17 & sent24 -> int4: animals are kinds of organisms; int1 & sent12 -> int5: some animals live in rainforests; sent7 & int2 -> int6: deforestation causes the number of trees to decrease in a forest; int4 & sent13 -> int7: the decrease of something required by an animal has a negative impact on that animal's survival; sent15 & int5 -> int8: some animals require oxygen for survival in rainforests; sent11 & int8 -> int9: oxygen is required by some animals in rainforests; int7 & int9 -> int10: a decrease of oxygen has a negative impact on an animal's survival in rainforests; int6 & int10 -> int11: deforestation causes the supply of oxygen in rainforests to decrease; int11 & int3 -> hypothesis;
$proof$ = sent15 & sent23 -> int1: seawater may come from a sea; int1 & sent5 -> hypothesis;
$proof$ = sent12 & sent14 -> int1: glaciers are a kind of water reservoir; sent16 & int1 -> int2: glaciers are a kind of water reservoir that provide freshwater; sent1 & int2 -> hypothesis;
$proof$ = sent24 & sent5 -> int1: humans changing ecosystems has a negative impact on an ecosystem; sent20 & sent8 -> int2: cutting down trees has a negative impact on an ecosystem; int1 & int2 -> int3: humans cutting down trees has a negative impact on an ecosystem; int2 & sent1 -> int4: building trails by cutting down trees has a negative impact on that forest; int4 & int3 & sent19 -> hypothesis;
$proof$ = sent2 & sent24 & sent11 -> int1: runoff from a cropland into a lake is when cropland water enters; sent9 & sent18 -> int2: negative impact on cropland is the opposite of positive impact on cropland; sent22 & sent25 & int1 -> int3: runoff from a cropland into a lake is a kind of water; sent20 & int3 -> int4: runoff from a cropland entering a lake causes water pollution; int2 & int4 -> hypothesis;
$proof$ = sent16 & sent23 -> int1: seals are a kind of animal that return to the same beaches every year to give birth; int1 & sent13 & sent14 -> hypothesis;
$proof$ = sent3 & sent14 -> int1: a bean plant is a kind of resource; sent19 & sent8 -> int2: a compost pile helps conserve resources by recycling plants; int1 & int2 -> hypothesis;
$proof$ = sent12 & sent11 -> int1: as time spent taking a shower decreases, the water used will decrease; sent16 & sent21 -> int2: conserving water requires using less water; sent20 & sent10 -> int3: shortening something can mean decreasing something; int1 & int2 -> int4: taking a shower conserves water; int4 & int3 -> hypothesis;
$proof$ = sent23 & sent3 -> int1: an ecosystem is a kind of ecosystem; sent1 & sent18 & sent10 -> int2: humans building roads in an ecosystem changes that ecosystem; sent17 & sent7 -> int3: humans changing ecosystems has a negative impact on an ecosystem; int3 & int1 -> int4: humans changing an ecosystem has a negative impact on that ecosystem; int4 & int2 -> int5: humans building roads in an ecosystem has a negative impact on that ecosystem; sent14 & int5 -> hypothesis;
$proof$ = sent18 & sent13 -> int1: acid rain changes the pH of water; sent6 & int1 -> hypothesis;
$proof$ = sent15 & sent22 & sent13 -> int1: the runoff from the farm will contain fertilizer; sent13 & sent15 & sent22 -> int2: the runoff from the farm will contain fertilizers; sent1 & sent14 -> int3: cropland water runs off into bodies of water; sent11 & sent19 -> int4: algae growth is when a living thing grows; sent11 & sent19 -> int5: algae is a kind of growth; int3 & int1 -> int6: the runoff from the farm will contain chemicals; int3 & int5 & int4 -> int7: cropland water running off from a farm can contain nutrients that can increase the population of algae; sent24 & int6 -> int8: the runoff from the farm contains fertilizer; int8 & int7 & int2 -> hypothesis;
$proof$ = sent18 & sent7 -> int1: a pond is a kind of pond; sent19 & sent5 -> int2: killing a fish can cause that fish to die; sent1 & int1 -> int3: toxic chemicals are dumped into the pond; int3 & int2 -> hypothesis;
$proof$ = sent14 & sent24 & sent23 -> int1: hunting and overhunting decrease animal populations; sent8 & sent13 & sent11 -> int2: if an animal population decreases to zero then that animal is extinct; sent13 & sent8 & sent11 -> int3: if an animal population decreases to zero then the animal is extinct; int3 & int2 & int1 -> hypothesis;
$proof$ = sent24 & sent14 -> int1: if an animal eats other animals for food, then the animal will be the predator and the other animal will be the prey; sent5 & int1 -> int2: if an animal eats another animal then the animal will be the predator and the other animal will be the prey; int2 & sent24 -> int3: an animal hunting another animal can cause that animal to be extinct; sent25 & int3 -> int4: an animal hunting sloths can cause sloths to be extinct; sent2 & int4 -> hypothesis;
$proof$ = sent9 & sent20 -> hypothesis;
$proof$ = sent6 & sent9 -> int1: an earthquake can change earth's surface; sent10 & int1 -> hypothesis;
$proof$ = sent14 & sent13 -> hypothesis;
$proof$ = sent7 & sent11 & sent25 -> hypothesis;
$proof$ = sent18 & sent21 -> hypothesis;
$proof$ = sent3 & sent6 -> hypothesis;
$proof$ = sent9 & sent11 & sent8 -> hypothesis;
$proof$ = sent9 & sent6 -> int1: as a submarine descends into water, the pressure on the submarine will increase; sent14 & int1 -> hypothesis;
$proof$ = sent23 & sent22 & sent15 -> hypothesis;
$proof$ = sent11 & sent4 -> hypothesis;
$proof$ = sent19 & sent6 -> hypothesis;
$proof$ = sent8 & sent18 -> int1: planting the same crop every year decreases the amount of nutrients in soil; int1 & sent9 -> hypothesis;
$proof$ = sent9 & sent22 -> hypothesis;
$proof$ = sent13 & sent9 -> int1: a plant requires soil to grow; sent15 & sent3 -> int2: soil erosion is a kind of process; sent8 & sent2 -> int3: rocks must be eroded to form soil; int2 & sent17 -> int4: if soil erosion is required for a process then that process must occur before soil erosion can occur; int1 & int4 -> int5: soil erosion must occur before plants can grow; int5 & int3 -> hypothesis;
$proof$ = sent13 & sent10 -> int1: rain is when water vapor falls from the sky; sent14 & sent19 -> int2: clouds are a kind of precipitation; sent19 & sent14 -> int3: clouds and precipitation are kinds of weather; sent20 & sent9 -> int4: clouds are formed by water vapor condensing into rain droplets; sent23 & sent11 -> int5: a warm front will cause the water vapor to condense; sent4 & int1 -> int6: a warm front causes rain to fall; int2 & sent2 -> int7: clouds are when water falls to the ground from clouds; int4 & sent7 -> int8: a warm front causes clouds to form; int5 & sent16 -> int9: the warm front will cause the water vapor to condense; int6 & int7 -> int10: a warm front causes clouds to form and rain to fall; sent1 & int9 -> int11: the warm front will cause the rain to fall; int10 & int8 -> int12: the warm front causes clouds to form and rain to fall; int12 & int11 -> int13: the warm front will cause clouds and rain; int3 & sent17 & int13 -> hypothesis;
$proof$ = sent16 & sent11 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: a weather balloon is a kind of container; sent22 & sent6 -> int2: as the altitude increases, the air pressure will decrease; sent10 & int1 -> int3: a weather balloon is a kind of flexible container; int3 & sent9 -> int4: as the air pressure surrounding the weather balloon decreases, the volume of the gas surrounding the weather balloon increases; int2 & int4 -> hypothesis;
$proof$ = sent15 & sent8 -> hypothesis;
$proof$ = sent18 & sent23 & sent12 -> hypothesis;
$proof$ = sent14 & sent3 -> int1: an ocean contains liquid water; sent7 & int1 -> int2: ocean water is in the gas state; sent4 & sent13 & int2 & sent12 -> int3: ocean water vapor is in the gas state; int3 & sent23 & sent19 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: as the gradient of a stream increases, the ability of the stream to transport sediments will increase; sent20 & sent21 & sent11 -> int2: deposition is when water moves; sent6 & int2 -> int3: deposition is when water moves from one location to another location; int3 & int1 -> int4: the gradient of a stream will affect the ability of the stream to transport sediments; int4 & sent8 -> hypothesis;
$proof$ = sent14 & sent6 -> int1: erosion is a slow process; sent1 & sent20 -> int2: wind erosion changes the earth's surface; int2 & int1 -> hypothesis;
$proof$ = sent24 & sent17 -> hypothesis;
$proof$ = sent21 & sent14 -> int1: as dryness increases in an environment, the available water in that environment will decrease; sent23 & sent25 -> int2: a high-pressure system can decrease the amount of water in air condensing into clouds; sent19 & sent10 -> int3: drought occurs when available water decreases in an environment; sent24 & int3 -> int4: drought occurs when the amount of precipitation decreases in an environment; int3 & int2 -> int5: a high-pressure system can cause drought in an environment; int1 & int4 -> int6: drought occurs when the amount of water in an environment decreases; int5 & int6 -> int7: a high-pressure system can cause drought in an area; int6 & int5 -> int8: a high-pressure system can cause drought in an environment if it stays in that area for a long time; int8 & int7 -> hypothesis;
$proof$ = sent14 & sent24 -> int1: cool ocean waters are bodies of cool ocean waters; sent6 & sent18 -> int2: heat and moisture above the ocean can cause the formation of a hurricane; sent18 & int2 -> int3: heat and moisture over ocean can cause the formation of a hurricane; sent13 & int3 -> int4: heat and moisture over ocean cannot cause the formation of a hurricane; int4 & int1 -> hypothesis;
$proof$ = sent22 & sent6 & sent10 -> hypothesis;
$proof$ = sent12 & sent10 & sent11 -> int1: rain is a stage in the water cycle; sent5 & sent16 -> int2: rain is a stage in the water cycle process; sent25 & int1 & int2 -> int3: evaporation of water from the water cycle is a stage in the water cycle; sent2 & int3 & sent20 -> hypothesis;
$proof$ = sent12 & sent11 -> int1: water is a liquid at room temperature; sent15 & sent14 & int1 -> int2: the oceans have liquid water; int2 & sent6 & sent4 -> int3: an ocean has liquid water; int3 & sent24 -> int4: the water will evaporate; int4 & sent2 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: the sun causes water to evaporate more quickly by adding heat energy; sent7 & sent23 -> int2: the sun is a source of solar energy; sent8 & sent9 -> int3: the sun is a source of heat energy; int1 & sent15 -> int4: the sun will cause the water to disappear; sent18 & int2 & int3 -> int5: the sun is a source of energy; int5 & int4 -> int6: absorbing the energy from the sun will cause the water to disappear; int6 & sent20 -> hypothesis;
$proof$ = sent10 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: sleet is a precipitation made of ice; int1 & sent9 & sent12 -> hypothesis;
$proof$ = sent7 & sent24 -> int1: precipitation is a property of cold weather; sent12 & sent7 -> int2: a cold front is a kind of weather; sent22 & sent6 -> int3: precipitation is when water falls from the sky to the ground; sent8 & sent20 -> int4: precipitation is when rain; sent12 & sent4 -> int5: a cold front is a kind of cold weather; sent22 & sent21 -> int6: precipitation occurs when water falls from the sky; int2 & sent11 -> int7: precipitation is a property of cold fronts; sent14 & int4 -> int8: precipitation is when rain falls from clouds to the earth; int7 & int5 & int1 -> int9: cold fronts cause precipitation; int8 & int3 -> int10: precipitation is when water falls from the clouds to the earth; int6 & int9 & int10 -> hypothesis;
$proof$ = sent4 & sent17 -> hypothesis;
$proof$ = sent3 & sent8 & sent6 -> int1: a bowling ball and the floor are kinds of objects; sent5 & sent15 -> int2: a bowling ball and a floor are kinds of objects; sent17 & sent12 -> int3: if something is converted into heat energy then that something is turned into heat energy; sent6 & sent1 & int2 & int1 -> int4: the bowling ball and the floor are kinds of objects; sent14 & int3 -> int5: if something is converted into sound energy then that something is turned into heat energy; sent24 & int4 & sent21 -> int6: sound is produced when the bowling ball is touched by the floor; int6 & sent7 & sent10 -> int7: the mechanical energy in the bowling ball is transformed into sound energy when it touches the floor; int7 & int5 -> hypothesis;
$proof$ = sent13 & sent7 -> hypothesis;
$proof$ = sent11 & sent20 -> hypothesis;
$proof$ = sent19 & sent18 -> hypothesis;
$proof$ = sent19 & sent15 -> int1: methane reacting with oxygen will form water and carbon dioxide; int1 & sent22 -> int2: methane reacting with oxygen will release heat energy; sent24 & int2 -> hypothesis;
$proof$ = sent4 & sent15 -> int1: if a light bulb converts a resource into energy it does not use then that lightbulb is not using that resource efficiently; sent25 & sent9 -> int2: the light bulb does not use the heat energy it produces; sent15 & sent19 -> int3: a light bulb converts electrical energy into light energy and heat energy; sent15 & sent19 -> int4: a light bulb converts electrical energy into light energy; sent4 & int4 & int3 -> int5: a light bulb is not using the resource efficiently; int5 & int1 -> int6: the lightbulb is not using the resource efficiently because it converts the resource into energy it does not use; int2 & int6 -> hypothesis;
$proof$ = sent16 & sent15 -> int1: a laser is a device used to produce light; sent8 & int1 & sent11 -> hypothesis;
$proof$ = sent10 & sent4 -> int1: iron is a kind of material; sent11 -> int2: iron is a kind of magnetic material; sent15 & sent14 -> int3: a magnet will attract magnetic metals; sent12 & sent20 -> int4: an electromaget contains a wire; sent20 & sent23 -> int5: an electromaget contains a kind of insulated wire; sent18 & int2 -> int6: iron is a kind of ferromagnetic material; sent19 & int3 -> int7: a magnet will not attract nonmagnetic materials; sent5 & int4 -> int8: an electromaget is a kind of electric magnet; int1 & int6 -> int9: iron is a kind of magnet; sent5 & int8 -> int10: an electromaget is a kind of electromaget; int9 & int7 -> int11: a magnet will not attract iron; sent3 & int10 -> int12: an electromaget is made of coiled wire, iron core, and source of electricity; int11 & sent2 -> int13: a metal rod is not a kind of object; int12 & int5 -> int14: an electromaget is made of insulated wire, iron core, and battery; int14 & int13 -> hypothesis;
$proof$ = sent3 & sent11 & sent1 -> hypothesis;
$proof$ = sent19 & sent11 & sent16 & sent23 -> int1: red, green, and blue are different colors; sent9 & int1 & sent8 & sent3 -> int2: visible light is made of different colors; sent17 & int2 -> hypothesis;
$proof$ = sent13 & sent25 -> int1: a light bulb generates waves; sent19 & sent6 -> int2: waves can travel through a vacuum; int2 & int1 -> hypothesis;
$proof$ = sent10 & sent3 -> hypothesis;
$proof$ = sent12 & sent5 -> hypothesis;
$proof$ = sent10 & sent18 -> int1: a window is a kind of object made of glass; int1 & sent1 -> int2: a glass window causes refraction of light; int1 & sent1 -> int3: a window causes refraction of light; int3 & int2 & sent7 -> hypothesis;
$proof$ = sent13 & sent12 -> int1: a prism is a kind of object made of glass; int1 & sent5 -> int2: prisms cause refraction of light; sent8 & int2 -> int3: a prism causes refraction; int3 & sent24 -> hypothesis;
$proof$ = sent2 & sent14 -> int1: a prism is a tool for refraction; sent2 & sent14 -> int2: a prism is a tool for refractive light; int1 & int2 -> int3: a prism refracts light and splits light into different colors; sent24 & int3 -> hypothesis;
$proof$ = sent19 & sent9 -> int1: gasoline is kind of fossil fuel; sent17 & int1 -> int2: gasoline has high potential energy; sent21 & sent10 & int2 -> hypothesis;
$proof$ = sent25 & sent17 -> int1: a string is made from matter; sent19 & int1 -> int2: vibrating a string can produce sound; sent8 & int2 -> hypothesis;
$proof$ = sent19 & sent14 -> int1: hearing can be used for sensing sound by animals; sent2 & sent23 -> int2: hearing can be used for sensing human sounds; sent7 & sent24 -> int3: air vibrations are a source of sound; sent21 & sent25 -> int4: sound can be used for communication by humans; sent1 & int1 -> int5: hearing can be used for sensing sounds by humans; int4 & sent17 -> int6: talking is when a human makes sound to communicate; int3 & int5 -> int7: humans can sense the air vibrations through hearing; int6 & sent20 -> int8: talking to another human is a kind of communication; int8 & int2 -> int9: humans can sense the sounds made by the other human through hearing; int7 & int9 -> hypothesis;
$proof$ = sent12 & sent16 -> int1: a thunder can move objects through intense sound energy; sent24 & sent7 -> int2: a rattle is a kind of movement; sent15 & int1 & sent6 -> int3: a thunder can move a window through intense sound energy; int2 & int1 -> int4: a thunder can make objects rattle through intense sound energy; sent3 & sent22 & int3 & int4 -> hypothesis;
$proof$ = sent7 & sent6 -> int1: density is a measure of object's mass divided by volume; sent11 & sent20 -> int2: salt water is made of water and salt; sent4 & sent1 -> int3: saltwater and freshwater are kinds of water; int1 & sent3 -> int4: if an object is dense, then the object will be dense; int3 & sent20 -> int5: saltwater is more dense than freshwater; sent21 & int4 & int5 -> int6: saltwater will be dense; int6 & sent24 -> int7: an object will be dense in saltwater; int7 & int2 -> int8: saltwater is dense in comparison with freshwater; int8 & sent23 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: steel is a solid metal; sent10 & int1 -> hypothesis;
$proof$ = sent17 & sent16 -> int1: a metal spoon is a kind of thing; sent21 & sent23 -> int2: when thermal conduction occurs, the heat energy is transferred from the warmer object to the cooler object; sent1 & sent20 -> int3: a thermal energy conductor transfers heat from warmer objects to cooler objects; int1 & sent18 & sent3 -> int4: a metal spoon is a kind of object; sent12 & int3 -> int5: a thermal energy conductor transfers heat from hotter objects to cooler objects; int5 & int2 -> int6: the heat energy is transferred from the warmer object to the cooler object by thermal conduction; sent8 & int6 -> int7: the heat energy in the cooler object will increase in thermal conduction; sent6 & int7 -> int8: the cooler object will be heated by thermal conduction; int8 & int4 & sent15 -> hypothesis;
$proof$ = sent8 & sent4 -> int1: friction occurs when two objects are rubbing against each other; sent6 & int1 & sent2 -> hypothesis;
$proof$ = sent10 & sent11 -> int1: the process transferring heat through collision of particles in a solid is conduction; sent5 & int1 -> hypothesis;
$proof$ = sent16 & sent8 -> int1: if a spoon is used to stir hot chocolate, then that spoon is touching that hot chocolate; sent20 & sent18 -> int2: when a warmer object touches a cooler object, heat energy is transferred to the cooler object; sent24 & sent23 & sent15 -> int3: a spoon and hot chocolate are kinds of objects; sent3 & sent10 -> int4: a thermal energy conductor transfers heat from warmer objects to cooler objects; int1 & sent2 -> int5: the hot chocolate is touching the spoon; int2 & int4 -> int6: heat energy is transferred from warmer objects to cooler objects when a thermal conductor touches a warmer object; int3 & int5 -> int7: heat energy is transferred to the spoon from the hot chocolate; sent25 & int6 -> int8: heat energy is transferred from warmer objects to cooler objects through conduction; int7 & int8 -> hypothesis;
$proof$ = sent11 & sent10 -> int1: the sun is a source of light energy; sent18 & sent17 -> int2: the sun transfers heat energy to the planets through sunlight; sent3 & sent19 -> int3: the sun is a source of radiation; sent16 & sent21 -> int4: the sun is a star; sent4 & sent22 -> int5: the sun is a source of solar energy; sent25 & sent23 -> int6: sunlight is a kind of electromagnetic radiation; int2 & sent24 -> int7: the sun transfers solar energy; sent6 & int5 -> int8: the sun is a source of light; int6 & sent8 -> int9: sunlight transfers heat and light energy by radiation; int7 & sent1 -> int10: the sun transfers heat energy; int10 & int8 -> int11: the sun is a source of heat; int11 & int9 & int1 -> int12: the sun transfers heat and light energy from the sun by radiation; int4 & int12 -> int13: the sun transfers heat and light energy from the sun to the brick by radiation; int13 & int3 -> hypothesis;
$proof$ = sent18 & sent19 -> hypothesis;
$proof$ = sent15 & sent14 -> int1: gas and liquids are kinds of substances; int1 & sent16 & sent17 -> int2: gas, liquids, and solids are kinds of substances; sent18 & int2 -> int3: sound can travel through gas, liquids, and solids; sent8 & int3 -> hypothesis;
$proof$ = sent10 & sent2 -> int1: sound waves are a kind of energy; sent23 & sent25 -> int2: a bell ringing is a source of sound energy; int1 & sent21 -> int3: sound waves trasfer energy; int3 & sent15 -> int4: sound waves trasfer energy by vibrational waves; int2 & int4 -> hypothesis;
$proof$ = sent10 & sent18 -> int1: transverse waves have objects moving in the opposite direction of the wave; sent23 & sent7 -> int2: sound wave is a kind of object; sent11 & int1 & sent23 -> int3: transverse waves have objects moving in the opposite direction of sound waves; int3 & int2 -> int4: sound is a transverse wave; sent5 & int4 -> hypothesis;
$proof$ = sent13 & sent15 -> int1: when two objects move against each other, friction occurs between the two objects; sent16 & int1 & sent11 & sent2 -> int2: friction occurs between two sticks; sent1 & sent6 & int2 -> hypothesis;
$proof$ = sent9 & sent4 -> int1: as the roughness of a surface increases, friction on two objects will increase; sent10 & sent6 -> int2: when the surfaces of two objects touch, friction occurs between the objects; int1 & sent9 -> int3: as the roughness of a surface increases, friction between two objects will increase; int2 & sent4 -> int4: as the roughness of a surface increases, friction will increase when the surfaces of two objects touch; sent21 & int3 & int4 -> hypothesis;
$proof$ = sent6 & sent10 -> int1: a ball and a rubber ball are kinds of objects; sent20 & sent9 -> int2: as the roughness of a surface increases, the friction of that surface will increase when it moves against another surface; int1 & sent19 & sent15 -> int3: friction will counter the motion of the rubber ball when its surfaces are touching; int3 & sent24 -> int4: friction will counter the motion of the rubber ball when their surfaces are touching; int2 & int4 -> int5: friction will increase when the rubber ball is moving against another surface; int5 & int4 -> int6: friction will increase the speed of the rubber ball when they are touching; int6 & sent14 -> hypothesis;
$proof$ = sent11 & sent18 -> int1: grass and concrete are both rough surfaces; sent25 & sent15 -> int2: when friction occurs between two objects, the resistance on the object to move will increase; sent24 & sent15 -> int3: when friction occurs between two objects, both objects' speeds decrease; sent15 & sent21 -> int4: when friction occurs between two objects, both objects' speed decreases; sent3 & sent19 -> int5: as the smoothness of a surface increases, the friction of that surface will decrease when it moves against another surface; int2 & int3 -> int6: when friction occurs between two objects, the resistance on the object to move decreases; int5 & int1 -> int7: the friction on the grass surface will decrease when it moves against the concrete surface; sent25 & int6 -> int8: when friction increases between two objects, the resistance on the object to move will decrease; int8 & int4 -> int9: when friction increases between two objects, the resistance on the object to move on the other surface will increase; int7 & int9 -> int10: the resistance on the object to move on the grass surface will be smaller than on the concrete surface; int8 & int10 -> hypothesis;
$proof$ = sent9 & sent13 & sent18 -> int1: the frozen pond and the rock are touching on their surfaces; sent22 & sent1 -> int2: as the friction increases, the speed of objects will decrease; sent6 & sent25 -> int3: friction causes the speed of objects to decrease; sent6 & sent25 -> int4: when friction occurs between two objects, both objects' speeds decrease; int3 & int2 -> int5: as friction increases, the speed of objects will decrease; int1 & int4 -> int6: friction causes the speed of the rock to decrease; int6 & int5 -> hypothesis;
$proof$ = sent1 & sent2 & sent7 -> hypothesis;
$proof$ = sent5 & sent6 & sent8 -> int1: gravity is the force that causes objects that have mass to be pulled down on a planet; sent8 & sent15 & sent6 -> int2: gravity is the force that causes a ball to be pulled down on a planet; sent22 & int1 & int2 -> hypothesis;
$proof$ = sent1 & sent11 & sent5 -> hypothesis;
$proof$ = sent19 & sent7 -> int1: a magnet is able to attract a paper clip; sent12 & sent8 & int1 -> int2: a magnet attracting a paper clip is an example of an object not touching; sent2 & int2 -> hypothesis;
$proof$ = sent17 & sent15 -> int1: a bicycle is made of more than one simple machine; sent1 & int1 -> hypothesis;
$proof$ = sent19 & sent20 & sent11 -> hypothesis;
$proof$ = sent20 & sent18 -> hypothesis;
$proof$ = sent3 & sent9 -> int1: force causes the speed of an object to decrease; sent22 & sent1 & int1 -> hypothesis;
$proof$ = sent14 & sent16 -> hypothesis;
$proof$ = sent24 & sent5 -> hypothesis;
$proof$ = sent5 & sent14 -> int1: hair is often a part of animals; sent11 & sent21 -> int2: fish are a kind of taxonomic group of animals; sent1 & sent18 -> int3: some reptiles do not have fur; sent9 & int3 -> int4: some fish do not have fur; int4 & int2 -> int5: some animals of one taxonomic group do not have fur; int5 & int1 -> int6: fur is only part of some animals of one taxonomic group; int6 & sent8 -> hypothesis;
$proof$ = sent23 & sent9 -> int1: all species of birds have feathers and wings; sent6 & sent9 -> int2: feathers and wings are part of a bird; sent23 & int2 & int1 -> int3: all kinds of birds have feathers and wings; sent1 & int3 -> hypothesis;
$proof$ = sent7 & sent17 -> hypothesis;
$proof$ = sent21 & sent4 -> int1: adulthood is a stage in the life cycle process when reproduction occurs; sent6 & int1 -> int2: reproduction occurs during the adult stage in the life cycle process; sent10 & int2 -> int3: some adult animals only lay eggs during the adult stage in the life cycle process; sent11 & int3 -> hypothesis;
$proof$ = sent18 & sent10 -> int1: a caterpillar is a kind of young butterfly; sent1 & sent25 -> int2: a caterpillar is the immature form of a butterfly and a butterfly is the mature form of a caterpillar; sent7 & sent20 -> int3: an example of metamorphosis is when an insect changes from an immature form to an adult form; sent4 & int2 -> int4: a butterfly is the mature form of a caterpillar and a caterpillar is the immature form of a butterfly; int1 & int4 -> int5: a butterfly is the young form of a caterpillar and a caterpillar is the mature form of a butterfly; int1 & int4 -> int6: a caterpillar is the mature form of a butterfly and a butterfly is the immature form of a caterpillar; int4 & int3 -> int7: an example of metamorphosis is when a butterfly changes from a an immature form to and adult form; int6 & int5 -> int8: a butterfly is the young form of a caterpillar and a butterfly is the mature form of a caterpillar; int8 & int7 -> hypothesis;
$proof$ = sent12 & sent4 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: hearing can be used for sensing sound by animals; sent2 & sent8 -> int2: barking can be used for communication by animals; sent6 & int1 -> int3: hearing can be used for sensing sounds by animals; int2 & sent25 & sent5 -> int4: barking can be used for communication by prairie dogs; sent19 & int3 -> int5: hearing can be used for communicating with animals; sent15 & int4 -> int6: the prarie dogs bark to communicate; int6 & int5 -> hypothesis;
$proof$ = sent8 & sent7 -> int1: an adaptation is a kind of characteristic of some organisms that live in water; sent16 & sent11 -> int2: an adaptation is a kind of characteristic of living things; sent25 & sent4 -> int3: aquatic animals live in water; sent24 & sent20 -> int4: some amphibians have webbed feet; int2 & sent11 -> int5: an example of an adaptation is something that is characteristic of living things; int4 & int3 -> int6: webbed feet are used for living in water by aquatic animals; int5 & int1 -> int7: an example of an adaptation is something that is characteristic of living things in water; int6 & sent6 -> int8: webbed feet are used for living in water by frogs; int8 & sent17 -> int9: webbed feet are used for living in water by animals; int9 & int7 -> hypothesis;
$proof$ = sent18 & sent17 -> int1: coloration is a kind of adaptation for hiding in an environment; sent10 & sent21 -> int2: to hide means to be less able to see in something; sent5 & sent7 -> int3: to blend into something means to hide; int2 & sent6 -> int4: to hide means to hide in something; int4 & int3 -> int5: to blend into something means to hide in something; sent2 & int5 -> int6: an example of hiding is an animal blending in with their environment; int6 & int1 -> hypothesis;
$proof$ = sent7 & sent2 -> int1: a hare and a rabbit may be white in color; sent3 & sent9 -> int2: an arctic environment becomes white in color from being covered in snow in winter; sent16 & sent15 -> int3: a hare and a rabbit are kinds of animals; sent13 & sent19 -> int4: an arctic hare turns white in the winter; sent23 & sent18 -> int5: hiding is a kind of protection against predators; int4 & sent1 -> int6: an arctic hare and a rabbit have the same color fur; int5 & sent17 -> int7: hiding is used for animals from predators; int6 & sent21 -> int8: an arctic hare and a rabbit are kinds of animals; int3 & int7 -> int9: an arctic hare and a rabbit are used for hiding from predators; int1 & int8 -> int10: an arctic hare and a rabbit may have the same color; int10 & int2 -> int11: an arctic hare and a rabbit may have the same color as an arctic environment; int11 & int9 -> hypothesis;
$proof$ = sent8 & sent4 -> int1: coloration is a kind of adaptation for hiding in an environment; sent23 & int1 -> hypothesis;
$proof$ = sent8 & sent25 -> int1: an insect is a kind of organism; sent20 & sent5 & sent14 -> int2: a green leaf is a kind of color; int1 & sent17 -> int3: an example of camouflage is an insect having the same color as its environment; sent20 & int2 -> int4: green leaves are a kind of color; int4 & int3 -> hypothesis;
$proof$ = sent10 & sent16 -> int1: avoiding predators has a positive impact on an organism's survival; sent11 & sent18 -> int2: a skunk is a kind of predator; sent5 & sent20 -> int3: most predators avoid bad odors; sent25 & sent20 -> int4: some skunks produce bad odors; sent18 & sent3 -> int5: a skunk is a kind of organism; sent18 & sent1 -> int6: a skunk is a kind of animal that can avoid predators; sent17 & int2 -> int7: a skunk is a kind of predatory organism; int5 & int1 -> int8: avoiding predators has a positive impact on skunks; int7 & int3 -> int9: predators have a negative impact on a skunk's survival; sent2 & int8 -> int10: helping skunks avoid predators has a positive impact on them; int9 & int6 -> int11: a skunk can avoid predators; int4 & int11 -> int12: some skunks produce bad odors and can avoid predators; int10 & int12 -> hypothesis;
$proof$ = sent4 & sent8 -> hypothesis;
$proof$ = sent10 & sent16 -> int1: the winter season can cause change to the environment; sent16 & sent25 -> int2: a seasonal change can cause change to the environment; sent19 & sent5 -> int3: thick fur can be a part of an animal; int1 & sent4 -> int4: thick fur can be used for keeping warm in the winter; int2 & sent8 -> int5: seasonal changes are made in response to changes in seasons; sent23 & int3 -> int6: thick fur can be a part of an animal for keeping warm; sent20 & int4 -> int7: some animals' fur grows thicker for keeping warm in the winter; int7 & int6 -> int8: thick fur can be used by some animals for keeping warm; int8 & sent24 -> int9: thick fur can be used for keeping warm by some animals; sent1 & int9 -> int10: some animals shed fur for warmth; sent18 & int9 -> int11: an example of a seasonal change is an animal growing thicker fur; int5 & int11 -> int12: some animals grow thicker fur as a response to changes in seasons; int10 & int12 -> hypothesis;
$proof$ = sent14 & sent15 -> int1: as dryness in an environment increases, the available water in that environment will decrease; sent7 & sent12 -> int2: water is a kind of resource for plants; int2 & int1 -> int3: as dryness in an environment increases, water is a kind of resource for plants; sent3 & int3 -> int4: waxy leaves are used for storing water in an environment that is dry; sent22 & int4 -> hypothesis;
$proof$ = sent16 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: a storm causes animals and plants to adapt to survive; sent19 & sent10 -> int2: if a living thing must do something to survive then that something has a positive impact on that living thing's survival; sent12 & int1 -> int3: animals and plants must adapt to survive after a storm; int2 & int3 -> int4: adapting has a positive impact on an animal's survival after a storm; sent18 & int4 -> hypothesis;
$proof$ = sent13 & sent18 & sent17 -> int1: a cheetah is a kind of organism; sent23 & int1 -> int2: cheetahs are kinds of organisms; int2 & sent8 -> hypothesis;
$proof$ = sent24 & sent23 -> int1: a drought can cause a pond to no longer exist; sent2 & sent25 -> int2: if an animal's habitat no longer exists then that animal will die; sent14 & sent20 -> int3: fish are kinds of organisms; int2 & sent11 -> int4: if a pond no longer exists then that animal will die; int4 & sent13 -> int5: if a pond no longer exists then an animal will die; sent10 & int5 -> int6: if a pond no longer exists then an animal or organism will die; int6 & int3 -> int7: fish may die in a pond no longer existing; int6 & sent23 -> int8: if a pond no longer exists then an animal or organism may die; int7 & int8 & int1 -> hypothesis;
$proof$ = sent1 & sent10 -> int1: a farmer farms crops; sent12 & sent20 -> int2: a cropland is used for farming by humans; sent23 & sent18 -> int3: droughts are when available water decreases in an environment; sent25 & sent11 -> int4: a farmer is a kind of human that farms; int1 & sent13 -> int5: a farmer is a kind of human that farms crops; int3 & int4 -> int6: droughts are when available water decreases in an environment for farmers; int5 & int2 -> int7: a cropland is used for farming by farmers; int6 & int7 -> int8: droughts affect farmers in an environment; int8 & sent6 -> int9: droughts affect farmers on a farm; int9 & sent3 -> int10: droughts affect farming on a farm; int10 & sent19 -> hypothesis;
$proof$ = sent9 & sent5 -> int1: absorbing heat causes a substance to heat; sent7 & sent16 -> int2: sweat is a substance that evaporates; int1 & sent15 -> int3: if heat is absorbed from a substance then that substance will cool; sent25 & int2 -> int4: sweat cools the body; sent12 & int4 -> int5: sweat is produced to cool the body; int3 & int5 -> hypothesis;
$proof$ = sent16 & sent12 -> int1: the digestive system is a part of an animal for getting nutrients; sent9 & sent17 -> int2: the circulatory system carries nutrients from the digestive systems to the rest of the body; sent7 & sent18 -> int3: the circulatory system carries food from the digestive systems to the rest of the body; sent21 & sent4 -> int4: the digestive system is a kind of body; int1 & sent8 -> int5: the digestive system is used for getting nutrients; int4 & sent19 -> int6: the digestive system is used for breaking down food into nutrients for the body; int5 & sent3 -> int7: the digestive system is used to get nutrients; int7 & int6 -> int8: the digestive system is used to get nutrients by breaking down food into nutrients; sent19 & int8 -> int9: the digestive system is used for getting nutrients by breaking down food into nutrients; int9 & int3 -> int10: the digestive system carries nutrients from the rest of the body to the circulatory system; int10 & int2 -> int11: the circulatory system carries nutrients from the digestive systems to the circulatory system; int11 & sent10 -> hypothesis;
$proof$ = sent14 & sent11 -> int1: red blood cells are a kind of blood cell that carry oxygen; sent8 & sent22 -> int2: the circulatory system carries oxygen to the body; sent25 & sent5 -> int3: a skeletal system is part of an animal; sent23 & sent25 -> int4: parts of the skeletal system are made of bones; sent16 & sent4 -> int5: the circulatory system carries blood throughtout the body; sent15 & sent14 -> int6: red blood cells are a part of the circulatory system; sent20 & int3 -> int7: the skeletal system and the circulatory system are kinds of body systems; int2 & int5 -> int8: the circulatory system carries oxygen to the skeletal system; int1 & int6 -> int9: red blood cells are a part of the circulatory system that carry oxygen; sent20 & int7 -> int10: the skeletal system and the circulatory system are kinds of bodies; int8 -> int11: the skeletal system and the circulatory system both carry oxygen to the bones; sent19 & int10 -> int12: an example of the skeletal system interacting with the circulatory system is the skeletal system carrying oxygen to the body; int9 & int11 -> int13: red blood cells are a part of the circulatory system that carry oxygen to the bones; int12 & int13 -> int14: an example of the skeletal system interacting with the circulatory system is the skeletal system carrying oxygen to the bones; int4 & int14 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent23 -> int1: kidney removes waste from the blood; int1 & sent10 -> int2: the kidneys remove waste from the blood; sent9 & sent3 & int2 -> hypothesis;
$proof$ = sent13 & sent1 -> int1: white blood cells are a kind of cell that destroys bacteria that enters the body; sent13 & sent20 -> int2: white blood cells are a kind of cell that destroys pathogens in the body; sent4 & int1 & int2 -> hypothesis;
$proof$ = sent11 & sent16 -> int1: the body of a human is a part of an animal; sent6 & sent8 -> int2: an organism must protect itself from disease-causing microbes; sent16 & sent17 -> int3: the body of an animal is a part of the animal; sent17 & int1 -> int4: the human body is a part of an animal; sent21 & int1 & sent17 -> int5: protecting the body helps to protect the body; int3 & int4 -> int6: the human body is a part of an animal that is protected against disease; int2 & int4 -> int7: the human body must protect itself from disease-causing microbes; int5 & int2 -> int8: an organism protects itself from disease-causing microbes; int8 & int7 -> int9: the human body protects itself from disease-causing microbes; int9 & int6 -> int10: the human body is protected from disease-causing microbes by protecting itself; int9 & int10 -> int11: the human body protects itself from disease-causing microbes by protecting itself; sent20 & int10 -> int12: specialized cells protect the body by producing chemicals that destroy disease-causing microbes; int12 & int11 -> hypothesis;
$proof$ = sent6 & sent13 -> int1: the nervous system is used for controlling the nervous system; sent14 & sent7 -> int2: muscles push bones to move the bones; sent20 & sent11 -> int3: the muscular system and the nervous system are kinds of bodies; sent20 & sent11 -> int4: the nervous system is a part of the nervous system; int2 & sent12 -> int5: the muscular system push bones to move the bones; int3 & sent15 -> int6: the nervous system can be used for controlling the muscular system; int4 & int1 -> int7: the nervous system can be used for controlling the nervous system; sent24 & int5 -> int8: the nervous system can be used for controlling the muscles of the body; sent10 & int7 -> int9: the nervous system can be used for coordinating the nervous system; int6 & int8 -> int10: the nervous system can be used for controlling the muscular system of the body; int10 & int9 -> hypothesis;
$proof$ = sent25 & sent17 -> int1: the nervous system is a part of the body; sent5 & int1 -> hypothesis;
$proof$ = sent6 & sent9 -> int1: eating something harmful has a negative impact on that something; sent7 & sent11 -> int2: an embryo receives food from its mother through the placenta; sent5 & int2 -> int3: an unhealthy diet of a mother during pregnancy has a negative impact on the embryo; int1 & int3 -> hypothesis;
$proof$ = sent12 & sent14 -> hypothesis;
$proof$ = sent15 & sent5 -> int1: skin is the first layer on the body to protect the body from harmful substances; sent16 & int1 -> hypothesis;
$proof$ = sent8 & sent6 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: a human is made of cells; sent19 & sent18 -> int2: a human has thousands of genes; sent2 & int1 & int2 -> hypothesis;
$proof$ = sent20 & sent11 -> hypothesis;
$proof$ = sent4 & sent13 -> hypothesis;
$proof$ = sent21 & sent8 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: some animals' skeletal system is made of bones; sent11 & sent5 -> int2: a plant cell is a kind of thing; sent19 & sent9 -> int3: a cell wall is a part of plant cell for supporting and protecting the cell membrane; sent1 & sent15 -> int4: the skeletal system is used to provide protection; int3 & sent6 -> int5: cell wall provides support and protection for plant cells; int1 & int4 -> int6: the skeletal system of some animals is used to provide protection; int5 & int2 -> int7: cell wall provides support and protection for animal cells; int6 & sent16 -> int8: the skeletal system of animals is used to provide protection for some animals; int8 & int7 -> int9: cell wall and the skeletal system of animals both provide protection for animals; int9 & sent18 -> hypothesis;
$proof$ = sent15 & sent23 -> int1: a fertilized egg cell of a human contains 23 pairs of; sent3 & sent25 & sent23 -> int2: a somatic cell of a human contains 23 pairs of; sent13 & int2 & sent15 -> int3: a fertilized egg cell will contain 23 pairs of; int1 & int3 -> hypothesis;
$proof$ = sent25 & sent9 & sent2 -> hypothesis;
$proof$ = sent4 & sent23 -> int1: a multicellular organism is made of cells; sent17 & sent4 -> int2: a living thing is a kind of organism that is made of cells; sent13 & sent21 & sent6 -> int3: a unicellular organism has only one cell; sent9 & sent23 -> int4: a multicellular organism is a kind of organism; sent3 & int2 -> int5: an organism is made of cells; sent19 & int3 -> int6: a multicellular organism has many cells; int1 & int6 & int5 -> int7: a multicellular organism and a unicellular organism are both made of cells; sent11 & int7 -> int8: the number of cells in an organism can be used to determine the type of organism; int4 & int8 -> hypothesis;
$proof$ = sent23 & sent25 -> hypothesis;
$proof$ = sent13 & sent4 -> hypothesis;
$proof$ = sent2 & sent24 -> int1: a plant requires nutrients to grow; sent4 & sent3 -> int2: carbohydrates are made of sugar; int1 & sent16 -> int3: a plant requires nutrients from photosynthesis to grow; int3 & int2 -> int4: plants use sugar from photosynthesis to grow; sent25 & int4 -> hypothesis;
$proof$ = sent19 & sent4 -> hypothesis;
$proof$ = sent5 & sent19 -> int1: an animal requires oxygen to be taken in; sent2 & sent23 -> int2: oxygen is a kind of gas that is released by producers; sent25 & sent3 -> int3: producers release oxygen; sent21 & sent8 -> int4: an animal has the role of consumer in the food chain process; int4 & sent8 -> int5: the animal has the role of consumer in the food chain process; int3 & int5 -> int6: oxygen is released by producers to consumers; int6 & int2 -> int7: oxygen is a kind of gas released by producers to consumers; int7 & sent7 -> int8: oxygen is a kind of gas released by producers to animals; int1 & int8 -> hypothesis;
$proof$ = sent12 & sent22 -> int1: photosynthesis makes food for plants by converting carbon dioxide and water and sunlight into carbohydrates; sent23 & sent3 -> int2: in the photosynthesis process carbon dioxide is used as a raw material; sent8 & int2 -> int3: in the photosynthesis process carbon in the air is used as a raw material; int3 & int1 -> int4: in the photosynthesis process carbon in the air is used to make food; sent7 & int4 -> hypothesis;
$proof$ = sent8 & sent23 -> int1: photosynthesis makes sugar for the plant; sent8 & sent23 -> int2: photosynthesis makes sugar for plants; sent22 & sent4 -> int3: chlorophyll is a part of plants used to perform photosynthesis; sent10 & sent1 -> int4: sugar is made of sugar; sent12 & int3 -> int5: leaves contain chlorophyll that is used to perform photosynthesis; sent12 & int3 -> int6: leaves contain chlorophyll and are used to perform photosynthesis; int3 & sent12 -> int7: leaves contain chlorophyll and are used for photosynthesis; int2 & int4 -> int8: photosynthesis makes sugar; int2 & int6 -> int9: leaves use chlorophyll to make sugar; int5 & int7 -> int10: a leaf uses chlorophyll to perform photosynthesis; int1 & int9 -> int11: leaves use chlorophyll to perform photosynthesis; int8 & int11 & int10 -> hypothesis;
$proof$ = sent14 & sent19 & sent16 -> int1: sugar and water are made of carbon, hydrogen, oxygen chemically combined; int1 & sent22 -> int2: sugar and water are made of carbon, hydrogen, and oxygen; int2 & sent12 -> int3: photosynthesis means green plants convert carbon dioxide and water into sugar and oxygen; int3 & sent9 -> hypothesis;
$proof$ = sent18 & sent15 -> int1: if photosynthesis converts something into something else then that something else is produced by photosynthesis; sent7 & sent24 -> int2: photosynthesis is a source of food for the plant; int1 & sent17 -> int3: by photosynthesis, carbohydrates and food and oxygen are produced; int2 & sent12 -> int4: photosynthesis is a source of carbohydrates; int4 & sent10 -> int5: photosynthesis is a source of sugars; int4 & sent10 -> int6: photosynthesis is a source of sugar; int5 & int3 & int6 -> hypothesis;
$proof$ = sent23 & sent2 -> int1: carbon dioxide is a kind of gas that can be found in the atmosphere; sent18 & sent15 -> int2: if photosynthesis is a source of something then that photosynthesis is used for making that something; sent12 & sent17 -> int3: photosynthesis means producers convert carbon dioxide and water and sunlight into food and oxygen; sent25 & sent10 -> int4: carbon dioxide can be found in the atmosphere; sent12 & int2 -> int5: photosynthesis is used for making carbon dioxide; int5 & int3 -> int6: carbon dioxide is used by producers to make food; int6 & int1 & int4 -> hypothesis;
$proof$ = sent11 & sent3 -> hypothesis;
$proof$ = sent7 & sent18 -> hypothesis;
$proof$ = sent21 & sent11 -> int1: plant reproduction requires pollinating animals; sent17 & sent20 -> int2: pollination helps plant reproduction; sent15 & sent6 & sent19 -> int3: an insect is a kind of pollinating animal; sent1 & int1 -> int4: pollinating animals help plant reproduction; int4 & int3 -> int5: insects / wind / water help plant reproduction; int5 & int2 -> hypothesis;
$proof$ = sent14 & sent12 -> int1: a blue jay is a kind of animal; sent3 & sent16 -> int2: seed dispersal has a positive impact on a plant; sent15 & sent17 -> int3: if a bird eats something then that something is a source of food to that bird; sent7 & sent20 -> int4: an example of seed dispersal is an animal spreading seeds; sent6 & sent21 -> int5: a plant requires food for survival; int4 & int1 -> int6: an example of seed dispersal is a blue jay spreading seeds; int5 & sent2 -> int7: seeds are a kind of food for birds; int2 & int6 -> int8: a blue jay spreading seeds has a positive impact on a plant; int7 & sent8 -> int9: a blue jay is a kind of food for birds; int8 & int9 -> int10: a blue jay spreading seeds has a positive impact on a plant by providing food for the birds; int3 & int10 -> int11: a blue jay spreading seeds has a positive impact on a plant by providing food for birds; int11 & sent1 -> int12: a blue jay spreading acorns has a positive impact on an oak tree; int12 & sent25 -> hypothesis;
$proof$ = sent9 & sent15 -> int1: seed dispersal is when the seeds of a plant are spread from the parent plant to another area; sent3 & sent24 -> int2: seed dispersal has a positive impact on a plant; sent21 & sent1 & sent16 -> int3: an example of seed dispersal is bears eating seeds; int1 & int2 -> int4: seed dispersal has a positive impact on plants by spreading those seeds; int3 & int4 -> int5: bears eating seeds has a positive impact on plants by spreading those seeds; sent18 & int5 & sent17 & sent11 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: roots are a vehicle for absorbing nutrients from the soil; sent7 & sent20 -> int2: roots are a vehicle for absorbing water and nutrients from the soil; int1 & int2 -> hypothesis;
$proof$ = sent17 & sent22 -> int1: roots are a vehicle for absorbing water from the soil; sent1 & sent10 -> int2: to absorb something is to take something in; sent1 & sent10 -> int3: to absorb something is to take in; int3 & int1 -> int4: roots take in water from the soil; int4 & int1 -> int5: roots take in water from the soil through roots; sent16 & int2 & int5 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: a trunk is a part of a tree for providing support for the tree; sent7 & int1 -> hypothesis;
$proof$ = sent2 & sent18 & sent15 -> int1: a needle is the leaf part of a pine tree; sent4 & sent20 -> int2: sugars are transported from the leaves to the roots of a pine tree; int2 & int1 -> hypothesis;
$proof$ = sent23 & sent10 -> int1: grass is a kind of living thing; sent16 & sent1 -> int2: a cow is a kind of living thing; sent25 & sent7 -> int3: the ability to grow is a kind of characteristic; sent20 & int3 -> int4: living things have the ability to grow; int4 & int2 & int1 -> hypothesis;
$proof$ = sent12 & sent5 -> int1: flooding causes seawater to flood coastal area; sent22 & sent20 -> int2: an alligator is a kind of organism; sent4 & sent18 -> int3: having a positive impact on something helps that something else; sent19 & sent7 -> int4: when a flood occurs, more water will be received by the floodplain; sent7 & sent19 -> int5: when it floods, more water will be received by the water; sent11 & int1 -> int6: flooding causes seawater to flood a coast; sent1 & int3 -> int7: helping something has a positive impact on that something else; int4 & sent3 -> int8: when it floods, more water will be received by the floodplain; int5 & int6 -> int9: flooding causes more water to be received by the coast; int7 & sent21 -> int10: helping something has a positive impact on something else; int2 & int8 -> int11: an alligator is a kind of organism that lives in the floodplain; int11 & int9 -> int12: alligators live in the floodplain; int1 & int12 -> int13: flooding can cause alligators to move; int10 & int13 -> hypothesis;
$proof$ = sent22 & sent17 -> int1: food is a source of energy for animals and plants; sent16 & sent25 -> int2: if a frog eats something then that something is a source of food to that frog; sent20 & sent19 -> int3: some animals eat food to get energy; int1 & sent23 -> int4: food and plants are both sources of energy for animals and plants; int3 & int4 -> int5: some animals eat food and plants to get energy; int2 & int5 -> int6: some animals eat flies and green plants to get energy; sent1 & int6 -> int7: some animals eat flies and a green plant absorbs light to get energy; int7 & sent24 -> hypothesis;
$proof$ = sent14 & sent9 -> int1: nutrients are a kind of matter; sent5 & sent17 -> int2: an animal requires food for nutrients; sent11 & sent18 -> int3: food is stored for future use; sent20 & sent16 -> int4: food contains nutrients for an animal; sent22 & sent23 -> int5: food is made of materials; int2 & int4 -> int6: food is required for an animal's survival; sent12 & int5 -> int7: food is made of matter; int6 & int3 -> int8: food is stored for survival; int7 & int1 -> int9: food contains nutrients and energy; sent13 & int9 -> int10: food has the ability to store nutrients and energy; int8 & int10 -> hypothesis;
$proof$ = sent4 & sent10 -> int1: photosynthesis is a source of food for the plant; sent9 & sent21 -> int2: green plants make food for themselves by performing photosynthesis; sent11 & sent22 -> int3: a plant requires food for survival; int3 & int2 -> int4: a plant requires food to survive; int4 & int1 -> int5: a plant requires food from photosynthesis to survive; int5 & sent13 -> int6: a plant requires carbon dioxide from photosynthesis to survive; sent6 & int6 -> int7: a plant requires carbon dioxide to make food for itself; int7 & sent16 & sent3 -> hypothesis;
$proof$ = sent4 & sent11 -> int1: a flat surface is a kind of object; sent8 & sent19 -> int2: flatness is a feature of a surface; int2 & int1 -> hypothesis;
$proof$ = sent5 & sent17 -> int1: a polar bear is a kind of animal; sent25 & sent4 -> int2: if the temperature of a swimming pool becomes too cold then an animal; sent23 & sent12 -> int3: animals require water for survival; int1 & sent17 -> int4: a polar bear is a kind of animal that lives in zoos; int3 & sent14 -> int5: a swimming pool contains water for animals; int4 & sent1 -> int6: zoo exhibits should contain all things required by polar bears; int5 & int2 -> int7: a cold pool may require warmth for survival; int5 & int2 -> int8: a cold pool may require warmth for survival for animals; int8 & int7 -> int9: a cold pool may require warmth for animals; int6 & int9 -> hypothesis;
$proof$ = sent2 & sent13 -> int1: animals are adapted to their environment; sent4 & sent22 & sent15 -> int2: a squirrel and a deer are kinds of animals; sent15 & sent11 & sent25 -> int3: deer and other animals live in forests; sent19 & sent8 -> int4: squirrels and woodpeckers live in forests; int1 & sent16 -> int5: animals are adapted to living in forests; int3 & int2 & int4 -> int6: squirrels and deer and woodpeckers live in forests; int6 & int5 & int2 -> hypothesis;
$proof$ = sent15 & sent1 -> hypothesis;
$proof$ = sent23 & sent22 -> int1: predators eat other organisms; sent11 & sent15 -> int2: alligators eat animals; sent24 & int2 -> int3: alligators are a kind of predator; int1 & int3 -> int4: alligators are a kind of predator and eat other organisms; sent25 & int4 -> hypothesis;
$proof$ = sent1 & sent13 -> int1: if plants eat something then that something is a source of food to that plant; sent1 & sent13 -> int2: if plants eat something then that something is a source of food to those plants; sent3 & sent25 -> int3: in the food chain process herbivores have the role of consumer which eats producers for food; sent8 & sent4 -> int4: herbivores eat plants and plants are a source of food for animals; int1 & int2 -> int5: plants are a source of food to plants; sent4 & int3 -> int6: herbivores eat plants; sent8 & int5 -> int7: plants are a source of food for some animals; int3 & int6 -> int8: in the food chain herbivores eat plants; int7 & int4 -> int9: herbivores eat plants and are a source of food for some animals; int9 & int8 -> hypothesis;
$proof$ = sent2 & sent8 -> int1: decomposers increase the amount of nutrients in the soil; sent5 & sent9 -> int2: decomposition increases the amount of nutrients in the soil; sent6 & sent16 -> int3: a plant requires nutrients to survive; sent18 & sent7 -> int4: a plant requires nutrients in soil for survival; sent11 & sent25 -> int5: decomposers are kinds of organisms; sent17 & int2 -> int6: decomposers increase the amount of nutrients in soil; int3 & sent3 -> int7: a plant requires nutrients to survive and grow; sent13 & int5 -> int8: a decomposer has a positive impact on survival; sent19 & int6 -> int9: decomposers increase the nutrients in soil; int7 & int4 -> int10: a plant requires nutrients in soil to survive and grow; int8 & sent23 -> int11: a decomposer helps something survive; int10 & int1 -> int12: decomposers increase the nutrients in soil for plants; int12 & int9 -> int13: decomposers help plants by adding nutrients to soil; int11 & int13 -> hypothesis;
$proof$ = sent23 & sent24 -> int1: decomposers return nutrients to the soil by performing decomposition; sent13 & sent16 -> int2: decomposition is when a decomposer returns nutrients to the soil by eating those dead organisms; sent8 & sent25 -> int3: dead organisms are a source of nutrients for decomposers; sent11 & sent15 -> int4: decomposers are kinds of organisms; int3 & int2 -> int5: decomposers return nutrients to the soil by eating dead organisms; int4 & sent5 -> int6: decomposer is a kind of role in the food chain; int5 & sent10 -> int7: decomposers return nutrients to the soil by breaking down dead organisms; int6 & sent7 -> int8: decomposer is important to the food chain; int8 & int7 & int1 -> hypothesis;
$proof$ = sent15 & sent21 -> int1: photosynthesis makes food for plants by converting carbon dioxide and water and sunlight into carbohydrates; sent11 & sent16 -> int2: if plants make food for themselves then plants do not need to eat other organisms; sent16 & sent11 -> int3: if plants make food for themselves then that plant does not need to eat other organisms; sent15 & sent8 -> int4: photosynthesis makes food for plants by converting carbon dioxide and water and sunlight into carbohydrates and food and oxygen; int3 & int2 -> int5: plants do not need to eat other organisms because they make food for themselves; int4 & int1 -> int6: plants make food for themselves by turning sunlight into carbohydrates and food and oxygen; int4 & int1 -> int7: plants make food by turning sunlight into carbohydrates and food and oxygen; int7 & int6 -> int8: plants make food by turning sunlight into food energy; int5 & int8 -> hypothesis;
$proof$ = sent24 & sent17 -> int1: the sun is the source of solar energy; sent23 & sent13 -> int2: green plants perform photosynthesis to get food for themselves; sent18 & sent12 -> int3: photosynthesis means green plants convert solar energy into food; sent22 & sent8 -> int4: a plant uses energy to perform photosynthesis; int3 & int1 -> int5: plants use solar energy for photosynthesis; int5 & int4 -> int6: plants use energy from sunlight for photosynthesis; int5 & int6 -> int7: plants use energy from solar energy for photosynthesis; int2 & int7 -> int8: plants use energy from solar energy to make food; sent9 & int8 -> hypothesis;
$proof$ = sent8 & sent16 -> int1: causing a bird to die has a negative effect on that bird; sent22 & sent7 -> int2: large birds are kinds of organisms; sent22 & sent7 -> int3: large birds and birds are kinds of organisms; sent12 & sent10 -> int4: if a bird dies then that bird is dead; sent5 & sent12 -> int5: if something causes a bird to be dead then that something increases the number of birds that are dead; sent18 & sent2 -> int6: if the population of a bird decreases then the population of that bird will decrease; sent17 & sent25 -> int7: if a bird dies then the population of that bird will decrease; int3 & int6 -> int8: if large birds and birds die then the population of large birds and birds will decrease; int4 & int7 -> int9: if a large bird dies then the population of that large bird will decrease; int1 & int9 -> int10: if a large bird dies then the population of small birds will decrease; int2 & int10 -> int11: if large birds die then the population of small birds will decrease; int5 & int11 -> int12: if large birds die then the number of small birds will increase; int8 & int12 -> int13: if large birds die then the number of small birds in an environment will increase; int12 & int13 -> hypothesis;
$proof$ = sent24 & sent21 -> int1: roots are a part of a plant; sent24 & sent21 -> int2: roots are a part of a tree; int1 & int2 -> int3: a tree takes in oxygen through its roots; sent20 & int3 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: plant reproduction requires pollinating animals; sent2 & sent19 -> int2: pollination is when pollinating animals carry pollen from one flower to another flower; int2 & int1 -> int3: pollinating animals can help on plant reproduction by carry pollen; sent23 & int3 -> hypothesis;
$proof$ = sent2 & sent18 & sent10 -> int1: if a fungus requires something then that something has a positive impact on that fungus; sent22 & sent17 -> int2: a beneficial relationship is when two fungi help each other survive; sent5 & sent14 -> int3: fungus requires something to positively impact its process; sent8 & sent6 -> int4: roots are a part of a plant; int3 & int1 -> int5: fungus requires a positive impact on the process of growth; int4 & int5 -> int6: fungus helps the tree grow; int2 & int6 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: a pond contains microscopic living organisms; int1 & sent15 -> hypothesis;
$proof$ = sent15 & sent17 -> int1: barney's scar on his ear is an acquired characteristic; sent18 & int1 -> hypothesis;
$proof$ = sent12 & sent18 -> hypothesis;
$proof$ = sent23 & sent4 -> int1: offspring inherit inherited characteristics from parents; sent14 & sent18 -> int2: inherited characteristics are the opposite of scars; int1 & sent1 -> int3: inherited characteristics are not passed from parents to offspring; int3 & int2 & sent2 -> hypothesis;
$proof$ = sent23 & sent1 -> int1: pulling a plow is a kind of motion; sent25 & sent14 -> int2: a horse is a kind of organism; sent9 & sent7 -> int3: an instinctive behavior is a kind of learned behavior; int1 & int2 -> int4: pulling a plow is an example of an instinctive behavior; sent17 & int3 -> int5: instinctive behaviors are not inherited characteristics; int5 & int4 -> hypothesis;
$proof$ = sent12 & sent8 -> int1: a living thing is a kind of organism; sent14 & sent7 -> int2: a garbage can contains food; sent15 & sent18 -> int3: a garbage can contains objects; sent23 & int1 -> int4: skills are learned characteristics; sent4 & int2 -> int5: a garbage can contains trash; sent6 & int3 & int5 -> int6: a garbage can contains food in the interior; int6 & sent25 -> int7: an animal can open a garbage can for food; int7 & sent13 -> int8: a bear can open a garbage can to look for food; int4 & int8 -> hypothesis;
$proof$ = sent10 & sent2 -> int1: learned characteristics are the opposite of inherited characteristics; sent20 & sent18 -> int2: hunting is when a human kills another animal to eat that animal; sent19 & sent6 -> int3: an inherited characteristic is a kind of characteristic of an animal; sent24 & sent3 & int3 -> int4: some characteristics of an animal are inherited; int4 & int2 & sent7 -> int5: hunting is an inherited characteristic; int1 & int5 -> hypothesis;
$proof$ = sent6 -> int1: a fox is a kind of animal that has fur; sent5 & sent7 -> int2: an arctic fox's fur is white in color in the winter; sent6 & sent12 -> int3: the coloration of parts of a fox are inherited characteristics; sent6 & sent20 -> int4: an arctic fox is a kind of a animal; sent23 & sent21 -> int5: the color of fur is a kind of inherited characteristic; sent6 & sent25 -> int6: if a fox's fur is a color then that fox is that color; sent9 & int1 -> int7: the fox's fur is a color; int2 & sent2 -> int8: an arctic fox's fur turns from brown to white in the winter; int7 & sent15 -> int9: the color of the fox's fur is an inherited characteristic; int8 & sent17 -> int10: the color of an arctic fox's fur is an inherited characteristic; int5 & int10 -> int11: the color of fur is an inherited characteristic for the arctic fox; int6 & int11 -> int12: the color of fur of the arctic fox is an inherited characteristic; int4 & int3 & int12 -> int13: the color of fur of the arctic fox is an inherited characteristics; int13 & int9 -> int14: the color of the fur of the arctic fox is an inherited characteristics; int14 & sent1 -> int15: the color of a living thing's fur is determined by its genes; sent16 & int15 -> hypothesis;
$proof$ = sent23 & sent4 -> hypothesis;
$proof$ = sent20 & sent1 -> int1: jessica is a human with recessive trait of light eyes; sent13 & sent18 & int1 -> hypothesis;
$proof$ = sent3 & sent14 & sent9 -> int1: offspring exhibit a combination of red and white flowers; sent3 & sent14 & sent9 -> int2: the offspring exhibit a combination of red colored flowers; sent15 & sent25 & int1 -> int3: the offspring exhibit a combination of traits; sent15 & sent25 & int1 -> int4: the offspring exhibit a combination of characteristics; int2 & int4 & int3 & sent4 -> hypothesis;
$proof$ = sent25 & sent1 & sent21 & sent24 -> int1: white fur and black fur are both recessive traits in mice; int1 & sent11 & sent17 -> int2: the offspring of two gray mice are crossed to have white fur and black fur; int2 & sent20 & sent15 -> hypothesis;
$proof$ = sent21 & sent25 & sent18 -> hypothesis;
$proof$ = sent3 & sent14 -> int1: some characteristics of a cat are inherited; sent2 & sent18 -> int2: offspring will inherit inherited characteristics from parents; sent6 & sent8 & sent19 -> int3: offspring will inherit inherited characteristics from their parents; sent4 & sent7 & sent20 -> int4: the parent cats' fur is white in color; sent22 & sent17 -> int5: the color of fur is a kind of inherited characteristic; int2 & int3 & int1 -> int6: the offspring of a cat will inherit the characteristics of their parents; int5 & int4 -> int7: the cat has an inherited characteristic of white fur; int5 & sent20 & sent4 -> int8: white fur is a kind of inherited characteristic; int5 & sent4 & sent7 -> int9: the white fur of the parent cats is an inherited characteristic; int5 & int4 & int1 -> int10: the white colored fur of the cat is an inherited characteristic; int5 & int4 & int1 -> int11: the white cat's fur is an inherited characteristic; int1 & int5 & int4 -> int12: the white colored fur of the parent cats is an inherited characteristic; int9 & int7 & int8 -> int13: the white cat has an inherited characteristic of white fur; int12 & int11 & int8 & int10 & int7 -> int14: the white cat will inherit the white colored fur from its parents; int6 & int14 & int13 -> hypothesis;
$proof$ = sent18 & sent24 -> int1: some characteristics of dogs are inherited; sent3 & sent1 -> int2: the color of fur is a kind of inherited characteristic; sent25 & sent22 & sent16 -> int3: offspring will inherit inherited characteristics from their parents; int2 & int1 & int3 -> hypothesis;
$proof$ = sent16 & sent7 -> hypothesis;
$proof$ = sent15 & sent13 & sent1 -> int1: the sexual reproduction process is prevented in the insects; sent6 & sent17 -> int2: if something required for a process is not produced then that process is prevented from occuring; sent22 & sent3 -> int3: if the population of the insects decreases then the population of the insects will decrease; sent21 & sent4 & int1 & sent24 -> int4: the sexual reproduction process is prevented for the insects; sent22 & int4 -> int5: the sexual reproduction process for the insects is prevented; sent16 & int2 & int5 -> int6: the sexual reproduction process for the insects is prevented from occuring; int6 & int3 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: most fruit fly reproduce sexually; sent19 & sent15 -> int2: a fruit fly is a kind of insect; sent4 & int2 -> int3: most fruit fly reproduce by sexual reproduction; sent2 & int1 & int3 -> hypothesis;
$proof$ = sent21 & sent5 & sent19 -> int1: fire causes paper to burn; int1 & sent23 & sent3 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: when iron rusts, iron will be orange and flaky; sent3 & sent14 & sent5 -> int2: when iron rusts, the iron will be orange and flaky; sent1 & sent19 -> int3: a nail is a part of the object; sent20 & sent21 & int1 -> int4: iron rusting causes the surface of the iron nail to be orange and flaky; sent20 & sent21 & int1 -> int5: iron rusting causes the iron nail to be orange and flaky; sent20 & int1 & int2 -> int6: iron will be orange and flaky when it rusts; int6 & int5 -> int7: the iron nail has rusted; int4 & int7 -> int8: iron rusting has caused the surface of the iron nail to be orange and flaky; int3 & int8 -> int9: iron rusting has happened on the iron nail; int9 & sent13 -> hypothesis;
$proof$ = sent9 & sent21 -> int1: fanning a fire increases the amount of oxygen near the fire; sent8 & sent24 -> int2: an increase in oxygen requires a fire to burn; int1 & sent10 -> int3: fanning a fire causes the fire to burn more oxygen; sent19 & int2 -> int4: a fire that burns more oxygen will burn more; int4 & int3 -> int5: fanning causes the fire to burn more oxygen; sent23 & int5 -> hypothesis;
$proof$ = sent22 & sent25 -> int1: an element is made of different atoms; int1 & sent18 -> int2: different elements are made of different atoms; sent20 & int2 -> hypothesis;
$proof$ = sent19 & sent16 -> int1: chemical changes can cause new substances to form; int1 & sent11 -> hypothesis;
$proof$ = sent24 & sent16 & sent11 -> int1: calcium and carbon are three elements; sent20 & sent13 -> int2: a chemical compound is made of two or more elements chemically combined; sent3 & int1 -> int3: calcium carbonate is made of at least three elements and oxygen; sent10 & int3 -> int4: calcium carbonate contains at least one of the elements listed above; sent4 & int4 -> int5: calcium carbonate is made of at least one of the elements listed above; int5 & int2 -> hypothesis;
$proof$ = sent11 & sent2 -> int1: sodium and chlorine are two elements; sent21 & sent7 -> int2: an element is made of one kind of atom; sent4 & sent23 -> int3: sodium chloride is made of two elements chemically combined; int2 & sent25 -> int4: sodium and chlorine are two kinds of atoms; int3 & sent16 -> int5: sodum chloride is made of two elements chemically combined; int1 & int5 -> int6: sodum chloride and sodium are two elements; int6 & int4 -> int7: sodium atom and chlorine atoms are two elements; int7 & sent12 -> hypothesis;
$proof$ = sent13 & sent12 -> int1: hydrochloric acid can be dissolved in water and form a solution; sent22 & sent3 -> int2: a solution is made of one substance being dissolved in another substance; sent8 & sent19 -> int3: limetone is dissolved in hydrochloric acid solution; int3 & int2 -> int4: limetone has formed a solution in hydrochloric acid; int1 & int4 -> int5: limetone has formed a new substance in hydrochloric acid; sent23 & int5 -> hypothesis;
$proof$ = sent4 & sent9 -> int1: a sheet of paper is a kind of item; sent13 & sent8 & sent18 -> int2: folding a sheet of paper changes the shape of the sheet of paper; int2 & int1 -> int3: folding a sheet of paper changes the shape of the item; int3 & sent3 -> hypothesis;
$proof$ = sent23 & sent8 -> int1: melting butter changes butter from a solid into liquid; int1 & sent1 -> int2: melting butter changes butter from a solid to a liquid; int2 & sent24 -> int3: melting butter is a kind of phase change; int3 & sent15 -> hypothesis;
$proof$ = sent23 & sent24 & sent18 -> int1: boiling is a kind of process; sent6 & sent9 & sent7 -> int2: water is boiling; sent10 & int2 -> int3: the heat energy of water is increasing; int1 & int3 -> int4: the heat energy of water is increasing when water is boiling; sent4 & int4 -> hypothesis;
$proof$ = sent23 & sent15 -> hypothesis;
$proof$ = sent10 & sent1 & sent3 -> int1: strips of paper are kinds of objects; sent24 & sent20 -> int2: a rubber brush is a kind of object; int2 & sent18 & sent5 -> int3: rubbing rubber on wool causes static electricity; sent14 & int3 -> int4: rubbing rubber on wool can cause rubber to attract small objects; int1 & int4 -> hypothesis;
$proof$ = sent17 & sent3 -> hypothesis;
$proof$ = sent10 & sent15 & sent20 -> int1: the nucleus of an atom is made of protons; int1 & sent11 -> int2: in the atom there are protons; sent8 & int2 -> hypothesis;
$proof$ = sent9 & sent21 & sent16 -> hypothesis;
$proof$ = sent19 & sent13 -> int1: atomic mass is determined by the number of protons and neutrons in an atom; int1 & sent21 -> int2: the mass of an atom is determined by the mass of protons and neutrons; int2 & sent7 & sent20 -> hypothesis;
$proof$ = sent1 & sent9 -> int1: hair is a kind of object; int1 & sent25 -> int2: unbalanced electrical charge of hair causes static electricity; int2 & sent18 -> int3: hair being unbalanced causes static electricity; sent4 & int3 -> hypothesis;
$proof$ = sent9 & sent4 -> int1: all electrons have a negative charge; sent9 & sent4 -> int2: an electron is a kind of negative charge; sent10 & sent22 & sent16 -> int3: the atom has more protons than electrons; sent11 & int1 -> int4: all electrons are negative in electric charge; int1 & int2 -> int5: all the electrons in the atom are negative; sent13 & int3 -> int6: the atom will be an ion with positive charge; int5 & int4 & sent25 -> int7: the atom will be positive in electric charge; int6 & int7 -> hypothesis;
$proof$ = sent23 & sent12 -> int1: a normal atom is neutral in electric charge property; int1 & sent7 -> hypothesis;
$proof$ = sent19 & sent14 -> int1: electrons are the particles that are involved in chemical reactions; sent18 & int1 & sent25 -> int2: ions are the particles that are formed during a chemical reaction; sent15 & int2 -> hypothesis;
$proof$ = sent23 & sent4 -> int1: iron is a solid; sent10 & sent2 -> int2: as the temperature increases, the particles in the matter will move faster; int1 & int2 -> int3: as the temperature of iron increases, the speed of particles in iron will increase; sent12 & int3 -> hypothesis;
$proof$ = sent15 & sent22 -> int1: a catalyst is used to speed up the speed of chemical reactions; sent7 & sent21 -> int2: increasing the rate of chemical reaction can mean increasing the rate at which chemical reaction occurs; int1 & int2 -> hypothesis;
$proof$ = sent21 & sent4 -> int1: nitrogen is made of one kind of atoms; sent24 & sent8 -> int2: a molecule is made of atoms chemically combined; sent11 & int1 & int2 -> hypothesis;
$proof$ = sent11 & sent7 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent25 & sent13 -> hypothesis;
$proof$ = sent21 & sent11 & sent18 -> hypothesis;
$proof$ = sent15 & sent22 -> int1: atoms are made of small particles; sent1 & sent8 -> int2: an atom is a kind of small particle; sent6 & sent19 -> int3: copper is a kind of atom; int3 & int1 -> int4: copper atoms are made of small particles; int3 & int1 -> int5: copper atoms are made of the smallest particles; int2 & int5 & int4 -> hypothesis;
$proof$ = sent23 & sent10 -> hypothesis;
$proof$ = sent13 & sent23 & sent10 -> int1: sodium and potassium are two elements; sent13 & sent23 & sent10 -> int2: sodium and potassium are both elements; sent25 & sent18 -> int3: sodium is a kind of element that has one or two valence electrons; sent14 & sent17 -> int4: the alkali metals have two valence electrons; sent15 & sent21 -> int5: sodium and potassium are kinds of elements; sent13 & sent3 & sent10 -> int6: sodium is a kind of element that belongs to alkali metals; sent21 & int6 -> int7: sodium and potassium are two elements that belong to alkali metals; int7 & int5 -> int8: sodium and potassium are kinds of elements that belong to alkali metals; int4 & int8 & int6 -> int9: sodium and potassium have two valence electrons; int3 & int9 -> int10: sodium and potassium are elements that have one or two valence electrons; int10 & sent10 -> int11: potassium and alkali metals are elements that have one or two valence electrons; int2 & int11 & int1 -> int12: sodium and potassium are two elements that have one or two valence electrons; sent19 & int12 -> hypothesis;
$proof$ = sent17 & sent1 -> int1: nitrogen and arsenic belong to the same group on the periodic table of elements; sent7 & sent18 & sent6 -> int2: the chemical symbol for argon is he; sent20 & sent17 -> int3: nitrogen is a kind of element that belongs to group 15 on the periodic table; sent22 & sent9 -> int4: elements that belong to the same group on the periodic table of elements have similar properties; sent18 & int2 -> int5: he and ar are similar chemical symbols; int3 & int4 -> int6: nitrogen and other elements in the nitrogen family have similar properties; int1 & int4 -> int7: nitrogen and arsenic have similar properties; int7 & int6 -> int8: nitrogen and arsenic are similar elements; int8 & int5 -> hypothesis;
$proof$ = sent16 & sent13 -> hypothesis;
$proof$ = sent11 & sent18 & sent25 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a stove will become hot; sent4 & sent13 -> int2: boiling happens when liquids increase heat energy; sent3 & sent19 -> int3: boiling happens when a substance changes from a liquid into a gas by increasing heat energy; sent22 & sent25 -> int4: the water in the pan is boiling; int1 & sent7 -> int5: the liquid in the pan will become hot; int3 & int2 -> int6: boiling happens when a liquid increases heat energy; sent16 & sent17 & int4 -> int7: the water in both pans is boiling; int5 & int7 -> int8: the water in both pans will become hot; int8 & int6 -> int9: the water in both pans will boil; sent9 & int9 & sent8 -> hypothesis;
$proof$ = sent3 & sent12 -> int1: puddles of water will absorb solar energy; int1 & sent22 -> int2: the puddles of water will absorb solar energy; sent17 & int2 & sent4 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: water is a solid substance; sent9 & sent6 -> int2: water is a liquid substance; sent24 & sent7 & sent16 -> int3: water is a liquid substance at room temperature; sent25 & sent23 & sent20 -> int4: water will be in liquid state; int3 & int2 & int1 -> int5: water will change from a liquid to a solid; int3 & int2 & int1 -> int6: water is a solid substance at room temperature; int5 & int6 & int4 -> hypothesis;
$proof$ = sent6 & sent1 -> int1: water is a substance that changes from a liquid to a solid by decreasing heat energy; sent14 & sent5 & sent6 -> int2: water freezing means water changes from a liquid into a solid by decreasing heat energy; sent18 & sent9 & sent17 -> int3: water is in the solid state, called ice; sent15 & sent24 -> int4: water changes from a liquid to a solid at room temperature; int2 & int4 -> int5: water freezing means water changes from a liquid to a solid by decreasing heat energy; int1 & int5 -> int6: water decreasing in heat energy means water changes from a liquid to a solid; int6 & int3 & sent11 -> int7: water decreasing in heat energy means water changes from a liquid into a solid; int7 & sent13 -> hypothesis;
$proof$ = sent15 & sent22 & sent17 -> hypothesis;
$proof$ = sent16 & sent24 -> int1: the ice cube will melt and change from solid state to liquid state; sent7 & sent18 -> int2: water is a liquid at room temperature; sent17 & int2 -> int3: water is in the liquid state; int3 & sent10 -> int4: water is in liquid state; sent2 & sent4 & int4 -> int5: ice cube and water are in different states of water; sent20 & int1 & int5 -> hypothesis;
$proof$ = sent10 & sent13 -> int1: ice cubes melt and change from solid state to liquid state; sent23 & sent14 -> int2: the ice cube is placed in the sunlight; sent4 & sent9 -> int3: water is a liquid at room temperature; sent7 & sent25 & sent5 -> int4: ice cube in solid state and water in liquid state; int3 & sent22 -> int5: water is in liquid state; sent5 & int5 & int2 -> int6: the ice cube in sunlight is in liquid state; int6 & int1 -> int7: the ice cube will melt and change from solid state to liquid state; int7 & int4 & int1 -> hypothesis;
$proof$ = sent9 & sent4 -> int1: increasing heat energy causes a solid substance to melt; int1 & sent1 & sent10 -> hypothesis;
$proof$ = sent20 & sent7 & sent14 -> int1: chocolate melts; sent23 & int1 -> int2: the chocolate changes from a solid to liquid in the sunlight; int2 & sent3 & sent12 -> int3: the chocolate changes from a solid to liquid; int3 & sent2 -> int4: the shape of the chocolate changes when it melts; sent15 & int4 -> hypothesis;
$proof$ = sent22 & sent18 & sent10 -> int1: water will boil when heated above its boiling point; sent25 & sent4 -> int2: water boiling means water changes from a liquid into a gas by increasing heat energy; int1 & int2 -> hypothesis;
$proof$ = sent22 & sent23 -> int1: as the temperature of water increases, the molecules in water will move faster; sent12 & sent14 -> int2: heating something means adding heat; int2 & sent5 -> int3: heating something means increasing heat energy; int3 & sent19 -> int4: heating something means increasing temperature; int4 & sent10 -> int5: the temperature of water has to increase; sent16 & int1 & int5 -> hypothesis;
$proof$ = sent22 & sent7 -> hypothesis;
$proof$ = sent11 & sent12 -> int1: helium is made of one kind of atoms; sent16 & sent15 -> int2: plastic is made of matter; sent8 & sent2 -> int3: salt water is made of water and salt; int1 & sent14 & sent4 -> int4: helium is made of atoms; int3 & int2 & int4 -> hypothesis;
$proof$ = sent11 & sent10 & sent4 -> int1: a graduated cylinder can be used to measure the volume of a liquid; sent12 & sent9 -> int2: a balance is a kind of instrument for measuring the mass and volume of an object; sent16 & sent8 -> int3: comparing the mass and volume of different objects requires measuring their mass and volume; sent5 & sent23 -> int4: a graduated cylinder can be used to measure the volume of an object; sent17 & int1 -> int5: a graduated cylinder is an instrument for measuring the volume of liquids; int2 & sent20 -> int6: a balance and graduated cylinder are kinds of instruments for measuring the mass and volume of objects; sent22 & sent13 & int3 -> int7: comparing the mass and volume of different marbles requires measuring their mass and volume; int5 & int4 -> int8: a graduated cylinder can be used to measure the mass and volume of an object; int8 & sent25 -> int9: a balance and graduated cylinder can be used to measure the mass and volume of objects; int9 & int6 -> int10: a balance and graduated cylinder can be used for measuring the mass and volume of objects; int7 & int10 -> hypothesis;
$proof$ = sent2 & sent18 -> int1: a ruler is a kind of tool for measuring the length of an object; sent4 & sent8 -> int2: a balance is an instrument for measuring the mass of an object; sent3 & int2 -> int3: a balance can be used to measure the mass of an object; sent16 & int3 -> int4: a balance is an instrument used to measure the mass of an object; int4 & int1 -> int5: a ruler and balance can be used to measure the length and mass of an object; int5 & sent6 -> hypothesis;
$proof$ = sent4 & sent10 & sent5 -> int1: comparing the mass of different potato slices requires measuring that mass for each potato slice; sent14 & sent7 -> int2: a balance is an instrument for measuring the mass of an object; int1 & int2 -> hypothesis;
$proof$ = sent3 & sent11 -> int1: a compass uses natural magnetism for pointing north; sent7 & sent6 -> int2: a compass is a kind of invention; int1 & int2 -> hypothesis;
$proof$ = sent10 & sent3 -> int1: a thermometer can be used to measure the temperature of a substance; sent25 & int1 -> hypothesis;
$proof$ = sent14 & sent24 -> int1: norfolk and richmond are kinds of towns; sent19 & sent16 -> int2: kilometers km are a metric unit used for measuring length; int1 & sent3 -> int3: norfolk and richmond are kinds of towns that are kilometers away from each other; int3 & sent17 -> int4: the distance between norfolk and richmond is kilometers; int2 & int4 -> hypothesis;
$proof$ = sent25 & sent24 -> int1: kilogram can be used to measure the mass of a heavy object; sent7 & int1 -> hypothesis;
$proof$ = sent17 & sent4 & sent11 -> int1: water and sand are two substances; sent2 & int1 & sent7 -> hypothesis;
$proof$ = sent15 & sent12 -> int1: a sifter is a tool for separating mixtures; sent9 & sent23 -> int2: a sifter is a kind of tool for separating different sized solids; sent24 & sent1 & sent4 -> int3: sand and clay are two substances mixed together; sent24 & sent1 & sent4 -> int4: sand and clay are two substances in a mixture; sent24 & sent1 & sent4 -> int5: sand, clay, and soil are a mixture; sent1 & sent4 -> int6: sand and soil are two substances in a mixture; sent1 & sent4 -> int7: sand and soil are two substances mixed together; sent24 & sent1 & sent4 -> int8: sand, clay, and soil are all mixtures; sent3 & sent14 -> int9: sand and clay are two materials; int1 & int2 -> int10: a sifter can be used for separating different sized solids from a mixture; int4 & int3 -> int11: a mixture of sand and clay is an example of a mixture of sand and clay; int7 & int8 -> int12: sand and clay are three substances in a mixture; int9 & int3 & int4 -> int13: a mixture of sand and clay is an example of a mixture of two substances; int6 & int5 & int11 -> int14: a mixture of sand and clay and soil is an example of a mixture of sand and clay; int13 & int14 -> int15: a mixture of sand and clay and soil is an example of a mixture of two substances; sent2 & int15 -> int16: a mixture of sand and clay and soil is a mixture of two substances; int16 & int7 -> int17: a mixture of sand and clay in the soil is an example of a mixture of sand and clay; int10 & int17 & int12 -> hypothesis;
$proof$ = sent12 & sent21 -> int1: fruit salad is a kind of mixture; sent20 & sent25 -> int2: fruit salad is made of solids; int2 & int1 -> int3: fruit salad is a mixture of solids; sent9 & int3 -> hypothesis;
$proof$ = sent24 & sent14 -> int1: a tennis ball is buoyant; sent8 & int1 -> hypothesis;
$proof$ = sent7 & sent15 -> int1: classifying means grouping objects by their appearance; sent12 & sent16 & int1 -> hypothesis;
$proof$ = sent21 & sent2 -> int1: conductivity is a property of the material; sent25 & sent23 -> int2: metal is the material that has a higher conductivity than other materials; int2 & int1 -> int3: the material is metal; sent9 & sent14 & int3 -> hypothesis;
$proof$ = sent19 & sent1 -> int1: conductivity is a property of some materials; sent12 & int1 -> hypothesis;
$proof$ = sent14 & sent7 -> int1: a magnet can attract magnetic metals; sent13 & sent4 -> int2: a magnet will attract magnetic metals; sent20 & sent21 -> int3: iron is magnetic; sent21 -> int4: iron is a kind of magnetic; sent15 & sent22 -> int5: nails are made of metal; sent12 & sent15 -> int6: iron is a kind of electrical conductor; sent23 & sent3 -> int7: iron nails are made of metal; sent7 & int1 -> int8: a magnet is a kind of magnet; int6 & sent22 -> int9: iron nails are an electrical conductor; int7 & int5 -> int10: iron nail is an electrical conductor; int3 & int8 -> int11: a magnet is a kind of magnetic; int9 & int10 -> int12: iron nail can conduct electricity; int2 & int11 -> int13: iron nail can attract magnetic materials; int12 & int13 & int4 -> hypothesis;
$proof$ = sent14 & sent13 & sent8 -> hypothesis;
$proof$ = sent17 & sent14 -> hypothesis;
$proof$ = sent5 & sent12 -> int1: a drill is a tool for cutting holes; sent19 & sent17 -> int2: hardness is a property of a material; int1 & sent23 & int2 -> hypothesis;
$proof$ = sent2 & sent15 & sent16 -> hypothesis;
$proof$ = sent21 & sent12 -> int1: if a spoon is used to stir a liquid, then that spoon is touching that liquid; sent10 & sent20 -> int2: if a spoon touches something then that spoon is exposed to that something; int1 & sent11 -> int3: if a spoon is used to stir a liquid, then the spoon is touching that liquid; int2 & int3 -> int4: if a spoon is exposed to a liquid, the spoon is exposed to that liquid; sent2 & int4 -> int5: the metal spoon is exposed to a source of heat; sent7 & int5 -> hypothesis;
$proof$ = sent19 & sent9 -> hypothesis;
$proof$ = sent19 & sent3 & sent24 -> int1: a block of ice is a kind of object; int1 & sent17 -> hypothesis;
$proof$ = sent17 & sent14 -> int1: salt and sugar are made of the same substance; sent23 & sent8 & sent10 -> int2: salt and sugar are both pure substance; sent25 & sent8 -> int3: salt and sugar are both kinds of pure substance; sent25 & sent8 -> int4: salt and sugar are kinds of pure substances; int4 & int2 & int1 -> int5: salt and sugar are two substances; sent19 & int3 & int5 -> hypothesis;
$proof$ = sent25 & sent13 -> int1: texture is a property of objects that includes ordered values of smooth or rough; sent19 & sent14 -> int2: texture is a kind of property of objects; sent24 & int1 -> int3: texture is a property of objects that includes ordered values of smooth and rough; int3 & int2 -> int4: texture is a property of objects that can be observed by looking at the texture; sent23 & int4 -> int5: texture can be observed by looking at the object; sent7 & int5 -> int6: touch can be used to observe the texture of objects; sent4 & int6 -> hypothesis;
$proof$ = sent23 & sent8 -> hypothesis;
$proof$ = sent22 & sent8 -> int1: ice cube is solid; int1 & sent7 -> int2: an ice cube is solid; sent3 & int2 & sent17 -> hypothesis;
$proof$ = sent22 & sent14 -> hypothesis;
$proof$ = sent14 & sent11 -> int1: as the ability to preserve food increases, the ability to transport food increases; int1 & sent6 -> int2: if the transportation technology for food increases, then the available types of food in distant locations will increase; sent19 & int2 -> hypothesis;
$proof$ = sent19 & sent18 & sent16 -> hypothesis;
$proof$ = sent20 & sent21 -> int1: runways are a kind of pathway for airplanes; int1 & sent9 -> int2: if the number of runways increases then there will be more airplanes; sent6 & int2 -> int3: as the number of runways increases, there will be more airplanes; int3 & sent25 -> hypothesis;
$proof$ = sent15 & sent7 -> int1: a camera is a tool for recording images; sent19 -> int2: a picture of the tree is an example of observing a tree; sent6 & int2 -> int3: taking a picture of the tree is an example of observing a tree; int3 & sent8 -> int4: an example of observing a tree is taking a picture of the tree; int1 & int4 -> hypothesis;
$proof$ = sent19 & sent6 -> hypothesis;
$proof$ = sent17 & sent19 -> hypothesis;
$proof$ = sent13 & sent24 -> int1: a substance changes from a liquid into a solid by decreasing heat energy; sent10 & sent1 -> int2: if heat is transferred from a liquid to the environment, the temperature of the liquid will decrease; sent14 & int1 -> int3: a solid substance changes from a liquid into a solid by decreasing heat energy; int3 & sent17 -> int4: a solid changes from a liquid into a solid by decreasing heat energy; int4 & sent2 -> int5: a solid changes from a liquid to a solid by decreasing heat energy; int5 & int2 -> hypothesis;
$proof$ = sent9 & sent14 & sent24 -> int1: scientists go to a lake to take samples of water; sent12 & int1 -> hypothesis;