$proof$ = sent12 & sent4 & sent10 -> hypothesis;
$proof$ = sent13 & sent1 -> int1: a star is a source of light; int1 & sent21 -> int2: as the distance from the star to earth decreases, the star will appear brighter; int2 -> hypothesis;
$proof$ = sent24 & sent5 -> hypothesis;
$proof$ = sent5 & sent14 -> int1: new york state is located in the northern hemisphere; sent23 & int1 -> int2: decemeber is during the winter for new york state; int2 & sent15 -> hypothesis;
$proof$ = sent8 & sent23 -> int1: earth is a planet that rotates on its tilted axis; int1 & sent12 -> hypothesis;
$proof$ = sent24 & sent7 -> int1: the gardens will receive sunlight; int1 & sent14 & sent25 -> int2: the gardens will receive the most sunlight in summer; sent16 & int2 -> hypothesis;
$proof$ = sent18 & sent24 & sent2 -> hypothesis;
$proof$ = sent18 & sent3 & sent25 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent17 -> hypothesis;
$proof$ = sent16 & sent20 -> int1: the earth is a planet that rotates on its tilted axis once per day; int1 & sent24 -> hypothesis;
$proof$ = sent22 & sent7 -> int1: mercury is a planet in the solar system; sent25 & int1 -> int2: mercury has an orbit around the sun in the solar system; sent20 & int2 -> int3: a complete orbit of mercury around the sun takes an earth year; sent13 & int3 -> hypothesis;
$proof$ = sent9 & sent7 -> int1: the new moon is when the moon could block the earth from the sun; sent2 & int1 -> hypothesis;
$proof$ = sent13 & sent19 -> hypothesis;
$proof$ = sent1 & sent16 -> int1: comet orbits are highly elliptical and occur once per 1000 years; sent14 & int1 -> hypothesis;
$proof$ = sent11 & sent6 -> hypothesis;
$proof$ = sent13 & sent4 -> hypothesis;
$proof$ = sent13 & sent12 -> hypothesis;
$proof$ = sent19 & sent25 -> hypothesis;
$proof$ = sent6 & sent10 -> hypothesis;
$proof$ = sent18 & sent19 & sent24 -> int1: earth is a planet that has a greater mass than the planet mars; sent2 & int1 -> int2: the force of gravity on earth will be greater than on mars; sent11 & sent25 & sent6 -> int3: objects will weigh less on mars than on earth because the force of gravity is less on mars; sent6 & sent2 -> int4: as the mass of a planet increases, the mass of an object on that planet will stay the same; int3 & int4 & int2 -> int5: objects will weigh less on mars than on earth but will have the same mass; sent13 & int5 -> hypothesis;
$proof$ = sent12 & sent25 -> int1: moons orbit jupiter; int1 & sent14 -> int2: a telescope can be used for observing the moons that orbit around jupiter; sent18 & int2 -> hypothesis;
$proof$ = sent20 & sent13 & sent19 -> int1: the next new moon will occur 28 days after june 2; sent22 & int1 -> hypothesis;
$proof$ = sent18 & sent4 -> hypothesis;
$proof$ = sent18 & sent19 -> int1: ocean animals are kinds of water animals living in oceans; int1 & sent10 & sent17 & sent25 -> hypothesis;
$proof$ = sent2 & sent11 & sent18 & sent8 -> hypothesis;
$proof$ = sent23 & sent16 -> int1: marine fossils are fossils of water animals; sent22 & int1 -> int2: fossils of water animals are found in mountains; sent1 & int2 -> int3: the mountains used to be covered by water in the past; int3 & sent7 & sent6 & sent20 -> hypothesis;
$proof$ = sent8 & sent21 -> int1: quartz and feldspar are kinds of minerals; sent10 & int1 -> hypothesis;
$proof$ = sent7 & sent15 -> int1: structural geologists study fossils in rock formations; sent5 & int1 -> int2: structural geologists and paleontologists both study the history of rocks on earth; sent8 & sent12 -> int3: formation of an object is a kind of process; int3 & sent1 -> int4: formation of objects on earth is a kind of process; int4 & sent4 -> int5: rock formation on earth is a kind of process; int2 & int5 -> hypothesis;
$proof$ = sent17 & sent4 -> hypothesis;
$proof$ = sent19 & sent7 -> int1: extremes in value cause sedimentary rock to metamorphose; sent24 & int1 -> int2: exposure to increased pressure changes sedimentary rock into metamorphic rock; int2 & sent25 & sent23 -> hypothesis;
$proof$ = sent20 & sent4 -> int1: a class of something is a kind of property of something; sent24 & int1 -> int2: class is a property of rocks that is sedimentary, metamorphic, or igneous; sent10 & int2 -> int3: rocks can be classified based on how they were formed; int3 & sent6 -> hypothesis;
$proof$ = sent6 & sent12 -> int1: class is a kind of property of something; int1 & sent3 -> int2: class is a property of rocks that includes values of sedimentary, metamorphic, and igneous; sent19 & int2 -> int3: rocks are classified based on how they were formed; sent1 & int3 -> hypothesis;
$proof$ = sent18 & sent13 -> int1: organisms are made of carbon chains with other elements attached to it; int1 & sent24 -> int2: organisms are a source of organic material; int2 & sent7 -> int3: organic material usually contains carbon; sent1 & sent14 -> int4: organic material contains high amounts of carbon; sent19 & int4 & int3 -> hypothesis;
$proof$ = sent24 & sent15 -> int1: sediment is formed by rocks being deposited then buried then cemented together; int1 & sent22 -> int2: sedimentary rocks are formed by rocks being deposited then buried then cemented together; sent4 & sent19 -> int3: sediment is a kind of material that is deposited then buried then cemented together; int3 & int2 -> int4: sedimentary rocks are formed by sediment being deposited then buried then cemented together; int4 & sent3 -> hypothesis;
$proof$ = sent4 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> hypothesis;
$proof$ = sent9 & sent5 -> int1: if producing renewable electric energy requires something then that something may be able to perform that process; sent8 & sent15 -> int2: producing renewable electric energy requires a resource that is renewable; int2 & int1 -> int3: a renewable energy resource may be able to produce renewable electric energy; sent19 & int3 -> int4: geothermal energy is a renewable resource that may be able to produce renewable electric energy; sent18 & int4 -> hypothesis;
$proof$ = sent18 & sent3 -> int1: resources being available has a positive impact on those things that need those resources; int1 & sent11 -> hypothesis;
$proof$ = sent17 & sent11 -> int1: the supply of solar energy does not change over a long period of time; sent9 & int1 -> hypothesis;
$proof$ = sent24 & sent6 -> int1: solar energy is used for heating a building; int1 & sent22 & sent17 -> int2: solar energy is used for heating a home; sent4 & int2 -> hypothesis;
$proof$ = sent8 & sent25 -> int1: soil erosion caused by water will happen; sent6 & sent24 -> int2: planting trees prevents soil erosion; int1 & int2 -> int3: planting trees prevents soil erosion caused by water; sent25 & int3 -> hypothesis;
$proof$ = sent20 & sent5 -> int1: solar energy is a kind of light energy; sent24 & sent17 -> int2: if a photovoltaic cell converts something into something else then that photovoltaic cell uses that something to produce that something else; int2 & sent9 -> int3: a photovoltaic cell uses solar energy to produce electricity; int1 & sent19 -> int4: solar energy is a kind of energy; int4 & int3 -> int5: solar energy is used by photovoltaic cells to produce electricity; sent13 & int5 -> hypothesis;
$proof$ = sent15 & sent1 -> int1: algae can be found in lake; int1 & sent7 -> int2: runoff can affect the algae growth in a lake; sent20 & int2 -> hypothesis;
$proof$ = sent23 & sent2 -> int1: a tadpole is a kind of organism; sent17 & sent19 -> int2: changing the ph of water can cause tadpoles to not be able to survive; int2 & sent24 -> int3: acid rain can cause tadpoles to be unable to survive; sent4 & sent14 -> int4: acid rain may have a negative impact on an organism's survival; int4 & int1 -> int5: acid rain may have a negative impact on a tadpole's survival; int5 & int3 -> hypothesis;
$proof$ = sent23 & sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent12 -> int1: some animals eat fish; sent9 & int1 -> int2: some animals lack food because they eat fish; sent25 & int2 -> int3: some animals starve because they eat fish; sent18 & int3 -> int4: starvation of animals that eat fish can decrease their population; int4 & sent20 -> hypothesis;
$proof$ = sent7 & sent20 -> int1: notebook paper is recyclable; sent16 & int1 -> hypothesis;
$proof$ = sent11 & sent18 -> int1: glass is a kind of material that is recyclable; int1 & sent2 -> int2: glass can be recyled many times; sent7 & int2 -> hypothesis;
$proof$ = sent14 & sent15 -> int1: an earthquake causes the ground of the earth to shake; int1 & sent9 -> int2: an earthquake can change earth's surface in just a few seconds; sent22 & sent25 -> int3: an earthquake can occur in a short amount of time; int3 & int2 -> hypothesis;
$proof$ = sent19 & sent17 & sent5 -> hypothesis;
$proof$ = sent13 & sent6 -> int1: acid weathering rocks is a kind of chemical weathering; sent2 & int1 -> int2: acid weathering rocks is a kind of weathering; sent14 & int2 -> int3: acid weathering rocks can form soil; sent15 & int3 -> hypothesis;
$proof$ = sent24 & sent18 -> int1: the sierra nevada is a mountain range that contains mountains; int1 & sent23 -> int2: the sierra nevada mountains can limit the water vapor reaching them; sent3 & int2 -> hypothesis;
$proof$ = sent4 & sent21 -> hypothesis;
$proof$ = sent21 & sent23 & sent12 -> hypothesis;
$proof$ = sent16 & sent9 -> int1: a canyon is a very deep crack in the ground; sent4 & sent14 -> int2: erosion causes canyons to become deeper and wider; sent11 & int2 -> int3: soil erosion causes canyons to become deeper and wider; int3 & int1 -> int4: soil erosion caused the canyon to become deeper and wider; sent24 & sent12 -> int5: a high amount of sand in soil causes water to drain quickly; int5 & int4 -> int6: the erosion on the canyon caused water to drain quickly; sent25 & int6 -> hypothesis;
$proof$ = sent13 & sent25 -> int1: if water freezes in the crack of the rock, then water will expand in the crack; sent21 & int1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: water freezing means water changes from a liquid into a solid by decreasing heat energy; int1 & sent3 -> int2: water freezing causes ice to form; sent16 & int2 -> hypothesis;
$proof$ = sent10 & sent14 -> hypothesis;
$proof$ = sent2 & sent20 -> hypothesis;
$proof$ = sent17 & sent11 -> hypothesis;
$proof$ = sent24 & sent8 & sent2 -> int1: water absorbing solar energy will increase in temperature; int1 & sent15 -> int2: water absorbing solar energy will increase in heat energy; sent17 & sent2 -> int3: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; sent21 & int2 -> int4: water absorbing solar energy will produce heat; int4 & sent11 -> int5: water absorbing solar energy will cause objects to heat; int3 & int5 -> int6: water absorbing solar energy will cause the evaporation of water; sent6 & int6 -> hypothesis;
$proof$ = sent9 & sent18 -> int1: shivering is a kind of moving; int1 & sent10 & sent12 -> int2: a person shivers when he moves; sent16 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: a hand dryer converts electrical energy into other forms of energy; int1 & sent16 & sent9 -> hypothesis;
$proof$ = sent22 & sent6 -> hypothesis;
$proof$ = sent18 & sent12 -> int1: atoms colliding increases the kinetic energy of the wire; sent4 & int1 -> int2: the atoms colliding with the wire increases the kinetic energy of the wire; int2 & sent16 -> int3: electrical current running through a wire causes the wire to become warm; sent1 & int3 -> hypothesis;
$proof$ = sent23 & sent20 -> hypothesis;
$proof$ = sent9 & sent15 -> int1: mechanical energy can cause a car to move; sent3 & int1 -> hypothesis;
$proof$ = sent22 & sent3 & sent2 -> int1: the block of ice is touching the hot sidewalk; int1 & sent17 -> int2: thermal conduction occurs between the block of ice and the hot sidewalk; int2 & sent9 & sent8 -> int3: the heat energy in the cooler object will increase; sent13 & int3 -> int4: the heat energy in the hot object will increase; int4 & sent1 -> int5: the hot object will be a source of heat; int5 & sent23 -> int6: the hot object will get hot; sent11 & int6 -> int7: the block of ice will get hot; sent24 & int7 -> hypothesis;
$proof$ = sent2 & sent19 & sent24 -> hypothesis;
$proof$ = sent14 & sent23 -> int1: a leaf is a green object; int1 & sent16 -> hypothesis;
$proof$ = sent22 & sent11 -> hypothesis;
$proof$ = sent21 & sent9 -> hypothesis;
$proof$ = sent24 & sent3 -> int1: the person outside can see the person in the dark room; int1 -> hypothesis;
$proof$ = sent25 & sent4 -> hypothesis;
$proof$ = sent21 & sent22 -> int1: refraction is when light bends and is split into lights of different color; int1 & sent8 -> int2: refraction causes something to appear different by splitting light into lights of different color; sent5 & int2 -> hypothesis;
$proof$ = sent21 & sent5 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: a hot boiled egg is a kind of hot object put into a cup of cold water; sent18 & int1 -> int2: a hot boiled egg put into a cup of cold water is a cold object; int2 & sent9 -> int3: the hot water will increase in temperature and the egg will decrease in temperature; sent25 & int3 -> hypothesis;
$proof$ = sent16 & sent15 -> int1: pot is a thermal conductor; int1 & sent22 -> int2: if a pot becomes hot then the pot will become hot; sent23 & int2 -> hypothesis;
$proof$ = sent17 & sent7 -> int1: a burner on a stove generates heat for cooking; int1 & sent13 -> int2: the burner on the stove will be hot in temperature; sent11 & int2 & sent21 -> int3: the frying pan will be hot; int3 & sent23 & sent9 -> hypothesis;
$proof$ = sent20 & sent19 -> int1: compression waves travel through pattern of compressions and rarefactions; sent17 & int1 -> hypothesis;
$proof$ = sent3 & sent24 -> int1: a soccer ball and ground are kinds of objects; sent25 & int1 & sent2 & sent5 -> int2: friction occurs between the soccer ball and the ground; int2 & sent24 & sent7 -> hypothesis;
$proof$ = sent11 & sent21 -> int1: a wheel and a gear are kinds of objects; sent19 & sent13 & int1 -> int2: friction occurs when wheels and gears move against each other surfaces; sent12 & int2 -> int3: as the smoothness of the wheels and gears increases, the friction of the wheels and gears decreasing will decrease; sent24 & int3 -> hypothesis;
$proof$ = sent4 & sent6 & sent25 -> hypothesis;
$proof$ = sent21 & sent13 -> hypothesis;
$proof$ = sent22 & sent2 -> hypothesis;
$proof$ = sent23 & sent10 -> hypothesis;
$proof$ = sent25 & sent13 & sent22 -> int1: the insect did not undergo metamorphosis; sent11 & sent9 -> int2: if something undergoes metamorphosis without going through a certain stage in that metamorphosis process, then that process is incomplete; int2 & int1 -> hypothesis;
$proof$ = sent19 & sent5 -> int1: a wildfire can cause a forest to be hot; sent14 & sent9 -> int2: trees will disperse seeds after a wildfire; int1 & int2 -> hypothesis;
$proof$ = sent3 & sent17 -> int1: if an object is dark then that object is dark; sent20 & sent20 -> int2: if an animal's fur is a color then that animal is that color; int2 & int1 -> int3: an animal with dark fur is dark in color; sent5 & sent10 -> int4: protecting an animal has a postive impact on that animal's survival; int4 & sent12 -> int5: having dark fur has a positive impact on an animal's survival; sent7 & int3 -> int6: an animal with dark fur and forest are the same color; sent23 & sent19 -> int7: an example of camouflage is an animal having the same color as its environment; int7 & int6 -> int8: an example of camouflage is an animal having dark fur in a forest; int8 & int5 -> hypothesis;
$proof$ = sent1 & sent17 -> int1: birds are predators to other animals; sent25 & sent14 -> int2: claws can be used to catch prey by some predators; int2 & int1 -> int3: claws can be used by birds to catch food; int3 -> hypothesis;
$proof$ = sent16 & sent17 -> int1: storing something can have a positive impact on a living thing's survival; sent22 & sent18 -> int2: water has a positive impact on a living thing's survival; int1 & int2 -> int3: storing water has a positive impact on a living thing's survival; sent4 & sent1 -> int4: as dryness increases in an environment, the available water in that environment will decrease; int4 & sent24 -> int5: conserving water can be used for survival in a dry environment by storing water; int3 & int5 -> int6: storing water has a positive impact on a living thing's survival in a dry environment; int6 & sent19 -> hypothesis;
$proof$ = sent23 & sent21 -> int1: a plant requires sunlight to survive; int1 & sent3 -> int2: a plant requires a leaf to survive; int2 & sent6 -> int3: leaf growth occurs at a rate ranging from slow to fast; sent2 & int3 -> int4: fast leaf growth has a negative impact on a plant's survival; int4 & sent16 -> hypothesis;
$proof$ = sent19 & sent20 -> int1: a salamander requires great amounts of water to thrive; sent11 & sent24 -> int2: when it floods, the amount of water in a body of water will increase; sent16 & int1 -> int3: great amounts of water have a positive impact on salamanders; int3 & sent21 -> int4: increasing the amount of water in a body of water has a positive impact on salamanders; sent18 & int4 -> int5: increasing the amount of water in a body of water will increase the population of salamanders; int2 & int5 -> int6: a flood may increase the population of salamanders in an environment; int6 -> hypothesis;
$proof$ = sent4 & sent21 -> int1: hot weather means high temperature; sent1 & sent13 -> int2: decreasing the amount of oxygen required by an organism has a negative impact on that organism's survival; int2 & int1 -> int3: hot weather has a negative impact on the survival of organisms; sent10 & int3 -> hypothesis;
$proof$ = sent23 & sent10 -> int1: a plant requires nutrients in soil to grow; int1 & sent19 -> int2: the type of soil will benefit the plant the most; sent11 & sent2 & sent7 -> int3: plant growth is a kind of process; int3 & int2 -> int4: the type of soil will have the greatest impact on plant growth; sent4 & sent9 -> int5: if something has the greatest impact on plant growth then that something may have the greatest impact on plant growth; int4 & int5 -> hypothesis;
$proof$ = sent25 & sent3 -> int1: skin on frogs and lungs on birds both breathe air; sent13 & sent20 -> int2: an animal requires air for survival / to breathe; int1 & int2 -> int3: skin on frogs and lungs on birds both perform the function of breathing; sent23 & int3 -> int4: the function of skin on frogs and lungs on birds is to breathe; int4 & sent8 -> hypothesis;
$proof$ = sent19 & sent10 -> int1: the circulatory system brings oxygen from the lungs to the rest of the body; sent5 & sent8 -> int2: the respiratory system transports oxygen to the circulatory system; int2 & int1 -> int3: the respiratory system and circulatory system bring oxygen to the body; sent2 & int3 -> int4: the respiratory system and circulatory system both bring oxygen to the body; sent1 & sent2 -> int5: if a part of a system performs a function then that part of the system performs that function through that part; int5 & int4 -> int6: the respiratory system and circulatory system both perform the function of bringing oxygen to the body; sent12 & int6 -> hypothesis;
$proof$ = sent9 & sent19 -> int1: the small intestine digests food; sent8 & sent5 -> int2: an animal absorbs nutrients from food; int1 & int2 -> hypothesis;
$proof$ = sent9 & sent3 -> hypothesis;
$proof$ = sent24 & sent1 -> int1: the kidneys remove waste from the body; sent11 & sent19 -> int2: if an action must be done before a process can be done, then that action helps in the performance of that process; sent9 & int2 -> int3: an action must be done before waste can be eliminated from the body; int3 & int1 -> hypothesis;
$proof$ = sent22 & sent12 -> hypothesis;
$proof$ = sent8 & sent16 -> int1: rheumatoid arthritis is an autoimmune disease; int1 & sent10 -> int2: a disordered immune system causes rheumatoid arthritis; sent18 & int2 -> hypothesis;
$proof$ = sent14 & sent23 -> int1: hollow bones have a positive impact on an animal's ability to fly; sent17 & sent20 -> int2: feathers and wings are used by birds to fly through air; int2 & sent12 -> int3: feathers / wings have a positive impact on birds' ability to fly; int3 & int1 -> int4: hollow bones and feathers / wings have positive impact on birds' ability to fly; sent8 & sent3 -> int5: some birds use flight to avoid predators; sent5 & sent23 -> int6: hollow bones are lighter in weight than other bones; int4 & int5 -> int7: hollow bones and feathers / wings are used by birds for flight; int6 & int7 -> int8: hollow bones and feathers / wings are used for flight by birds; sent4 & sent11 -> int9: an example of an adaptation is something that is used for survival; int8 & int9 -> hypothesis;
$proof$ = sent17 & sent21 -> int1: moving a bone helps that bone move; sent9 & sent7 -> int2: the muscular system helps animals move; int2 & int1 -> int3: the muscular system moves bones to move the bones; sent12 & int3 -> hypothesis;
$proof$ = sent12 & sent4 -> int1: nerve cells carry messages in the body; sent14 & int1 -> int2: nerve cells carry messages from the eyes to the brain; sent6 & int2 -> hypothesis;
$proof$ = sent3 & sent13 -> int1: bone can be used for protection; sent22 & sent8 -> int2: bone can be used to provide support; int2 & int1 -> int3: bone can be used for protection and support; sent9 & int3 -> int4: parts of the skeletal system are used for protection and support; sent23 & int4 -> hypothesis;
$proof$ = sent1 & sent12 -> hypothesis;
$proof$ = sent12 & sent2 -> hypothesis;
$proof$ = sent6 & sent13 -> int1: the baby elephant will become adult elephant; int1 & sent8 -> hypothesis;
$proof$ = sent12 & sent10 -> hypothesis;
$proof$ = sent4 & sent10 -> int1: mitosis produces two identical diploid cells; sent5 & int1 -> hypothesis;
$proof$ = sent21 & sent9 & sent18 -> int1: a heart, blood vessels, kidneys, and bladder are kinds of organs; int1 & sent10 -> int2: the heart, blood vessels, kidneys, and bladder are parts of the body that work together; int2 & sent23 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: chloroplast can be found in plant cells; sent2 & int1 -> hypothesis;
$proof$ = sent13 & sent22 -> int1: the bark of a tree is a kind of protection for trees; sent1 & int1 -> int2: the bark of a tree has a similar function to a cell wall; sent11 & sent14 -> int3: a cell wall provides structure for plant cells; int3 & int2 -> hypothesis;
$proof$ = sent16 & sent3 -> int1: the somatic cells of two multicellular organisms will have the same number of chromosomes; sent13 & int1 -> hypothesis;
$proof$ = sent24 & sent16 -> hypothesis;
$proof$ = sent20 & sent18 -> int1: a potato is made of plant cells; sent22 & int1 -> int2: a potato cell is made of plant cells; sent19 & sent5 -> int3: vacuoles are the organelles that store water and food; int3 & sent14 -> int4: vacuoles are the organelles that store starch; int2 & int4 -> hypothesis;
$proof$ = sent5 & sent1 -> hypothesis;
$proof$ = sent9 & sent11 -> hypothesis;
$proof$ = sent24 & sent6 -> int1: photosynthesis means plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; sent23 & int1 -> int2: photosynthesis is a kind of process in which plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; sent25 & sent3 -> int3: if a plant uses a process to convert something into something else then that something is used for that process; int3 & int2 -> int4: a plant uses sunlight for photosynthesis; sent20 & sent5 -> int5: a plant absorbs sunlight to perform photosynthesis; int4 & int5 -> int6: a plant absorbs sunlight for photosynthesis; sent1 & int6 -> int7: sunlight has the role of raw material in the photosynthesis process; sent15 & int7 -> int8: absorbing sunlight is required for photosynthesis; int8 & sent10 -> int9: absorbing chlorophyll is required for photosynthesis; sent14 & sent4 -> int10: sunlight is a kind of energy; int9 & int10 -> int11: absorbing sunlight with chlorophyll is required for photosynthesis; int11 & sent4 -> int12: absorbing chlorophyll with sunlight is required for photosynthesis; sent25 & sent3 -> int13: if a plant uses a process to convert something into something else, then that something is used for that process; sent6 & sent24 -> int14: photosynthesis means plants convert from carbon dioxide and water and sunlight into carbohydrates and food and oxygen; int13 & int14 -> int15: plants use sunlight for photosynthesis; int12 & int15 -> int16: chlorophyll is used for photosynthesis by absorbing sunlight; int16 & sent4 -> int17: chlorophyll is used for photosynthesis by absorbing light energy; int17 & sent4 -> hypothesis;
$proof$ = sent14 & sent18 -> int1: burying a plant in soil is a kind of process for providing soil to that plant; int1 & sent7 -> int2: burying a plant in soil may occur if the plant is provided with seeds; sent1 & sent12 -> int3: an acorn is a kind of young plant; int3 & int2 -> int4: acorns may sprout when buried in soil; int4 -> hypothesis;
$proof$ = sent24 & sent6 -> int1: an animal requires energy for healing; int1 & sent4 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: minerals can be found in soil; sent20 & int1 -> int2: soil is a source of minerals; sent18 & sent2 -> int3: an animal requires nutrients to maintain good health; int3 & sent14 -> int4: eating healthy foods has a positive impact on an animal's health; int4 & sent24 -> int5: eating healthy foods is important to an animal's health; sent1 & int5 -> int6: eating leafy vegetables is important for a animal's health; int6 & int2 -> hypothesis;
$proof$ = sent2 & sent17 -> int1: infection can cause throat tissues to swell; int1 & sent25 -> int2: the swelling of throat tissues is a kind of condition; sent12 & int2 -> hypothesis;
$proof$ = sent5 & sent16 -> int1: exercise has a positive impact on a human's health; sent7 & int1 -> hypothesis;
$proof$ = sent1 & sent14 -> int1: the tundra is a kind of area; sent21 & int1 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: a seed is a kind of organism; int1 & sent10 -> int2: humans eat organisms; sent20 & sent16 & int2 -> hypothesis;
$proof$ = sent11 & sent7 -> int1: eagles eat animals; sent4 & int1 -> hypothesis;
$proof$ = sent5 & sent21 -> int1: plants and animals are kinds of organisms; sent19 & sent9 -> int2: a decomposer breaks down dead organisms into organic matter and returns them to the soil; int1 & sent4 -> int3: plants and animals are kinds of organisms that are made of organic matter; sent7 & int3 -> int4: plants and animals are a source of nutrients in soil; sent24 & int2 -> int5: a decomposer breaks down organic matter into the things it is made of; int4 & sent15 -> int6: dead plants and animals are a source of nutrients in soil; int5 & sent10 -> int7: as the amount of organic matter in soil increases, the soil will be better for the growth of plants; int7 & int6 -> int8: as the amount of dead plants and animals in soil increases, the soil will be fertile; int8 & sent2 -> int9: fertile soil is better for the growth of plants by increasing the amount of dead plants and animals in soil; sent6 & sent16 -> int10: when something is returned to the soil the amount of that something in the soil increases; int10 & sent8 -> int11: decomposition increases the amount of nutrients in soil; sent20 & int11 -> int12: bacteria increases the amount of nutrients in soil; int9 & int12 -> hypothesis;
$proof$ = sent13 & sent3 -> int1: decomposition is when a decomposer returns nutrients from dead organisms to the soil; sent24 & sent7 -> int2: plants are a source of organic matter; int2 & sent25 -> int3: plants are a source of nutrients in soil; sent6 & sent4 -> int4: fertile soil is high in number of nutrients; int1 & int3 -> int5: decomposition of plants is when a decomposer returns nutrients from plants to the soil; sent10 & int4 -> int6: a plant requires fertile soil for survival / to grow; sent8 & int6 -> int7: fertile soil is important to plants; int5 & int7 -> int8: decomposition of plants is important for the formation of fertile soil; sent24 & sent21 -> int9: a plant is a kind of decomposer; int8 & int9 -> hypothesis;
$proof$ = sent12 & sent19 -> int1: a farmer is a kind of human that plants crops for food; sent25 & sent3 -> int2: humans changing a meadow causes rabbit populations to decrease in that meadow; int1 & sent21 -> int3: a farmer is a kind of human that plants fruit trees; int3 & sent17 -> int4: a farmer plants fruit trees in a meadow; sent7 & int4 -> int5: a farmer plants fruit trees in a meadow where some rabbits live; int5 & int2 -> hypothesis;
$proof$ = sent9 & sent2 -> int1: if an animal eats other animals then the animal will be the predator and the other animal will be the prey; sent3 & int1 & sent25 & sent23 -> hypothesis;
$proof$ = sent14 & sent15 -> int1: earthworms creating tunnels in soil loosens the soil; sent10 & int1 -> hypothesis;
$proof$ = sent13 & sent6 -> int1: sunlight is a kind of nonliving thing; int1 & sent12 & sent18 -> hypothesis;
$proof$ = sent12 & sent19 -> int1: a dissecting kit can be used to study amphibian anatomy; sent9 & int1 -> hypothesis;
$proof$ = sent17 & sent19 -> hypothesis;
$proof$ = sent8 & sent11 -> hypothesis;
$proof$ = sent9 & sent18 -> int1: laying down on command is an example of a dog following order; sent8 & int1 -> hypothesis;
$proof$ = sent12 & sent1 -> int1: hunting is a kind of learned characteristics; sent23 & sent10 -> int2: instinctive behavior is a kind of learned characteristics; int1 & int2 -> hypothesis;
$proof$ = sent20 & sent10 -> int1: learned characteristics are not inherited from parents; sent21 & sent1 -> int2: food preference is a kind of learned characteristics; int1 & int2 -> hypothesis;
$proof$ = sent22 & sent5 -> hypothesis;
$proof$ = sent4 & sent22 -> hypothesis;
$proof$ = sent7 & sent15 & sent5 -> hypothesis;
$proof$ = sent25 & sent3 & sent12 -> int1: if a lion eats another animal then the lion is on the diet of the other animal; sent19 & int1 -> int2: lions eating zebras is an example of an animal eating another animal; sent14 & int2 -> hypothesis;
$proof$ = sent14 & sent20 -> hypothesis;
$proof$ = sent7 & sent16 -> int1: combining baking soda and vinegar is combining two substance together; int1 & sent24 -> int2: combining baking soda and vinegar is combining two substances together; int2 & sent2 -> hypothesis;
$proof$ = sent21 & sent2 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: lemon juice is an acid; sent25 & int1 -> hypothesis;
$proof$ = sent18 & sent17 -> int1: the core of an atom is made of protons and neutrons; sent8 & int1 -> hypothesis;
$proof$ = sent8 & sent22 -> hypothesis;
$proof$ = sent21 & sent14 -> int1: protons and neutrons together will be able to produce atomic mass; int1 & sent16 -> int2: most of the mass of an atom is in the nucleus; sent9 & int2 -> hypothesis;
$proof$ = sent22 & sent9 -> int1: the nucleus of an atom is positve in electric charge; int1 & sent13 & sent15 -> hypothesis;
$proof$ = sent10 & sent14 -> int1: an electron is a kind of negatively charged particle; int1 & sent12 & sent13 -> int2: electrons are the smallest particles in an atom; sent2 & int2 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent2 & sent17 -> hypothesis;
$proof$ = sent15 & sent13 -> int1: a piece of wood contains chemical energy; int1 & sent16 -> hypothesis;
$proof$ = sent25 & sent22 -> hypothesis;
$proof$ = sent11 & sent2 -> hypothesis;
$proof$ = sent13 & sent16 -> hypothesis;
$proof$ = sent1 & sent3 -> hypothesis;
$proof$ = sent21 & sent9 -> int1: a lit candle requires oxygen to burn; sent15 & int1 -> int2: a lit candle left out in the open is exposed to oxygen; int2 & sent7 -> int3: the candle left out in the open is exposed to oxygen; sent5 & int3 -> hypothesis;
$proof$ = sent5 & sent14 -> int1: if a material is heated, then the height of the liquid in that tube will increase; sent20 & int1 & sent16 -> int2: the height of the alcohol liquid in the tube will increase; int2 & sent20 -> int3: the temperature of the alcohol liquid in the tube will increase; int3 & sent16 -> int4: the temperature of the alcohol liquid in the tube will increase; int4 & sent16 -> int5: the temperature of alcohol in the tube will increase; sent20 & int5 -> int6: the temperature of the alcohol in the tube will increase; int6 & sent16 -> int7: the temperature of the alcohol liquid in the tube will increase; int7 & sent16 -> int8: the temperature of the alcohol liquid in the tube will increase; int8 & sent16 -> int9: the temperature of the alcohol liquid in the tube will increase; int9 & sent16 -> int10: the temperature of the alcohol liquid in the tube will increase; int10 & sent16 -> int11: the temperature of the alcohol liquid in the tube will increase; sent16 & int11 & sent5 -> int12: the temperature of the alcohol liquid will increase; int12 & sent16 -> int13: the temperature of the alcohol liquid in the tube will increase; int13 & sent16 -> int14: the temperature of the alcohol liquid in the tube will increase; sent16 & int14 & sent5 -> int15: the temperature of the alcohol liquid in the tube is increased; sent20 & int15 & sent16 -> int16: the temperature of the alcohol liquid in the tube is increasing; sent16 & int16 & int1 -> int17: the height of the alcohol liquid in the tube is increasing; int17 & sent16 -> hypothesis;
$proof$ = sent4 & sent22 & sent15 -> hypothesis;
$proof$ = sent17 & sent10 -> int1: a graduated cylinder can be used to measure the volume of water; sent1 & sent13 & sent9 -> int2: a graduated cylinder can be used to measure the volume of water in ice; int1 & int2 -> hypothesis;
$proof$ = sent24 & sent13 -> hypothesis;
$proof$ = sent19 & sent12 -> int1: seeing an insect is difficult because an insect is small in size; int1 & sent17 -> int2: magnifying glass can be used to see an insect by making it appear bigger; int2 & sent11 -> hypothesis;
$proof$ = sent6 & sent2 -> int1: magnifying glass can be used to see a leaf by making it appear bigger; int1 & sent11 -> hypothesis;
$proof$ = sent13 & sent6 -> int1: the height of a door is a measure of length from the top of the door to the bottom of the door; sent7 & int1 -> hypothesis;
$proof$ = sent6 & sent25 -> hypothesis;
$proof$ = sent2 & sent16 -> hypothesis;
$proof$ = sent8 & sent20 & sent16 -> int1: the student combined two substances together; sent18 & int1 -> hypothesis;
$proof$ = sent17 & sent11 & sent15 -> int1: salt and water are two substances; sent10 & sent21 -> int2: water and salt are two substances; int2 & int1 -> int3: salt water is a mixture; int3 -> hypothesis;
$proof$ = sent12 & sent7 -> int1: copper and zinc are two metals; sent2 & int1 -> int2: brass is made of at least two metals; sent4 & int2 -> hypothesis;
$proof$ = sent19 & sent11 & sent7 -> int1: sugar dissolves in water is an example of one substance dissolving in another substance; sent17 & int1 -> int2: sugar water is a kind of solution; int2 & sent21 -> int3: sugar water is a kind of solvation; int3 & sent3 -> int4: sugar water is a solvent; int4 & sent5 -> int5: sugar water is a part of a solution; int5 & sent24 -> hypothesis;
$proof$ = sent24 & sent3 -> int1: different solids that are combined physically will stay the same; sent11 & int1 -> int2: different solids that are combined will remain a mixture; sent21 & int2 -> hypothesis;
$proof$ = sent5 & sent4 -> hypothesis;
$proof$ = sent21 & sent9 -> hypothesis;
$proof$ = sent24 & sent18 -> int1: copper is a kind of material; sent4 & sent24 -> int2: copper is an electrical conductor; int1 & int2 -> hypothesis;
$proof$ = sent18 & sent25 -> int1: sugar dissolves in water when they are combined; sent12 & int1 -> hypothesis;
$proof$ = sent24 & sent13 & sent20 -> int1: classifying objects by their shape is like classifying people; int1 & sent11 & sent24 -> hypothesis;
$proof$ = sent15 & sent21 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: the ice undergoes a phase change; sent17 & int1 -> hypothesis;
$proof$ = sent3 & sent17 & sent19 -> hypothesis;
$proof$ = sent5 & sent14 -> int1: aluminum is a solid at room temperature; sent20 & sent3 & int1 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: a tree is a source of paper; sent10 & sent15 -> int2: a leaf is a part of a plant; int2 & sent4 -> int3: a plant is a source of flowers; sent12 & sent25 -> int4: plants are a source of spices and fibers; int3 & int1 -> int5: a plant is a source of paper; int4 & int5 & sent11 -> hypothesis;
$proof$ = sent23 & sent12 -> int1: a physicist is the scientist who studies energy; sent6 & sent19 -> int2: simple machines require energy to function; int2 & int1 -> hypothesis;
$proof$ = sent18 & sent1 -> int1: an airplane can move people and products quickly; int1 & sent20 -> hypothesis;
$proof$ = sent8 & sent14 -> hypothesis;