$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 & sent25 -> int2: the gardens will receive the most sunlight in summer; sent16 & sent14 & 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$ = sent6 & sent2 -> int1: as the mass of a planet increases, the mass of an object on that planet will stay the same; int1 & sent18 & sent19 & sent24 -> int2: objects on earth will have the same mass as on mars; int1 & sent18 & sent24 & sent19 -> int3: an object weighs more on earth than on mars; int2 & int3 -> int4: objects will weigh less on mars than on earth but will have the same mass; sent13 & int4 -> 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$ = sent17 & sent25 & sent19 & sent18 -> int1: fossils of ocean animals were found in the grand canyon; int1 & sent18 & sent10 -> 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$ = sent15 & sent4 -> int1: structural geologists study the history of rock formations on earth; sent12 & sent8 -> int2: the process of the formation of something is a kind of process; sent8 & sent12 -> int3: the process of the formation of something is a kindof process; int2 & int3 -> int4: the formation of a rock is a kind of process; int3 & int1 -> int5: structural geologists and paleontologists both study the process of the formation of rocks on earth; sent4 & int4 -> int6: rock formation can be used to study the history and processes of rocks on earth; int6 & 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; sent10 & sent4 -> int2: classifying is when one sorts something by class; int2 & sent6 -> int3: rock classifying is when one sorts something by how the rock was formed; int3 & sent24 & int1 -> 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; int1 & sent3 -> int3: sedimentary rock is in the class of igneous rock; int1 & sent3 -> int4: sedimentary, metamorphic, and igneous are kinds of rocks; sent19 & int2 -> int5: rocks are classified based on how they were formed; int4 & int3 -> int6: sedimentary rock is in the class of igneous rock and metamorphic rock is in the class of sedimentary rock; int6 & int5 & sent1 -> hypothesis;
$proof$ = sent1 & sent14 -> int1: organic material contains high amounts of carbon; sent18 & sent13 -> int2: organisms are made of carbon chains with other elements attached to it; int2 & sent24 -> int3: organisms are a source of organic material; int3 & sent7 -> int4: organic material usually contains carbon; sent19 & int1 & int4 -> hypothesis;
$proof$ = sent4 & sent19 -> int1: sediment is a kind of material that is deposited then buried then cemented together; int1 & sent22 -> int2: sedimentary rocks are formed by sediment being deposited then buried then cemented together; int2 & sent3 -> hypothesis;
$proof$ = sent4 & sent2 -> hypothesis;
$proof$ = sent3 & sent1 -> hypothesis;
$proof$ = sent8 & sent15 -> int1: producing renewable electric energy requires a resource that is renewable; sent9 & sent5 -> int2: if producing renewable electric energy requires something then that something may be able to perform that process; int1 & int2 -> 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$ = sent6 & sent24 -> int1: planting trees prevents soil erosion; sent8 & sent25 -> int2: soil erosion caused by water will happen; int2 & int1 -> int3: planting trees prevents soil erosion caused by water; sent25 & int3 -> hypothesis;
$proof$ = sent24 & sent17 -> int1: if a photovoltaic cell converts something into something else then that photovoltaic cell uses that something to produce that something else; int1 & sent9 -> int2: a photovoltaic cell uses solar energy to produce electricity; sent13 & int2 -> 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$ = sent19 & sent23 & sent17 -> int1: changing the ph of water can cause tadpoles not be able to survive; int1 & sent24 -> 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 & sent1 -> 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$ = sent22 & sent25 -> int1: an earthquake can occur in a short amount of time; sent25 & sent22 -> int2: an earthquake usually occurs in a short period of time; sent25 & sent22 -> int3: an earthquake usually occurs in a short amount of time; sent14 & sent15 -> int4: an earthquake causes the ground of the earth to shake; int1 & sent12 -> int5: an earthquake can occur quickly; int3 & int2 -> int6: an earthquake occurs quickly; sent9 & int4 -> int7: an earthquake can change earth's surface; int6 & int7 & int5 -> 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 & int2 -> int4: lichens breaking down rocks is an example of weathering; int3 & int4 -> 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$ = sent4 & sent14 -> int1: erosion causes canyons to become deeper and wider; sent24 & sent12 -> int2: a high amount of sand in soil causes water to drain quickly; sent16 & sent9 -> int3: a canyon is a very deep crack in the ground; int3 & sent4 -> int4: erosion causes a canyon to become deeper and wider; sent11 & int1 & int4 -> int5: soil erosion causes canyons to become deeper and wider; int5 & int3 -> int6: soil erosion caused the canyon to become deeper and wider; int2 & int6 -> int7: the erosion on the canyon caused water to drain quickly; sent25 & int7 -> 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; sent17 & sent2 -> int2: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int2 & int1 & sent15 -> int3: water absorbing solar energy will cause the evaporation of water; sent6 & int3 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: shivering is a kind of moving; int1 & sent16 -> int2: when an animal shivers, chemical energy is converted to mechanical energy; sent12 & sent10 & 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; int1 & sent4 -> int2: the kinetic energy of a wire is increased when it is moving through the wire; int2 & sent16 -> int3: electrical current running through a wire causes the wire to become warm; 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$ = sent3 & sent24 -> 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; int2 & sent5 -> 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; sent20 & int2 -> int3: transferring heat from the hot egg will cause the cold egg to decrease in temperature; sent25 & int2 -> int4: the hot egg will decrease in heat; sent25 & int3 & sent11 -> int5: transferring heat from the hot egg will cause the cold egg to decrease in heat; int5 & int4 -> 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; int1 & sent13 -> int3: the burner on a stove will be hot in temperature; sent21 & sent11 & sent9 & int2 -> int4: the frying pan will be hot; int4 & 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; sent7 & sent25 & int2 -> 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$ = sent13 & sent22 -> int1: the insect has undergone metamorphosis; sent13 & sent22 -> int2: the insect underwent metamorphosis; sent11 & sent9 & int1 & int2 -> 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$ = sent5 & sent10 -> int1: protecting an animal has a postive impact on that animal's survival; sent20 -> int2: if an animal's fur is a color then that animal is that color; sent23 & sent19 -> int3: an example of camouflage is an animal having the same color as its environment; sent3 & sent17 -> int4: if an object is dark then that object is dark; int1 & sent12 -> int5: having dark fur has a positive impact on an animal's survival; int2 & int4 -> int6: an animal with dark fur is dark in color; sent7 & int6 -> int7: an animal with dark fur and forest are the same color; int3 & int7 -> int8: an example of camouflage is an animal having dark fur in a forest; int8 & int5 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: claws can be used to catch prey by some predators; sent17 & sent1 -> int2: birds are predators to other animals; int2 & int1 -> int3: claws can be used by birds to catch prey; int3 & sent23 -> hypothesis;
$proof$ = sent24 & sent4 -> int1: conserving water can be used for survival in a dry environment by storing water; sent22 & sent18 -> int2: water has a positive impact on a living thing's survival; sent16 & sent17 -> int3: storing something can have a positive impact on a living thing's survival; int3 & int2 -> int4: storing water has a positive impact on a living thing's survival; int4 & int1 -> int5: storing water has a positive impact on a living thing's survival in a dry environment; int5 & 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$ = sent11 & sent24 -> int1: when it floods, the amount of water in a body of water will increase; sent19 & sent20 -> int2: a salamander requires great amounts of water to thrive; sent16 & int2 -> 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; int1 & 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$ = sent11 & sent2 & sent7 -> int1: plant growth is a kind of process; sent4 & sent9 -> int2: if something has the greatest impact on plant growth then that something may have the greatest impact on plant growth; sent23 & sent10 -> int3: a plant requires nutrients in soil to grow; int3 & sent19 -> int4: the type of soil will benefit the plant the most; int1 & int4 -> int5: the type of soil will have the greatest impact on plant growth; int5 & int2 -> hypothesis;
$proof$ = sent25 & sent3 -> int1: skin on frogs and lungs on birds both breath air; int1 & sent23 -> int2: the function of skin on frogs and lungs on birds is to breathe; int2 & sent8 -> hypothesis;
$proof$ = sent19 & sent10 -> int1: the circulatory system brings oxygen from the lungs to the rest of the body; sent1 & sent2 -> int2: if a part of a system performs a function then that part of the system performs that function through that part; sent5 & sent8 -> int3: the respiratory system transports oxygen to the circulatory system; int3 & int1 -> int4: the respiratory system and circulatory system bring oxygen to the body; sent2 & int4 -> int5: the respiratory system and circulatory system both bring oxygen to the body; int2 & int5 -> 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; sent5 & int1 & sent8 -> hypothesis;
$proof$ = sent9 & sent3 -> hypothesis;
$proof$ = sent24 & sent14 -> int1: the kidneys are a vehicle for removing waste from the body; sent24 & sent14 -> int2: the kidneys remove waste from the body; int1 & int2 -> 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$ = sent4 & sent11 -> int1: an example of an adaptation is something that is used for survival; sent14 & sent5 -> int2: hollow bones have a positive impact on an animal's ability to fly; sent5 & sent23 -> int3: hollow bones are lightweight; sent17 & sent20 -> int4: feathers and wings are used by birds to fly through air; int4 & sent12 -> int5: feathers / wings have a positive impact on birds' ability to fly; int5 & int2 -> int6: hollow bones and feathers / wings have positive impact on birds' ability to fly; int3 & int6 -> int7: hollow bones and feathers / wings are used for flight by birds; int7 & int1 -> hypothesis;
$proof$ = sent9 & sent7 -> int1: the muscular system helps animals move; sent21 & sent17 -> int2: moving a bone helps the bone 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$ = sent22 & sent8 -> int1: bone can be used to provide support; sent13 & sent3 -> int2: bone can be used for protection; int1 & int2 -> int3: bone can be used for protection and support; int3 & sent23 -> int4: protection and support are jobs of bones; sent9 & int4 -> hypothesis;
$proof$ = sent1 & sent12 -> hypothesis;
$proof$ = sent12 & sent2 -> hypothesis;
$proof$ = sent6 & sent25 & 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; sent10 & sent4 -> int2: mitosis produces two diploid cells that are identical to each other; int1 & sent5 -> int3: mitosis produces two identical cell nuclei; int3 & int2 -> 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$ = sent11 & sent14 -> int1: a cell wall has a similar function to providing structure for a plant cell; sent13 & sent22 -> int2: the bark of a tree is a kind of protection for trees; sent1 & int2 -> int3: the bark of a tree is a kind of function; sent1 & int2 -> int4: the bark of a tree has a similar function; int3 & int4 & int1 -> 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$ = sent19 & sent5 -> int1: vacuoles are the organelles that store water and food; sent20 & sent18 -> int2: a potato is made of plant cells; int1 & sent14 -> int3: vacuoles are the organelles that store starch; sent22 & int2 -> int4: a potato cell is made of plant cells; int4 & int3 -> hypothesis;
$proof$ = sent5 & sent1 -> hypothesis;
$proof$ = sent9 & sent11 -> hypothesis;
$proof$ = sent14 & sent4 -> int1: sunlight is a kind of light energy; sent15 & sent1 -> int2: absorbing sunlight is required for photosynthesis; sent20 & sent5 -> int3: a plant absorbs sunlight to perform photosynthesis; sent24 & sent6 -> int4: photosynthesis means plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; sent6 & sent24 -> int5: photosynthesis means plants convert from carbon dioxide and water and sunlight into carbohydrates and food and oxygen; sent25 & sent3 -> int6: if a plant uses a process to convert something into something else then that something is used for that process; sent25 & sent3 -> int7: if a plant uses a process to convert something into something else, then that something is used for that process; int2 & sent10 -> int8: absorbing chlorophyll is required for photosynthesis; sent23 & int4 -> int9: photosynthesis is a kind of process in which plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; int7 & int5 -> int10: plants use sunlight for photosynthesis; int6 & int9 -> int11: a plant uses sunlight for photosynthesis; int11 & int3 -> int12: a plant absorbs sunlight for photosynthesis; int12 & int10 -> int13: plants absorb sunlight for photosynthesis; int13 & int8 -> int14: chlorophyll is used for absorbing sunlight; int13 & int8 -> int15: chlorophyll is used for absorbing sunlight by plants; int14 & int1 & int15 -> hypothesis;
$proof$ = sent18 & sent14 -> int1: burying a plant in soil is a kind of process for providing soil to that plant; sent1 & sent12 -> int2: an acorn is a kind of young plant; int1 & sent7 -> int3: burying a plant in soil may occur if the plant is provided with seeds; int2 & int3 -> int4: acorns may sprout when buried in soil; int4 -> hypothesis;
$proof$ = sent24 & sent6 -> int1: an animal requires energy for healing; sent24 & sent6 -> int2: an animal requires energy to heal; sent5 & sent21 -> int3: taking in food is a source of energy; int1 & int2 -> int4: energy for healing is required for animals; sent4 & int3 -> int5: energy comes from food; int4 & int3 -> int6: energy for healing requires food; int6 & int5 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: minerals can be found in soil; sent18 & sent2 -> int2: an animal requires nutrients to maintain good health; sent20 & int1 -> int3: soil is a source of minerals; int2 & 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 & int3 -> hypothesis;
$proof$ = sent25 & sent2 & sent17 -> 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$ = sent6 & sent16 -> int1: when something is returned to the soil the amount of that something in the soil increases; sent19 & sent9 -> int2: a decomposer breaks down dead organisms into organic matter and returns them to the soil; sent5 & sent21 -> int3: plants and animals are kinds of organisms; int1 & sent8 -> int4: decomposition increases the amount of nutrients in soil; sent24 & int2 -> int5: a decomposer breaks down organic matter into the things it is made of; int3 & sent4 -> int6: plants and animals are kinds of organisms that are made of organic matter; sent20 & int4 -> int7: bacteria increases the amount of nutrients in soil; int5 & sent10 -> int8: as the amount of organic matter in soil increases, the soil will be better for the growth of plants; sent7 & int6 -> int9: plants and animals are a source of nutrients in soil; int9 & sent15 -> int10: dead plants and animals are a source of nutrients in soil; int8 & int10 -> int11: as the amount of dead plants and animals in soil increases, the soil will be fertile; int11 & sent2 -> int12: fertile soil is better for the growth of plants by increasing the amount of dead plants and animals in soil; int12 & int7 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: fertile soil is high in number of nutrients; sent24 & sent21 -> int2: plants are a source of organic matter; sent13 & sent3 -> int3: decomposition is when a decomposer returns nutrients from dead organisms to the soil; sent10 & int1 -> int4: a plant requires fertile soil for survival / to grow; int2 & sent25 -> int5: plants are a source of nutrients in soil; sent8 & int4 -> int6: fertile soil is important to plants; int3 & int5 -> int7: decomposition of plants is when a decomposer returns nutrients from plants to the soil; int4 & int7 -> int8: fertile soil requires decomposition; int4 & int7 -> int9: fertile soil requires plant decomposition; int8 & int9 -> int10: plant decomposition is required for the formation of fertile soil; int6 & int10 -> hypothesis;
$proof$ = sent25 & sent3 -> int1: humans changing a meadow causes rabbit populations to decrease in that meadow; sent12 & sent19 -> int2: a farmer is a kind of human that plants crops for food; int2 & 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 & int1 -> 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$ = sent19 & sent2 -> int1: offspring will have similar characteristics to parents; int1 & sent4 -> hypothesis;
$proof$ = sent7 & sent15 & sent5 -> hypothesis;
$proof$ = sent3 & sent19 & sent12 -> int1: lions eat zebras; sent25 & int1 -> int2: the lions eating the zebras is on the other animal's diet; sent14 & int2 -> hypothesis;
$proof$ = sent14 & sent20 -> hypothesis;
$proof$ = sent7 & sent16 -> int1: combining baking soda and vinegar is combining two substances together; sent2 & sent24 & int1 -> 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; int1 & sent8 -> 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; int2 -> hypothesis;
$proof$ = sent16 & sent22 -> int1: protons and neutrons together will be positive in electric charge; sent9 & int1 -> int2: the nucleus of an atom is positve in electric charge; int2 & sent13 & sent15 -> hypothesis;
$proof$ = sent10 & sent14 -> int1: an electron is a kind of negatively charged particle; int1 & sent12 & sent2 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent2 & sent17 -> hypothesis;
$proof$ = sent15 & sent13 -> int1: a piece of wood contains chemical energy; sent13 & sent15 -> int2: wood contains chemical energy; int1 & int2 & sent16 -> hypothesis;
$proof$ = sent25 & sent22 -> hypothesis;
$proof$ = sent11 & sent2 -> hypothesis;
$proof$ = sent13 & sent16 -> hypothesis;
$proof$ = sent7 & sent3 & sent1 -> 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; int3 & sent5 -> 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 & sent16 & sent20 -> hypothesis;
$proof$ = sent4 & sent22 & sent15 -> hypothesis;
$proof$ = sent17 & sent10 -> int1: a graduated cylinder can be used to measure the volume of water; sent9 & int1 -> int2: a graduated cylinder can be used to measure the volume of solid water; sent13 & sent1 & 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$ = sent16 & sent2 -> hypothesis;
$proof$ = sent16 & sent20 & sent8 -> int1: the student combined two substances together; sent18 & int1 -> hypothesis;
$proof$ = sent10 & sent21 -> int1: water and salt are two substances; sent17 & sent11 & sent15 -> int2: salt and water are two substances; int1 & int2 -> 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$ = sent4 & sent5 -> hypothesis;
$proof$ = sent21 & sent9 -> hypothesis;
$proof$ = sent4 & sent24 -> int1: copper is an electrical conductor; sent24 & sent18 -> int2: copper is a kind of material; int2 & int1 -> 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 & sent1 -> 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$ = sent10 & sent15 -> int1: a leaf is a part of a plant; sent5 & sent3 -> int2: a tree is a source of paper; sent12 & sent25 -> int3: plants are a source of spices and fibers; int1 & sent4 -> int4: a plant is a source of flowers; int4 & int2 -> int5: a plant is a source of paper; int3 & int5 & sent11 -> hypothesis;
$proof$ = sent6 -> int1: a simple machine requires energy to function; sent23 & sent12 -> int2: a physicist is the scientist who studies energy; sent23 & sent12 -> int3: a physicist is the scientist who study energy; int1 & int3 & int2 -> hypothesis;
$proof$ = sent18 & sent1 -> int1: an airplane can move people and products quickly; int1 & sent20 -> hypothesis;
$proof$ = sent8 & sent14 -> hypothesis;