$proof$ = sent10 & sent12 -> int1: the sun rising and setting causes the cycles of day and night to occur once per day; int1 & sent23 & sent4 -> hypothesis;
$proof$ = sent17 & sent14 -> int1: earth is a kind of planet; int1 & sent21 -> int2: as the distance from a star to earth decreases, the distance from the star to earth will decrease; int2 & sent18 & sent15 -> hypothesis;
$proof$ = sent16 & sent24 -> int1: earth is a kind of celestial object; int1 & sent2 & sent20 -> int2: earth is a kind of celestial object as observed on earth; int2 & sent5 -> hypothesis;
$proof$ = sent15 & sent12 -> int1: new york state will be in winter during decemeber; int1 & sent4 -> int2: new york state will be in winter during decemeber; int2 & sent6 -> int3: new york state will be in winter during decemeber; int3 & sent20 -> hypothesis;
$proof$ = sent20 & sent22 -> int1: earth is a planet that rotates on its tilted axis once per day; int1 & sent17 -> int2: earth rotating on its tilted axis causes the cycles of day and night on earth; int2 & sent23 -> hypothesis;
$proof$ = sent10 & sent22 -> int1: sunlight is a kind of solar energy; int1 & sent9 -> int2: a plant requires sunlight to grow; int2 & sent16 -> hypothesis;
$proof$ = sent13 & sent14 -> int1: winter has cold temperatures; int1 & sent21 -> int2: winter has cold temperatures; int2 & sent9 -> int3: the southern hemisphere will experience winter in august; int3 & sent24 -> int4: andy will experience winter in southern hemisphere in august; sent19 & sent16 -> int5: the southern hemisphere will experience winter in august; int5 & sent18 -> int6: the southern hemisphere experience winter in august; int4 & int6 -> hypothesis;
$proof$ = sent11 & sent4 & sent21 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent10 -> int2: earth revolving the sun is an example of a celestial object revolving around its star; int2 & sent3 -> int3: a complete revolution of earth around the sun takes an earth year; int3 & sent17 -> hypothesis;
$proof$ = sent15 & sent23 -> int1: earth is a planet that rotates on its tilted axis once per day; int1 & sent11 -> int2: the earth rotating on its tilted axis occurs once per day; int2 & sent24 -> int3: the earth rotating on its tilted axis causes the cycles of day and night on earth; int3 & sent19 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the earth revolving the sun is an example of a celestial object revolving around its star; int1 & sent11 -> int2: the sun revolving the earth is an example of a celestial object revolving around its star; int2 & sent22 & sent4 -> int3: mercury revolving the sun is an example of a celestial object revolving around its star; int3 & sent7 -> int4: a complete orbit of mercury around the sun takes one year; int4 & sent20 -> hypothesis;
$proof$ = sent14 & sent18 -> int1: a solar eclipse is when the moon could block the earth from the sun; int1 & sent9 -> hypothesis;
$proof$ = sent19 & sent24 -> int1: the kuiper belt contains orbiting comets; int1 & sent25 -> int2: the kuiper belt is a kind of celestial object; int2 & sent5 & sent18 -> int3: objects in kuiper belt are made of ice; int3 & sent23 -> hypothesis;
$proof$ = sent11 & sent20 -> int1: earth is a kind of celestial object; int1 & sent16 -> int2: a comet is the kind of celestial object that has a highly elliptical orbit and a period of over 1000 years; sent7 & sent10 -> int3: a comet is a kind of celestial object that has a highly elliptical orbit and a period of over 1000 years; int2 & int3 -> hypothesis;
$proof$ = sent6 & sent11 -> int1: a student observes a glowing band across the night sky; sent3 & sent14 -> int2: the milky way is a kind of celestial object; int2 & sent17 -> int3: a source of the milky way galaxy emits a glowing band across the night sky; int1 & int3 -> int4: the student observes the milky way galaxy at night; int4 & sent21 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: looking at a star has a negative impact on the eyes; sent24 & sent22 -> int2: the sun is a kind of star; int2 & sent17 -> int3: the moon is less bright than the sun; int1 & int3 -> hypothesis;
$proof$ = sent20 & sent10 -> hypothesis;
$proof$ = sent22 & sent25 -> int1: the asteroid belt that contains the largest concentration of asteroids is located between mars and jupiter; int1 & sent19 -> hypothesis;
$proof$ = sent6 & sent10 & sent19 -> hypothesis;
$proof$ = sent7 & sent9 & sent12 -> int1: earth is a planet that has a greater mass than the planet mars; int1 & sent24 -> int2: the force of gravity on earth will be greater than on mars; int2 & sent13 -> int3: the force of gravity on earth will be less than on mars; int2 & sent10 -> int4: objects will weigh less on mars than on earth because the force of gravity is less on earth than on mars; int3 & int4 -> int5: objects will weigh less on mars than on earth but will have the same mass; int5 & sent23 -> hypothesis;
$proof$ = sent13 & sent17 -> int1: a telescope is used for observing jupiter; int1 & sent8 -> int2: a telescope can be used to observe the moons that orbit around jupiter; int2 & sent21 -> int3: a telescope can be used to observe the moons that orbit around jupiter; sent19 & sent3 -> int4: a moon is a kind of celestial object; int4 & sent15 -> int5: a telescope can be used for observing moons; int3 & int5 -> int6: a reflecting telescope can be used to observe the moons that orbit around jupiter; int6 & sent20 -> hypothesis;
$proof$ = sent18 & sent4 -> int1: the next full moon will occur 28 days after the last full moon; int1 & sent20 & sent13 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: gravity causes the moon to orbit the earth; sent13 & sent25 -> int2: a moon is a kind of celestial object; int1 & int2 -> hypothesis;
$proof$ = sent9 & sent13 -> int1: ocean animals are kinds of water animals living in oceans; int1 & sent10 & sent19 -> int2: fossils of ocean animals were found at the grand canyon; int2 & sent25 -> int3: the grand canyon used to be covered by water in the past; int3 & sent9 & sent13 -> hypothesis;
$proof$ = sent25 & sent19 -> int1: ocean animals are aquatic animals living in oceans; int1 & sent2 -> int2: if fossils of ocean animals are found in a place then that place used to be covered by water in the past; int2 & sent25 -> int3: if fossils of ocean animals are found in a place then that place used to be covered by water in the past; int3 & sent11 & sent15 -> int4: the desert used to be covered by water in the past; sent9 & sent17 -> int5: the desert is a kind of environment; int4 & int5 -> hypothesis;
$proof$ = sent16 & sent1 -> int1: marine fossils are fossils of water animals; int1 & sent7 -> int2: fossils of water animals are found in mountains; int2 & sent24 -> int3: the mountains used to be covered by water in the past; int3 & sent5 & sent13 & sent6 -> int4: the environment has changed from a body of water to mountains; int4 & sent9 -> hypothesis;
$proof$ = sent8 & sent7 & sent3 -> int1: quartz and feldspar are two minerals; int1 & sent25 -> int2: quartz and feldspar are two kinds of rocks; int2 & sent21 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: nearly all fossils are found in sedimentary rock; int1 & sent8 -> int2: paleontologists find fossils in sedimentary rock; int2 & sent14 -> int3: structural geologists and paleontologists both study the history of sedimentary rock; int3 & sent7 -> int4: structural geologists and paleontologists both study the history and processes of earth; int4 & sent5 -> int5: structural geologists and paleontologists both study the history and processes of earth; int5 & sent15 -> hypothesis;
$proof$ = sent1 & sent20 -> int1: in the rock cycle, erosion follows weathering; sent14 & sent5 -> int2: erosion is a kind of process; int2 & sent16 -> int3: a stage in erosion is a stage in the rock cycle; int1 & int3 -> int4: in the rock cycle, erosion is the next step after weathering; int4 & sent21 -> int5: after weathering, erosion will be the next step in the rock cycle; int5 & sent4 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; int1 & sent19 -> int2: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; int2 & sent13 -> int3: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; sent20 & sent22 -> int4: metamorphic rocks are formed by sedimentary rocks being exposed to extreme heat and pressure; int4 & sent24 -> int5: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; int3 & int5 -> int6: exposure to increased pressure changes shale into metamorphic rock; int6 & sent3 -> hypothesis;
$proof$ = sent16 & sent11 -> int1: classifying is when one sorts something by class; int1 & sent10 -> int2: rocks can be classified based on how they were formed; sent1 & sent12 -> int3: sedimentary rock is a kind of rock that can be changed into metamorphic rock; int3 & sent7 -> int4: sedimentary rocks can be changed into metamorphic rocks by being exposed to extreme heat and pressure; int4 & sent15 -> int5: metamorphic rock can be changed into metamorphic rock; int5 & sent2 -> int6: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; int2 & int6 -> int7: sedimentary rocks can be changed into metamorphic rock; int7 & sent16 -> int8: sedimentary rocks can be classified as sedimentary, metamorphic, metamorphic, metamorphic, or igneous; int8 & sent10 -> hypothesis;
$proof$ = sent17 & sent3 -> int1: sedimentary and metamorphic are classes of rock; int1 & sent12 -> int2: class is based on how sedimentary and metamorphic rocks are formed; int2 & sent11 -> int3: sedimentary and metamorphic rocks are formed by rocks being exposed to extreme heat and pressure; int3 & sent7 -> int4: sedimentary and metamorphic rocks are formed by rocks being exposed to extreme heat and pressure; int4 & sent3 -> int5: sedimentary and metamorphic rock are kinds of rock; int5 & sent1 -> int6: how sedimentary and metamorphic rock are formed is a kind of rock; int6 & sent10 -> int7: sedimentary and metamorphic rocks are formed; int7 & sent25 -> int8: sedimentary and metamorphic rocks are formed; int8 & sent1 -> hypothesis;
$proof$ = sent11 & sent20 -> int1: an organism is a source of organic material; int1 & sent8 -> int2: a sedimentary deposit formed from organic material is mainly made of carbon; int2 & sent22 -> int3: a sedimentary deposit formed from organic material is mainly made of carbon; int3 & sent4 -> hypothesis;
$proof$ = sent15 & sent14 -> int1: sedimentary rocks are formed by sediments being buried then cemented together; int1 & sent19 -> int2: sedimentary rocks are formed by sediments being buried then cemented together; sent18 & sent12 -> int3: deposition is when water deposits sediments; int3 & sent11 -> int4: sedimentary rocks are formed by sediments being buried then cemented together; int2 & int4 -> int5: sedimentary rocks are formed by sediment being buried then cemented together; int5 & sent25 -> int6: sedimentary rocks are a kind of rock that is made of sediment; int4 & int6 -> int7: sedimentary rocks are formed by sediment being buried then cemented together; int7 & sent13 -> hypothesis;
$proof$ = sent10 & sent4 -> int1: burning fossil fuels adds carbon to the atmosphere; int1 & sent17 -> hypothesis;
$proof$ = sent18 & sent23 -> int1: fossil fuels contain chemical energy; int1 & sent14 -> int2: chemical energy can be found in fossil fuels; sent21 & sent8 -> int3: coal is a kind of fossil fuel; int3 & sent23 -> int4: fossil fuels contain chemical energy; int2 & int4 -> int5: chemical energy can be found in fossil fuels; sent2 & sent10 -> int6: fossil fuels are a kind of energy resource; int5 & int6 -> int7: fossil fuels are a kind of energy resource; int7 & sent3 -> hypothesis;
$proof$ = sent9 & sent15 -> hypothesis;
$proof$ = sent5 & sent9 -> int1: renewable is the opposite of nonrenewable; int1 & sent6 -> int2: fossil fuels are a nonrenewable resource; int2 & sent3 -> int3: fossil fuels are often available for many years; sent25 & sent19 -> int4: an inexhaustable resource is a kind of renewable resource; int3 & int4 -> int5: a renewable resource is often available for many years; int5 & sent11 -> hypothesis;
$proof$ = sent6 & sent11 -> int1: the supply of solar energy does not change over a long period of time; sent9 & sent21 -> int2: the supply of solar energy does not change over billions of years; int1 & int2 -> hypothesis;
$proof$ = sent19 & sent11 -> int1: sunlight is a kind of solar energy; int1 & sent24 -> int2: solar energy is a kind of rewnewable resource; sent15 & sent5 -> int3: a home is a kind of building; int3 & sent1 -> int4: a source of heat can be used to heat a home; int2 & int4 -> int5: a source of heat can be used to heat a home; int5 & sent6 -> int6: an example of using solar energy is using solar energy to heat a home; sent15 & sent18 -> int7: a home is a kind of resource; int6 & int7 -> int8: solar energy can be used for heating a home; int8 & sent14 -> hypothesis;
$proof$ = sent15 & sent23 -> int1: tree roots prevent soil erosion; sent14 & sent9 -> int2: roots are a part of a plant; int2 & sent10 -> int3: roots are a part of a tree; int1 & int3 -> int4: roots prevent soil erosion; sent22 & sent12 -> int5: soil erosion is when moving water moves soil from fields / environments; int5 & sent6 -> int6: moving water causes soil erosion; int4 & int6 -> int7: plants roots prevent soil erosion; int7 & sent24 -> hypothesis;
$proof$ = sent18 & sent16 -> int1: sunlight is a kind of solar energy; int1 & sent7 -> int2: a solar cell converts solar energy into electrical energy; int2 & sent9 -> int3: a photovoltaic cell converts solar energy into electrical energy; sent13 & sent20 -> int4: solar energy is a source of electricity; int4 & sent25 -> int5: a solar cell produces electricity; int5 & sent2 -> int6: a solar energy is a kind of electrical energy; int3 & int6 -> int7: a solar cell uses solar energy to produce electricity; sent21 & sent1 -> int8: a renewable resource is a kind of resource; int7 & int8 -> hypothesis;
$proof$ = sent15 & sent13 -> int1: runoff from cropland enters bodies of water; int1 & sent7 & sent4 -> int2: runoff from cropland into a lake is an example of runoff entering a lake; sent6 & sent11 -> int3: runoff from cropland into a lake is an example of runoff entering a lake; int2 & int3 & sent23 -> int4: runoff entering a lake is an example of runoff entering a lake; sent19 & sent1 -> int5: algae is a kind of organism; int5 & sent18 -> int6: algae is a kind of organism; int4 & int6 -> int7: runoff entering a lake is a kind of organism; int7 & sent12 -> int8: runoff entering a lake affects that lake; int8 & sent4 -> int9: runoff entering a lake affects that lake; int9 & sent12 -> hypothesis;
$proof$ = sent19 & sent22 -> int1: the imature form of a frog is called a tadpole and the mature form of a frog is called a tadpole; sent18 & sent3 -> int2: a frog is a kind of aquatic animal; int2 & sent1 -> int3: a frog is a kind of aquatic animal; int3 & sent2 -> int4: a tadpole is a kind of aquatic animal that lives in water; int4 & sent20 -> int5: acid rain can change the ph of water; int5 & sent17 -> int6: acid rain can change the ph of water; int6 & sent4 -> int7: acid rain can cause tadpole to be unable to survive; int7 & sent5 -> hypothesis;
$proof$ = sent3 & sent10 -> int1: pollution has a negative impact on the environment; int1 & sent2 -> int2: using automobiles has a negative impact on the environment; int2 & sent18 -> int3: many automobiles emit pollution into the air; sent24 & sent11 -> int4: a car is a kind of vehicle; int3 & int4 -> hypothesis;
$proof$ = sent19 & sent14 -> int1: some animals eat fish for food; int1 & sent23 -> int2: some animals suffer starvation from eating fish; int2 & sent1 -> int3: starvation of the animals that eat fish can decrease animal population; int3 & sent20 -> hypothesis;
$proof$ = sent12 & sent22 -> int1: paper is a kind of material that is recyclable; int1 & sent7 -> int2: paper can be recycled many times; sent15 & sent19 -> int3: a paper is a kind of object; int3 & sent9 -> int4: a paper is made of materials; int2 & int4 -> int5: notebook paper is a kind of material that can be recycled many times; int5 & sent25 -> hypothesis;
$proof$ = sent23 & sent7 -> int1: glass bottles are recyclable; int1 & sent18 -> int2: glass bottles can be recycled many times; sent12 & sent10 -> int3: a glass is a kind of object; int3 & sent10 & sent9 -> int4: a glass is made of materials; int2 & int4 -> int5: glass bottles are made of objects; int5 & sent17 -> int6: glass bottles are reusable; int6 & sent11 -> hypothesis;
$proof$ = sent2 & sent23 -> int1: weathering changes the earth's surface; int1 & sent9 -> hypothesis;
$proof$ = sent17 & sent24 -> int1: nitrogen makes up 99% of the earth's atmosphere by mass; int1 & sent15 -> hypothesis;
$proof$ = sent12 & sent9 -> int1: weathering is a kind of erosion; int1 & sent15 -> int2: soil is formed by rocks weathering; sent6 & sent24 -> int3: acid weathering rocks is a kind of erosion; int2 & int3 -> int4: acid weathering rocks is a kind of soil formation; int4 & sent2 -> hypothesis;
$proof$ = sent25 & sent19 -> int1: a mountain range is a kind of environment; int1 & sent10 -> int2: a mountain range contains mountains; int2 & sent24 -> int3: mountains can limit the water vapor reaching a location; int3 & sent23 -> int4: sierra nevada mountains can limit the water vapor reaching nevada; int4 & sent3 -> hypothesis;
$proof$ = sent22 & sent5 -> int1: when a river floods, that river deposits soil; int1 & sent23 -> hypothesis;
$proof$ = sent21 & sent23 -> int1: a landslide is when water rapidly moves rocks downhill especially after a rain storm; sent1 & sent16 -> int2: landslides often occur on mountains; int1 & int2 -> hypothesis;
$proof$ = sent12 & sent11 -> int1: most canyons are formed by flowing rivers through erosion over long periods of time; int1 & sent20 -> int2: water flowing over long periods of time causes canyons to form; int2 & sent4 -> int3: pouring water onto soil causes canyons to wash away; sent25 & sent13 -> int4: an example of movement is water washing away; int4 & sent23 -> int5: pouring water onto soil causes erosion; int3 & int5 -> int6: pouring water onto soil causes it to wash away; sent5 & sent21 -> int7: erosion is a kind of process; int7 & sent22 -> int8: weathering is a kind of process; int8 & sent6 -> int9: weathering is a kind of erosion; int6 & int9 -> hypothesis;
$proof$ = sent9 & sent21 -> hypothesis;
$proof$ = sent9 & sent7 -> int1: water is a liquid at room temperature; int1 & sent16 -> int2: if water freezes in a crack in a rock, then water will expand in the crack; int2 & sent14 -> hypothesis;
$proof$ = sent20 & sent10 -> int1: glacial movement often causes bedrock to appear polished; sent21 & sent14 -> int2: glacier moving causes scratches in rocks; int1 & int2 -> hypothesis;
$proof$ = sent2 & sent20 -> hypothesis;
$proof$ = sent12 & sent18 -> int1: rain is a kind of precipitation; int1 & sent17 -> int2: sleet is the precipitation when raindrops freeze as they fall; int2 & sent11 -> hypothesis;
$proof$ = sent22 & sent21 -> int1: water absorbing solar energy in the water cycle is an example of a substance absorbing solar energy; int1 & sent2 -> int2: water absorbing solar energy in the water cycle is an example of a substance absorbing solar energy; sent23 & sent1 -> int3: the sun is a kind of star; int3 & sent4 -> int4: the sun produces light and heat; int2 & int4 -> int5: water cycle the sun has the role of causing evaporation; int5 & sent24 -> hypothesis;
$proof$ = sent3 & sent18 -> int1: a human is a kind of animal; int1 & sent23 -> int2: muscular movement helps animals move; int2 & sent10 -> int3: when a human moves, chemical energy is converted to mechanical energy; sent9 & sent14 -> int4: a person shivers; sent8 & sent4 -> int5: a person is a kind of living thing; int5 & sent17 -> int6: a human is a kind of living thing; int6 & sent1 -> int7: a person is a kind of living thing; int4 & int7 -> int8: when a person shivers, chemical energy is converted to mechanical energy; int8 & sent10 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a hand dryer is a kind of electrical device for drying hair; sent16 & sent9 -> int2: electrical devices convert electrical energy into other forms of energy; int2 & sent20 -> int3: a hand dryer converts electrical energy into other forms of energy; int1 & int3 -> hypothesis;
$proof$ = sent2 & sent20 -> int1: electrical devices convert electrical energy into other forms of energy; int1 & sent1 & sent17 -> hypothesis;
$proof$ = sent13 & sent20 -> int1: heat means an increase in temperature; int1 & sent12 -> int2: if something increases in temperature, then that something will be warm; int2 & sent22 -> hypothesis;
$proof$ = sent2 & sent20 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: an internal combustion engine usually converts chemical energy from gasoline into mechanical energy and heat energy through combustion; int1 & sent25 -> int2: an internal combustion engine usually converts chemical energy from gasoline into mechanical energy and heat energy through combustion; sent19 & sent5 -> int3: a car is a kind of vehicle; int3 & sent13 -> int4: a car is a kind of object; int2 & int4 -> int5: an internal combustion engine usually converts chemical energy from gasoline into mechanical energy and heat energy through combustion; int5 & sent8 -> int6: the mechanical energy converted by the car engine causes the car to move; int6 & sent8 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: the block of ice is placed on a hot sidewalk; sent14 & sent16 -> int2: the sidewalk is a kind of object; int1 & int2 & sent11 -> int3: the block of ice will increase temperature by absorbing heat energy from the sidewalk; int3 & sent25 & sent6 -> int4: the block of ice will increase in heat energy; int4 & sent13 -> hypothesis;
$proof$ = sent25 & sent21 -> int1: a blue block is a kind of object; int1 & sent19 -> hypothesis;
$proof$ = sent25 & sent2 -> int1: a leaf is a part of a green plant; sent20 & sent12 -> int2: a leaf is a part of a green plant; int1 & int2 -> int3: a leaf is a part of a green plant; sent6 & sent4 -> int4: a leaf is a part of a tree; int4 & sent7 -> int5: a leaf is a part of a green plant; sent5 & sent5 -> int6: light is a kind of color; int3 & int6 -> int7: a leaf is a kind of object; int7 & sent14 -> int8: a leaf reflects a green color; int5 & int8 -> hypothesis;
$proof$ = sent13 & sent24 -> int1: a bicycle is a kind of object; sent19 & sent25 -> int2: a car is a kind of object; int1 & int2 & sent22 -> int3: a reflector is used to reflect light; int3 & sent20 -> int4: a reflector can reflect light toward the eye; int4 & sent23 -> hypothesis;
$proof$ = sent23 & sent15 -> int1: shiny objects are a kind of object that reflect light; int1 & sent3 -> int2: an image in a mirror is formed by reflecting light; int2 & sent9 -> int3: looking at an image in a mirror is an example of light being reflected by a mirror; int3 & sent1 -> hypothesis;
$proof$ = sent14 & sent9 -> int1: sunlight can shine through a window; int1 & sent3 -> int2: if something is outside during the day then that something cannot reflect enough light to be seen; int2 & sent24 & sent2 -> hypothesis;
$proof$ = sent3 & sent15 -> int1: a prism refracts light and splits light into lights of different color; int1 & sent14 -> hypothesis;
$proof$ = sent19 & sent1 -> int1: refraction is when light bends and is split into lights of different color; int1 & sent23 -> int2: refraction is when light is split into lights of different color; int2 & sent5 -> hypothesis;
$proof$ = sent5 & sent11 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: the hot boiled egg is exposed to the cold water; int1 & sent3 -> int2: the hot boiled egg is exposed to a cold substance; int2 & sent22 -> int3: the hot boiled egg will increase in temperature; int3 & sent21 & sent8 -> int4: the cold water will decrease in temperature; int4 & sent10 & sent23 -> hypothesis;
$proof$ = sent6 & sent14 -> int1: a pot is a kind of container for cooking food; sent4 & sent21 -> int2: a pot is made of metal for cooking food; sent3 & sent3 -> int3: a thermal conductor is a conductor of heat; int3 & sent23 -> int4: if a thermal conductor is exposed to heat, then the thermal conductor will become hot; int2 & int4 -> int5: if a pot becomes hot, then the pot will become hot; int5 & sent7 -> int6: a pot is used for cooking food; int6 & sent24 -> int7: a pot is a kind of object; sent13 & sent24 -> int8: a pot is a kind of object; int7 & int8 -> int9: if a pot becomes hot, then the handle of the pot will become hot; int9 & sent22 -> hypothesis;
$proof$ = sent15 & sent19 -> int1: a burner is a kind of object; int1 & sent20 -> int2: a burner is a kind of object; int2 & sent7 -> int3: a pan is a kind of object; int3 & sent4 -> int4: a pan is a kind of object made of metal for cooking; sent22 & sent4 -> int5: a pan is an electrical conductor; int5 & sent8 -> int6: a pan is a kind of electrical conductor; int4 & int6 -> int7: a pan; int7 & sent11 -> int8: the frying pan is used for cooking food; int8 & sent18 -> int9: the frying pan is used for cooking food; int9 & sent25 -> int10: the frying pan is used for cooking food; int10 & int7 -> int11: the heat flows from the burner to the frying pan; int11 & sent3 -> hypothesis;
$proof$ = sent23 & sent22 -> int1: compression waves produce objects in the same direction as the wave; int1 & sent19 -> hypothesis;
$proof$ = sent21 & sent10 -> int1: when friction occurs between two objects, both objects' speeds decrease; sent5 & sent24 -> int2: a soccer ball is a kind of object; int1 & int2 & sent11 -> hypothesis;
$proof$ = sent9 & sent6 -> int1: as the roughness of a surface increases, the friction of the two objects will increase; int1 & sent24 -> int2: friction occurs between the wheels and gears when they are moving against each other; sent1 & sent8 -> int3: a vehicle and a gear are kinds of objects; int2 & int3 -> int4: friction occurs between the wheels and gears when they are moving against each other surface; int4 & sent12 -> int5: as the smoothness of an object increases, the friction on the wheels and gears moving against other surfaces; int5 & sent4 -> hypothesis;
$proof$ = sent6 & sent7 & sent12 -> int1: gravity is the force that pulls the ball towards the planet; int1 & sent2 & sent7 -> hypothesis;
$proof$ = sent6 & sent10 -> int1: earth is a kind of celestial object; int1 & sent13 & sent5 -> hypothesis;
$proof$ = sent7 & sent22 -> int1: a pulley is used to lift a flag on a flagpole; sent13 & sent5 -> int2: a flagpole is a kind of object; int1 & int2 -> int3: a pulley can be used to lift a flag on a flagpole; int3 & sent16 -> hypothesis;
$proof$ = sent3 & sent10 & sent25 -> int1: a cell nucleus is a kind of organelle that is a part of a plant cell; int1 & sent23 -> int2: a plant cell contains a chloroplast and a cell wall; int2 & sent12 -> int3: a plant cell contains a part of the chloroplast and a cell wall; int3 & sent22 -> int4: an organism is made up of plants that contain a cell wall and a cell; sent3 & sent10 -> int5: a cell nucleus is a part of a plant cell; int5 & sent21 -> int6: a plant cell wall and a chloroplast are parts of the biological kingdom plantae; int4 & int6 -> hypothesis;
$proof$ = sent21 & sent20 -> int1: metamorphosis is when an insect changes from an immature form to an adult form; sent9 & sent22 -> int2: the pupa stage is a stage in the metamorphosis process of some animals; int2 & sent13 -> int3: an insect has undergone incomplete metamorphosis; sent7 & sent24 -> int4: an insect is a kind of living thing; int4 & sent1 -> int5: an insect is a kind of living thing; sent8 & sent3 -> int6: an insect is a kind of organism; int6 & sent23 -> int7: metamorphosis is a stage in the life cycle of some animals; int3 & int7 -> int8: the insect has undergone incomplete metamorphosis; int8 & sent20 -> hypothesis;
$proof$ = sent25 & sent12 -> int1: fire causes burning; int1 & sent24 -> int2: a flame is a part of a fire; int2 & sent8 -> int3: a plant will disperse seeds after a wildfire; sent7 & sent14 -> int4: a pine tree is a kind of plant; sent16 & sent11 -> int5: a pine tree is a kind of organism; int5 & sent11 -> int6: a pine tree is a kind of plant; int4 & int6 -> int7: a pine tree will disperse seeds after a wildfire; int7 & sent20 -> hypothesis;
$proof$ = sent7 & sent11 -> int1: coloration is a kind of adaptation for hiding in an environment; int1 & sent1 -> int2: coloration is a kind of adaptation for hiding in an environment; int2 & sent9 -> int3: coloration is often a part of an animal's fur; sent14 & sent2 -> int4: a bear is a kind of predator; int4 & sent18 -> int5: dark fur is used for hiding by animals from predators; int5 & sent5 -> int6: camouflage is used for hiding by animals against predators; int6 & sent5 -> int7: camouflage is used for hiding by animals against predators; int7 & sent16 -> int8: camouflage is used for hiding by animals against predators; int8 & sent3 -> int9: being protected from predators has a positive impact on an animal's survival; int9 & sent14 -> int10: dark fur is a kind of adaptation for hiding in a forest; int10 & int6 -> hypothesis;
$proof$ = sent25 & sent1 -> int1: a claw is part of a predator; sent19 & sent23 -> int2: a bird is a kind of animal; int2 & sent13 -> int3: a bird is a kind of living thing; int3 & sent20 -> int4: a bird is a kind of predator; sent18 & sent9 -> int5: predators must eat prey to get food; int4 & int5 -> int6: some predators must catch food to eat; int6 & sent17 -> int7: claws are used to catch food by some predators; int2 & int7 -> hypothesis;
$proof$ = sent23 & sent4 -> int1: as dryness increases in an environment, the available water in that environment will decrease; int1 & sent12 -> int2: as dryness in an environment increases, the available water in that environment will decrease; int2 & sent12 -> int3: as dryness in an environment increases, the ability of living things to survive in that environment decreases due to a lack of available water; int3 & sent15 -> int4: as dryness increases in an environment, the ability of living things to survive in that environment decreases; int4 & sent16 -> int5: storing water is an adaptation to a dry environment; int5 & sent1 -> hypothesis;
$proof$ = sent1 & sent14 & sent17 -> int1: a leaf is a part of a plant for growing; int1 & sent20 -> int2: slow leaf growth is a part of a plant for growing; int2 & sent13 -> int3: slow leaf growth has a negative impact on a plant's survival; sent12 & sent25 -> int4: the decrease of something required by an organism has a negative impact on that organism's survival; int4 & sent2 -> int5: the decrease of something required by an organism has a negative impact on that plant's survival; int3 & int5 -> hypothesis;
$proof$ = sent11 & sent20 -> int1: a salamander is a kind of aquatic animal; sent15 & sent25 -> int2: a fish is a kind of aquatic animal; int2 & sent5 -> int3: a salamander is a kind of aquatic animal; int1 & int3 -> int4: a salamander is a kind of aquatic animal; sent9 & sent16 -> int5: when water increases in an environment, the population of salamanders will increase; int5 & sent6 -> int6: as water increases in an environment, the population of salamanders will increase; int4 & int6 -> hypothesis;
$proof$ = sent24 & sent10 -> int1: drought causes an environment to be dry; int1 & sent5 -> int2: a dry environment causes an environment to be low in amount of water; int2 & sent12 -> int3: a dry environment causes an environment to be low in amount of water; int3 & sent23 -> int4: a dry environment causes fish to live in water; sent15 & sent2 -> int5: a fish is a kind of aquatic animal that lives in water; int5 & sent16 -> int6: a fish is a kind of aquatic animal that lives in water; int6 & sent15 -> int7: a fish is a kind of aquatic animal that lives in water; int7 & sent2 -> int8: a fish is a kind of animal that lives in water; int8 & sent21 -> int9: fish are a kind of organism; int9 & sent3 -> int10: hot weather has a negative impact on fish; int10 & int6 -> hypothesis;
$proof$ = sent19 & sent16 -> int1: corn is a kind of plant; sent20 & sent12 -> int2: a plant requires nutrients in soil to grow; int1 & int2 -> int3: plants require nutrients in soil to grow; sent8 & sent13 -> int4: soil is usually part of an environment; int4 & sent14 -> hypothesis;
$proof$ = sent13 & sent24 -> int1: a frog is a kind of animal; int1 & sent6 -> int2: a frog is a kind of animal; sent9 & sent10 -> int3: a bird and a frog are kinds of animals; int2 & int3 -> int4: a frog and a bird are kinds of animals; int4 & sent16 -> int5: skin is a part of a frog; sent22 & sent20 -> int6: lungs are a part of an animal used for breathing air; int6 & sent25 -> int7: lungs are a part of a frog; int5 & int7 -> int8: lungs are a part of a frog; int8 & sent2 -> int9: the function of skin on frogs is similar to the function of lungs in birds; int9 & sent1 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: the respiratory system transports oxygen from the air to the circulatory system; sent3 & sent19 -> int2: the circulatory system brings oxygen from the lungs to the rest of the body; int1 & int2 -> int3: the respiratory system and circulatory system both bring oxygen to the body; sent15 & sent16 -> int4: bringing oxygen to the body is a kind of function; sent11 & sent6 -> int5: the respiratory system and the circulatory system are parts of the body; int5 & sent10 -> int6: the respiratory system and circulatory system are parts of the body; int3 & int6 -> int7: the respiratory system and circulatory system both bring oxygen to the body; int7 & sent21 -> hypothesis;
$proof$ = sent18 & sent24 -> int1: the small intestine is used for the digestion of proteins; int1 & sent10 -> int2: the small intestine is used for the digestion of proteins; int2 & sent15 -> int3: the small intestine is used for the digestion of proteins; sent19 & sent25 -> int4: an example of digestion is when an organism takes in nutrients from food into itself by eating; int3 & int4 -> int5: the small intestine is a part of a human's for the digestion of proteins; int5 & sent12 -> int6: the small intestine is a part of the human's digestive system for the digestion of nutrients; int6 & sent8 -> hypothesis;
$proof$ = sent23 & sent3 -> hypothesis;
$proof$ = sent4 & sent14 -> int1: kidney removes bodily waste; sent23 & sent11 -> int2: waste must be removed from the body; int1 & int2 -> int3: kidneys must be removed from the body to remove waste; sent5 & sent13 -> int4: an animal is a kind of organism; int4 & sent9 -> int5: a kidney is a kind of organ in an animal; int3 & int5 -> int6: kidneys are a kind of organ in an animal that removes waste from the body; int6 & sent6 -> hypothesis;
$proof$ = sent19 & sent1 -> int1: a human is a kind of living thing; int1 & sent25 -> int2: a human is a kind of living thing; int2 & sent9 -> int3: the vomiting reflex is used to remove toxic material from the stomach before it is absorbed; int3 & sent23 -> hypothesis;
$proof$ = sent10 & sent8 -> int1: rheumatoid arthritis is when the body attacks its own tissues; sent2 & sent17 -> int2: a human is a kind of living thing; int2 & sent24 -> int3: a human is a kind of living thing; int1 & int3 -> int4: rheumatoid arthritis is caused by the immune system attacking its own tissues; int4 & sent3 -> int5: the immune system will happen first before rheuma disease occurs; sent25 & sent14 -> int6: an animal is a kind of body; int6 & sent19 -> int7: a human is a kind of living thing; int5 & int7 -> int8: the immune system is a part of an animal; int8 & sent16 -> int9: the immune system becomes disordered first before rheuma disease occurs; int9 & sent18 -> hypothesis;
$proof$ = sent25 & sent1 -> int1: a bird is a kind of living thing; sent21 & sent13 -> int2: a bird is a kind of thing; int1 & int2 -> int3: a bird is a kind of living thing; int3 & sent23 -> int4: a bird is a kind of living thing; sent12 & sent8 -> int5: a bird is a kind of living thing; int5 & sent24 -> int6: a bird is a kind of organism; int6 & sent3 -> int7: a bird is a kind of organism; int7 & sent24 -> int8: a bird is a kind of organism; int8 & sent20 -> int9: an example of an adaptation for flight in birds is feathers / wings / hollow bones; int9 & sent11 -> hypothesis;
$proof$ = sent9 & sent7 -> int1: the muscular system is a part of the body; int1 & sent20 -> int2: the muscular system is a part of the body; sent5 & sent18 -> int3: the muscular system is a part of the body; int3 & sent17 -> int4: the muscular system is a part of the body; int2 & int4 -> int5: the muscular system pushes bones to move the bones; sent23 & sent14 -> int6: a bone is a part of the body; int6 & sent12 -> int7: the muscular system pulls bones to move the bones; int5 & int7 -> hypothesis;
$proof$ = sent6 & sent10 -> int1: eyes are part of a human for seeing; sent7 & sent18 -> int2: a human is a kind of living thing; int2 & sent22 -> int3: a human is a kind of living thing; int1 & int3 -> int4: eyes are a part of a human for seeing; sent21 & sent2 -> int5: nerves carry messages from sensory organs to the brain; int5 & sent21 -> int6: nerves carry messages from sensory organs to the brain; int4 & int6 -> hypothesis;
$proof$ = sent7 & sent22 -> int1: the skeletal system is used to provide protection for animals; int1 & sent19 -> int2: the skeletal system protects parts of an animal in order to protect that animal; sent21 & sent12 -> int3: a bone is a part of a body; int3 & sent6 -> int4: the skeletal system is a part of the body of an animal; int2 & int4 -> int5: the skeletal system provides protection for animals; sent23 & sent3 -> int6: providing support is a kind of job; int5 & int6 -> hypothesis;
$proof$ = sent8 & sent16 -> int1: scales are a covering over the body of a scaled animal; sent12 & sent12 -> int2: a fish is a kind of scaled animal; sent6 & sent20 -> int3: a fish is a kind of animal; int3 & sent15 -> int4: a fish is a kind of aquatic animal; int4 & sent7 -> int5: scales are a kind of organism; sent23 & sent11 -> int6: fish are a kind of organism; int6 & sent9 -> int7: fish are a kind of organism; int7 & sent23 -> int8: fish are a kind of organism; int8 & sent3 -> int9: a fish is a kind of living thing; int5 & int9 -> int10: scales are a kind of protection for fish; int10 & int6 -> int11: scales are used for protection by fish; int11 & sent1 -> hypothesis;
$proof$ = sent4 & sent9 -> int1: all human cells require energy for cell activites; sent1 & sent18 -> int2: a human is a kind of animal; int2 & sent3 -> int3: a human takes in food; int3 & sent24 -> int4: a human takes in food to perform a process; sent19 & sent14 -> int5: if a living thing takes in something to perform a process then that something is required for that process; int5 & sent22 -> int6: human is a kind of organism; int4 & int6 -> int7: human cells require energy to perform cellular respiration; int7 & sent5 -> int8: all human cells require energy to perform cellular respiration; int8 & sent2 -> hypothesis;
$proof$ = sent12 & sent8 -> int1: a baby elephant is a kind of living thing; sent3 & sent8 -> int2: an elephant is a kind of living thing; int1 & int2 & sent6 -> int3: cell division causes the baby elephant to grow into adult elephant; sent22 & sent20 -> int4: an elephant is a kind of organism; int4 & sent17 -> int5: cell division causes the baby elephant to grow into adult elephant; int3 & int5 -> int6: cell division causes the baby elephant to grow into adult elephant; int6 & sent12 -> int7: the number of cells in the baby elephant will increase; int7 & sent1 -> int8: the number of cells in the adult elephant will increase; int8 & sent5 -> hypothesis;
$proof$ = sent22 & sent11 -> int1: the parent diploid cell is the original cell; int1 & sent24 -> int2: mitosis produces two diploid cells that are identical to the parent diploid cell; sent12 & sent10 -> int3: mitosis produces cells that are different from the parent diploid cell; int2 & int3 -> hypothesis;
$proof$ = sent6 & sent21 -> int1: a cell nucleus is a part of a cell; int1 & sent11 -> int2: mitosis produces two identical nuclei; int2 & sent4 -> hypothesis;
$proof$ = sent17 & sent12 -> int1: blood vessels are a part of the body; int1 & sent4 -> int2: the heart and blood vessels are a part of the circulatory system; int2 & sent18 -> int3: the heart, blood vessels, kidneys, and bladder are parts of the body; int3 & sent21 -> int4: the heart, blood vessels, kidneys, and bladder are parts of the body that work together; sent16 & sent15 -> int5: a kidney is a kind of organ in an animal; int5 & sent9 -> int6: the heart, blood vessels, kidneys, and the bladder are parts of the body; int4 & int6 -> hypothesis;
$proof$ = sent9 & sent10 -> int1: a plant cell contains chloroplast; int1 & sent4 -> int2: chloroplast can only be found in plant cells; int2 & sent6 -> hypothesis;
$proof$ = sent22 & sent14 -> int1: a cell wall is a part of a plant cell for supporting and protecting the cell membrane; int1 & sent12 -> int2: a cell wall is a part of a plant cell for providing support and protection for the cell membrane; sent21 & sent9 -> int3: a tree is a kind of living thing; int3 & sent1 -> int4: bark is a part of a tree for protecting the bark of a tree; int2 & int4 -> int5: a cell wall has a similar function to the bark of a tree; sent18 & sent24 -> int6: a plant and a tree are both kinds of organisms; int6 & sent23 -> int7: a cell wall and the bark of a tree both have the function of protecting the cell membrane; int5 & int7 -> hypothesis;
$proof$ = sent8 & sent10 -> int1: a human body cell and a somatic cell both contain 46 chromosomes; int1 & sent16 -> hypothesis;
$proof$ = sent16 & sent18 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: a potato is a kind of cell; int1 & sent14 -> int2: vacuoles are found in cells; int2 & sent19 -> int3: vacuoles are the organelles that store water and starch; sent5 & sent22 -> int4: a potato is a kind of food; int4 & sent6 -> int5: a potato cell stores water and starch; int3 & int5 -> int6: vacuoles are the organelles that store water and starch for potato cells; int6 & sent20 -> hypothesis;
$proof$ = sent5 & sent8 -> hypothesis;
$proof$ = sent23 & sent16 -> int1: green plants perform photosynthesis to make food for themselves; sent7 & sent21 -> int2: if something causes a process then that something is required for that process; int2 & sent19 -> int3: photosynthesis requires the conversion of sunlight into carbohydrates; int1 & int3 -> int4: photosynthesis requires the conversion of sunlight into carbohydrates; sent25 & sent6 -> int5: a leaf is a part of a plant used for photosynthesis; int5 & sent1 -> int6: a leaf makes food for the plant by converting carbon dioxide, water, and sunlight into carbohydrates; int4 & int6 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: chlorophyll is a part of a plant used to perform photosynthesis; sent21 & sent9 -> int2: sunlight is a kind of light energy; int1 & int2 -> int3: chlorophyll is used for performing photosynthesis by plants; int3 & sent10 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent7 & sent19 -> int1: an animal needs to eat food for nutrients; int1 & sent9 -> int2: an animal needs to eat food for nutrients; int2 & sent3 -> int3: an animal requires food for healing; sent22 & sent18 -> int4: food is a source of energy for animals; int4 & sent15 -> int5: energy for animals comes from food; int5 & sent10 -> int6: food is a source of energy for animals; int6 & sent10 -> int7: food is a source of energy for animals; int3 & int7 -> hypothesis;
$proof$ = sent4 & sent21 -> int1: food contains nutrients for living things; int1 & sent20 -> int2: a human needs to eat food for nutrients; int2 & sent14 -> int3: an animal needs to eat food for nutrients; int3 & sent6 -> int4: a human needs to eat food for nutrients; sent11 & sent13 -> int5: leafy vegetables are a source of food for animals; int5 & sent5 -> int6: leafy vegetables are a good source of minerals; int4 & int6 -> hypothesis;
$proof$ = sent25 & sent2 -> int1: infection can cause bodily tissues to swell; int1 & sent12 -> int2: the swelling of throat tissues is a kind of condition that can result from infection; sent10 & sent8 -> int3: pathogens can cause disease; int3 & sent23 -> int4: if something causes something else then that something else results from that something; int2 & int4 -> int5: swelling of throat tissues is a kind of condition that can result from infection; int5 & sent12 -> hypothesis;
$proof$ = sent25 & sent20 -> int1: exercise has a positive impact on a human's health; sent15 & sent3 -> int2: human is a kind of organism; int1 & int2 -> int3: exercise has a positive impact on a human's health; sent7 & sent16 -> int4: exercise can help a human maintain good health; sent21 & sent8 -> int5: a human is a kind of living thing; int5 & sent11 -> int6: a human is a kind of living thing; int6 & sent9 -> int7: a human is a kind of living thing; int4 & int7 -> int8: exercise can help a human maintain good health; int8 & sent13 -> int9: exercise can help a human maintain good health; int9 & sent14 -> hypothesis;
$proof$ = sent14 & sent1 -> int1: the tundra is a kind of environment that is usually very cold in temperature; sent8 & sent20 -> int2: an environment is a kind of place; int1 & int2 -> hypothesis;
$proof$ = sent17 & sent5 -> int1: a consumer is a kind of organism; int1 & sent12 -> int2: a consumer is a kind of organism; int2 & sent20 -> int3: in the food chain process an animal has the role of consumer which eats other organisms for food; sent14 & sent2 -> int4: corn is a kind of plant; sent16 & sent7 -> int5: pea is a kind of plant; int5 & sent14 -> int6: corn is a kind of plant; int4 & int6 -> int7: in the food chain process a human has the role of consumer; int3 & int7 -> int8: in the food chain process a human has the role of consumer; int8 & sent25 -> int9: in the food chain process a human has the role of consumer; int9 & sent10 -> hypothesis;
$proof$ = sent10 & sent19 -> int1: carnivores are kinds of animals; int1 & sent2 -> int2: carnivores only eat animals; int2 & sent4 -> int3: an eagle is a kind of carnivore; sent17 & sent11 -> int4: an eagle is a kind of animal; int3 & int4 -> hypothesis;
$proof$ = sent22 & sent12 -> int1: decomposers are kinds of organisms; int1 & sent10 -> int2: a decomposer causes soil to become more organic; int2 & sent2 -> int3: bacteria causes soil to become more fertile by breaking down dead organisms; sent19 & sent9 -> int4: fertile soil is better for the growth of plants; int4 & sent5 -> int5: fertile soil is better for the growth of plants; int3 & int5 -> hypothesis;
$proof$ = sent22 & sent22 -> int1: plants require nutrients in soil to grow; int1 & sent10 -> int2: plants require nutrients in soil to grow; sent4 & sent19 -> int3: farming happens on a farm; int3 & sent24 -> int4: a farmer farms crops; int4 & sent8 -> int5: a farmer farms crops; int5 & sent1 -> int6: nutrients in soil are important to the formation of fertile soil; int2 & int6 -> hypothesis;
$proof$ = sent21 & sent17 -> int1: a rabbit is a kind of animal that lives in meadows; sent8 & sent4 -> int2: a meadow is a kind of environment; int2 & sent19 -> int3: humans changing a meadow causes rabbit populations to decrease in that meadow; sent3 & sent3 -> int4: farmers planting fruit trees in a meadow causes rabbit populations to decrease in that meadow; int1 & int4 -> hypothesis;
$proof$ = sent2 & sent2 -> int1: a robin is a kind of animal; sent3 & sent23 -> int2: a cricket is a kind of animal; int1 & int2 & sent25 -> int3: the robin is the predator and the cricket is the prey; sent1 & sent6 -> int4: a robin and a cricket are kinds of animals; int4 & sent24 -> int5: a robin and a cricket are kinds of animals; int5 & sent15 -> int6: the predatory on the cricket is the prey; int3 & int6 -> hypothesis;
$proof$ = sent10 & sent14 -> int1: earthworms can loosen the soil; int1 & sent15 -> int2: earthworms creating tunnels has a positive impact on the growth of plant roots by loosening the soil; sent25 & sent8 -> int3: roots are a part of a plant for growing; int3 & sent3 -> int4: roots are a part of a plant for growing; int2 & int4 -> int5: loosening the soil has a positive impact on the growth of plant roots; sent12 & sent20 -> int6: plants are a kind of organism; int6 & sent3 -> int7: a plant is a kind of organism; int5 & int7 -> int8: loosening soil has a positive impact on the growth of plant roots; int3 & int8 -> hypothesis;
$proof$ = sent24 & sent19 -> int1: sunlight is a kind of nonliving thing; int1 & sent12 & sent21 -> hypothesis;
$proof$ = sent21 & sent3 -> int1: a frog is a kind of amphibian; sent7 & sent1 -> int2: a frog is a kind of animal; int1 & int2 -> int3: a frog is a kind of amphibian; int3 & sent13 -> int4: a dissecting kit is used to study amphibian anatomy; sent19 & sent12 -> int5: a dissecting kit is used to dissecting; int5 & sent9 -> int6: a dissecting kit is a kind of instrument that can be used to study amphibian anatomy; int4 & int6 -> hypothesis;
$proof$ = sent10 & sent17 -> int1: a petri dish is a kind of tool; int1 & sent19 -> hypothesis;
$proof$ = sent24 & sent8 -> int1: jumping to catch a ball is an example of learning to play with toys; sent13 & sent2 -> int2: a ball is a kind of object; int1 & int2 -> int3: jumping to catch a ball is an example of learning to play with toys; sent23 & sent20 -> int4: an animal is a kind of living thing; int4 & sent15 -> int5: an animal is a kind of learned characteristic; int5 & sent12 -> int6: learned characteristics are the opposite of inherited characteristics; int3 & int6 -> hypothesis;
$proof$ = sent7 & sent12 -> int1: following orders is a kind of learned behavior; int1 & sent8 -> int2: laying down on command is a kind of learned behavior; sent9 & sent21 -> int3: a dog is a kind of living thing; int3 & sent15 -> int4: laying down on command is an example of a dog following order; int2 & int4 -> hypothesis;
$proof$ = sent12 & sent7 -> int1: hunting is when a human kills an animal for food; int1 & sent23 -> int2: hunting is when a human kills an animal for food; sent23 & sent7 -> int3: hunting is when a human kills an animal for food; int2 & int3 -> int4: hunting is when a human kills an animal for food; sent23 & sent11 -> int5: hunting is when a human kills an animal for food; int5 & sent12 -> int6: hunting is a kind of learned characteristics; int6 & sent24 -> int7: learned characteristics are the opposite of instinctive behavior; int4 & int7 -> hypothesis;
$proof$ = sent1 & sent15 -> int1: food preference is a kind of learned characteristics; sent10 & sent20 -> int2: learned characteristics are not inherited from parents; sent5 & sent22 -> int3: a human is a kind of animal; int3 & sent25 -> int4: some characteristics of humans are inherited from parents; int1 & int2 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: offspring inherit inherited characteristics from their parents through dna; int1 & sent16 -> int2: offspring receive genes for inherited characteristics from their parents through sexual reproduction; int2 & sent18 -> int3: inherited characteristics are a kind of hereditary information; int3 & sent20 -> hypothesis;
$proof$ = sent12 & sent6 -> int1: a child is a kind of young human offspring; int1 & sent5 -> int2: children usually inherit inherited characteristics from their parents; int2 & sent7 -> hypothesis;
$proof$ = sent14 & sent13 -> int1: rna and sent18 -> int2: dna are made of nucleotides; int1 & sent25 -> int3: dna is made of two sequences of nucleotides; int3 & sent15 -> int4: thymine can be found in dna; int4 & sent5 -> int5: the researcher found a strand of dna; int5 & sent22 -> hypothesis;
$proof$ = sent13 & sent13 -> int1: some characteristics of animals are inherited; int1 & sent9 -> int2: some inherited characteristics are the opposite of learned characteristics; sent15 & sent1 -> int3: predators eat prey; int3 & sent19 -> int4: predators eat zebras; int2 & int4 & sent14 & sent3 -> int5: lions eating zebras is an example of an inherited characteristic; int5 & sent6 -> hypothesis;
$proof$ = sent23 & sent1 -> int1: iron is a kind of metal; int1 & sent19 -> int2: iron in contact with water and oxygen will rust; int2 & sent12 -> int3: iron rusting is when iron chemically reacts with water and oxygen to rust; sent5 & sent18 -> int4: rusting is a kind of chemical change; int3 & int4 -> hypothesis;
$proof$ = sent6 & sent13 -> int1: baking soda can react chemically with vinegar producing a new substance; sent16 & sent1 -> int2: combining baking soda and vinegar is combining two substance together; int1 & int2 -> int3: combining baking soda and vinegar can cause chemical reactions; int3 & sent20 -> hypothesis;
$proof$ = sent24 & sent12 & sent17 -> int1: water is in solid state; int1 & sent12 & sent19 -> int2: water is in ice state; sent15 & sent24 -> int3: ice is a solid state; int2 & int3 -> int4: water melting is when water changes from a solid state to a liquid state; int4 & sent23 -> int5: water melting is when water changes from a solid state to a liquid state; sent3 & sent11 -> int6: liquid water is a kind of state of matter; int6 & sent21 -> int7: water melting is when water changes from a solid state to a liquid state; int5 & int7 -> int8: water melting is when water changes from a solid state to a liquid state; int8 & sent18 -> int9: ice melting is a kind of physical change; int9 & sent8 -> hypothesis;
$proof$ = sent15 & sent2 -> int1: lemon juice is corrosive; int1 & sent9 -> int2: lemon juice is a acid; sent4 & sent3 -> int3: lemon juice changes the color of litmus paper from blue to red; int3 & sent24 -> int4: lemon juice is an acid; sent20 & sent12 -> int5: lemon juice is a kind of substance; int5 & sent8 -> int6: lemon juice is a kind of color; int4 & int6 -> int7: lemon juice is a kind of acid; int7 & sent25 -> hypothesis;
$proof$ = sent4 & sent8 -> int1: an atom is made of protons and neutrons; int1 & sent17 -> int2: an atom is made of protons and neutrons; sent3 & sent5 -> int3: the nucleus of an atom is surrounded by almost empty space; int3 & sent7 -> int4: the nucleus of an atom is surrounded by electrons; int2 & int4 -> hypothesis;
$proof$ = sent5 & sent24 -> int1: an atom is made of protons, neutrons, and electrons; int1 & sent20 -> int2: the atomic number of an atom is determined by the proton number of the atom; int2 & sent9 -> int3: the atomic number of an atom is determined by the proton number of the atom; int3 & sent22 -> hypothesis;
$proof$ = sent16 & sent7 -> int1: protons and neutrons are found in the nucleus of an atom; int1 & sent21 -> hypothesis;
$proof$ = sent24 & sent3 -> int1: the nucleus of an atom is made of protons and neutrons; int1 & sent23 -> int2: an atom is made of protons and neutrons; int2 & sent19 -> int3: an atom has a positive core; sent16 & sent22 -> int4: the nucleus of an atom is surrounded by almost empty space; int3 & int4 -> int5: the nucleus of an atom is surrounded by almost empty space; int5 & sent25 -> hypothesis;
$proof$ = sent12 & sent2 -> int1: electrons orbit the nucleus of an atom; int1 & sent14 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent20 & sent17 -> int1: particles in a solid are closer than in a liquid; int1 & sent24 & sent2 -> hypothesis;
$proof$ = sent20 & sent3 -> hypothesis;
$proof$ = sent8 & sent21 -> int1: hydrogen and oxygen are two elements; int1 & sent6 -> int2: hydrogen and oxygen are two substances; int2 & sent25 -> int3: water is made of hydrogen and oxygen; int3 & sent9 -> int4: water is made of hydrogen and oxygen chemically combined; sent22 & sent10 -> int5: oxygen combining with hydrogen is an example of two substances chemically combined; int4 & int5 -> int6: hydrogen and oxygen combining with hydrogen will form water; int6 & sent17 -> hypothesis;
$proof$ = sent6 & sent24 -> int1: aluminum is a kind of element; int1 & sent12 -> hypothesis;
$proof$ = sent16 & sent12 -> hypothesis;
$proof$ = sent8 & sent17 -> int1: water is a liquid at room temperature; int1 & sent16 -> int2: water is in the liquid state, called liquid water, for temperatures between 0 and 100 c; sent24 & sent14 -> int3: water vapor is formed by water evaporating; int3 & sent24 -> int4: water vapor is formed by water evaporating; int2 & int4 -> int5: water will be in the gas state when temperature is 120 c; int5 & sent1 -> hypothesis;
$proof$ = sent16 & sent6 -> int1: fire causes a candle to burn; int1 & sent9 -> int2: the lit candle is on fire; int2 & sent8 & sent21 -> int3: the lit candle left out in the open is exposed to oxygen; int3 & sent20 -> int4: the lit candle left out in the open will burn the longest; int4 & sent24 -> hypothesis;
$proof$ = sent3 & sent16 -> int1: the alcohol liquid in the thermometer is heated; int1 & sent8 -> int2: the alcohol liquid in the thermometer is heated; int2 & sent20 -> hypothesis;
$proof$ = sent18 & sent4 -> int1: a balance is an instrument used to measure the mass of an object; int1 & sent7 -> int2: a balance is an instrument used to measure the mass of an object; int2 & sent16 -> int3: a balance is used for measuring the mass of sand; int3 & sent6 -> hypothesis;
$proof$ = sent23 & sent6 -> int1: water is a liquid substance; int1 & sent14 -> int2: water is a solid substance; int2 & sent21 & sent2 -> int3: water is a solid substance in the solid state; int3 & sent9 -> int4: a graduated cylinder can be used to measure the volume of liquid water and solid water; int4 & sent1 -> hypothesis;
$proof$ = sent14 & sent10 -> int1: a graduated cylinder can be used to measure the volume of a liquid; int1 & sent24 -> int2: a graduated cylinder can be used to measure the volume of an object; int2 & sent4 -> int3: a graduated cylinder can be used to measure volume of an object; int3 & sent22 -> hypothesis;
$proof$ = sent10 & sent4 -> int1: an insect is small in size; int1 & sent11 -> int2: to observe an insect requires the use of magnifying glass; int2 & sent23 -> int3: using a magnifying glass can help making seeing the insect easier; sent19 & sent17 -> int4: a hand lens is a kind of magnifying glass; int3 & int4 -> hypothesis;
$proof$ = sent21 & sent3 -> int1: using a magnifying glass can help make seeing a leaf easier; int1 & sent12 -> int2: using a magnifying glass can help make seeing a leaf easier; sent6 & sent2 -> int3: a hand lens is a kind of magnifying glass; int2 & int3 -> hypothesis;
$proof$ = sent14 & sent25 -> int1: a meter can be used to measure the distance from a door; int1 & sent20 -> int2: a meter stick can be used to measure the height of the door; int2 & sent13 -> hypothesis;
$proof$ = sent12 & sent20 -> int1: centimeter is used to measure short length; int1 & sent4 -> int2: centimeter is used to describe the length of an object; int2 & sent25 -> hypothesis;
$proof$ = sent14 & sent3 -> int1: a ramp is a kind of object; int1 & sent20 -> int2: a yard is a kind of object; int2 & sent24 -> int3: yards yd are an imperial unit used for measuring length; sent1 & sent2 -> int4: meter is the metric unit that is most similar to yard; int3 & int4 -> hypothesis;
$proof$ = sent13 & sent12 -> int1: melted marshmallow is a kind of substance; sent8 & sent18 -> int2: rice cereal and marshmallows are kinds of substances; int1 & int2 & sent16 -> int3: a student combined two substances together; int3 & sent7 -> int4: the student made a mixture by combining two substances; int4 & sent2 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: salt and water are two substances; int1 & sent8 -> int2: a salt water solution is made of two substances; int2 & sent11 -> int3: salt water is made of two substances; sent14 & sent22 -> int4: salt water is a kind of substance; int3 & int4 -> int5: salt water is made of two substances; sent19 & sent13 -> int6: in the salt water solution salt water is made of salt and water; int5 & int6 -> int7: salt water is a kind of solution; int7 & sent15 -> int8: salt water is a kind of mixture; int8 & sent6 -> hypothesis;
$proof$ = sent19 & sent24 -> int1: copper and zinc are two metals; int1 & sent4 -> int2: brass is made of at least two metals; int2 & sent12 -> hypothesis;
$proof$ = sent3 & sent25 -> int1: sugar dissolves in water; sent13 & sent10 -> int2: water is the solvent in the sugar water solution; int1 & int2 -> int3: sugar dissolves in water when they are combined; int3 & sent17 -> int4: sugar dissolves in water when they are combined; sent1 & sent21 -> int5: a solution is made of one substance dissolved in another substance; int5 & sent22 & sent4 -> int6: sugar dissolves in water; int4 & int6 -> int7: sugar water is a kind of solution; int7 & sent23 -> int8: sugar water is a mixture; int8 & sent24 -> hypothesis;
$proof$ = sent21 & sent5 -> int1: different solids are combined physically; int1 & sent24 -> hypothesis;
$proof$ = sent2 & sent22 -> int1: oil is a kind of liquid; sent13 & sent24 -> int2: water is a kind of liquid at room temperature; int1 & int2 & sent17 -> int3: less dense particles in water will float on water; int3 & sent16 -> hypothesis;
$proof$ = sent20 & sent25 -> int1: density is an intensive property of substances; int1 & sent5 -> int2: different substances will have different density; int2 & sent1 -> hypothesis;
$proof$ = sent13 & sent4 -> int1: copper is an electrical conductor; sent12 & sent24 -> int2: copper is a kind of material; int1 & int2 -> hypothesis;
$proof$ = sent7 & sent1 & sent15 -> int1: sugar is a pure substance; sent6 & sent3 -> int2: water is a kind of liquid at room temperature; int2 & sent4 -> int3: sugar dissolves in water when they are combined; int1 & int3 -> int4: sugar dissolves in water when they are combined; sent12 & sent12 -> int5: a sugar cube is made of sugar; int4 & int5 -> int6: sugar dissolves in water when they are combined; int6 & sent18 -> hypothesis;
$proof$ = sent16 & sent3 -> int1: a leaf is a part of a plant; sent2 & sent7 -> int2: a leaf is a kind of object; int1 & int2 & sent25 -> int3: leaves are classified by their properties; int3 & sent13 -> hypothesis;
$proof$ = sent1 & sent15 -> int1: mass is a property of objects; int1 & sent16 -> hypothesis;
$proof$ = sent23 & sent17 & sent9 -> int1: the ice melts; int1 & sent4 & sent12 -> int2: the water will change from a solid state to a liquid state; int2 & sent3 -> int3: the mass of the ice will not change; sent5 & sent20 -> int4: ice is a solid state; int3 & int4 -> hypothesis;
$proof$ = sent24 & sent10 -> int1: water is a kind of liquid at room temperature; int1 & sent11 -> int2: water is a kind of liquid water at room temperature; int2 & sent20 -> int3: water is in solid ice; sent12 & sent16 -> int4: hail is water in solid ice; int3 & int4 -> hypothesis;
$proof$ = sent5 & sent15 -> int1: rocks sometimes contain aluminum; sent5 & sent23 -> int2: aluminum is a kind of material; int1 & int2 -> int3: rocks sometimes contain aluminum; int3 & sent6 -> int4: a rock is a solid rock; sent20 & sent3 -> int5: ice is a solid; int5 & sent22 & sent13 -> hypothesis;
$proof$ = sent22 & sent23 -> int1: plants are a kind of organism; int1 & sent4 -> int2: plants are a kind of organism; int2 & sent8 -> int3: plants are a source of spices; sent2 & sent5 -> int4: plants are a source of fibers; sent7 & sent11 -> int5: paper is a kind of material; int4 & int5 -> int6: spices and fibers are kinds of material; int3 & int6 -> hypothesis;
$proof$ = sent10 & sent15 -> int1: a screw is a kind of simple machine; int1 & sent22 -> int2: a screw is a kind of tool; sent22 & sent21 -> int3: a simple machine is a kind of tool; int2 & int3 -> int4: a screw is a kind of tool that is made of a simple machine; int4 & sent12 -> int5: a physicist is the scientist who studies the relationship between simple machines and energy; int5 & sent23 -> hypothesis;
$proof$ = sent19 & sent25 -> int1: an airplane is fast in speed; int1 & sent11 -> int2: an airplane can move people quickly; int2 & sent15 -> hypothesis;
$proof$ = sent7 & sent5 -> int1: a refrigerator is a kind of tool; int1 & sent24 -> int2: if a tool is invented then that tool can be used; int2 & sent6 -> int3: if a tool is invented then that tool can be used; int3 & sent8 -> hypothesis;