$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: a star is a source of light; sent4 & sent2 -> int2: stars are a source of light; int1 & int2 -> int3: the stars are a source of light; int3 & sent1 -> int4: as the distance of the stars to earth decreases, the stars will appear brighter; sent3 & int4 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: new york state is located in the northern hemisphere; int1 & sent2 -> int2: new york state has the least sunlight during decemeber; sent4 & int2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: earth is a planet that rotates on its tilted axis; sent4 & int1 -> int2: earth rotating on its tilted axis causes the circular movement of earth around its center; int2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the gardens contain plants that are located outside; sent2 & int1 -> int2: the plants in the gardens will receive sunlight; sent2 & int1 -> int3: the plants in the gardens will receive sunlight when they are outside; sent4 & int3 -> int4: the plants in the gardens require sunlight to grow; int2 & int4 & sent5 -> int5: the plants in the gardens will receive the most sunlight in summer to grow; int5 & sent5 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 & sent4 -> int1: earth revolving the sun is an example of a planet revolving around its star; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the earth is a planet that rotates on its tilted axis once per day; int1 & sent3 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: mercury is a planet in the solar system; int1 & sent3 -> int2: mercury & other planets in the solar system orbit the sun; int2 & sent5 -> int3: a complete orbit of mercury around the sun takes an earth day; int3 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the new moon is when the moon could block the earth from the sun; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: comet orbits are elliptical and occur once per 1000 years; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent8 & sent4 -> int1: earth is a planet that has a greater mass than the planet mars; sent6 & int1 -> int2: the force of gravity on earth will be greater than on mars; int2 & sent5 -> int3: objects will weigh less on mars than on earth because the force of gravity is less on mars; sent3 & sent7 & int2 -> int4: objects will have the same mass on earth and on mars; int4 & int3 -> int5: objects will weigh less on mars than on earth but will have the same mass; sent2 & int5 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: moons orbit around jupiter; int1 & sent1 & sent4 -> hypothesis;
$proof$ = sent1 & sent3 & sent4 -> int1: the next new moon will occur 28 days after june 2; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> int1: the grand canyon used to be covered by water in the past; int1 & sent5 & sent3 -> hypothesis;
$proof$ = INVALID_PROOF;
$proof$ = sent6 & sent1 -> int1: marine fossils are fossils of water animals; int1 & sent7 -> int2: fossils of water animals are found in mountains; sent2 & int2 -> int3: the mountains used to be covered by water in the past; int3 & sent4 & sent5 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent5 & sent2 & sent4 -> int1: structural geologists and paleontologists both study the history of rock formations on earth; sent1 & sent4 & sent5 -> int2: structural geologists and paleontologists both study rock formations; int2 & int1 -> int3: structural geologists and paleontologists both study the history of earth; int1 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: exposure to increased pressure causes the value of something to become higher; int1 & sent1 -> int2: exposure to increased pressure metamorphoses sedimentary rock into metamorphic rock; sent3 & int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: rocks can be classified based on how they were formed; sent1 & sent3 -> int2: sedimentary, metamorphic, or igneous are types of rocks; int2 & sent4 -> int3: rocks can be classified as sedimentary, metamorphic, or igneous; int2 & int1 & int3 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: rocks are classified based on how they are formed; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: organisms are a source of organic material; sent5 & sent7 -> int2: if something is formed from organic material then that something contains organic material; sent4 & sent7 -> int3: if something contains organic material then that something contains organic material; sent1 & int1 -> int4: organic compounds are mainly made of carbon; int3 & int2 -> int5: a sedimentary deposit formed from organic material contains high amounts of organic material; sent8 & int4 -> int6: organic compounds contain high amounts of carbon; int6 & int5 -> int7: a sedimentary deposit formed from organic material contains high amounts of carbon; int7 & sent9 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: sediment is formed by sediment weathering; sent3 & sent6 -> int2: sediment is formed by sediment being weathered; sent9 & sent8 -> int3: weathering causes deposition; int2 & int3 -> int4: sediment is formed by sediment being weathered and deposited; int1 & int4 -> int5: sedimentary rocks are formed by sediment being weathered and deposited; sent4 & int5 -> int6: sedimentary rocks are formed by sediments being deposited then buried then cemented together; sent1 & int6 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: to increase something in the atmosphere means to add that something to the atmosphere; sent1 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent5 -> int1: if producing renewable electric energy requires something that that something may be able to perform that process; int1 & sent1 -> int2: renewable resources may be able to produce renewable electric energy; sent4 & int2 -> int3: geothermal energy may be able to produce renewable electric energy; int3 & sent2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: resources being available has a positive impact on the things that need them; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: a time period of billions of years is considered very long; sent4 & sent1 -> int2: the supply of solar energy does not change over a long period of time; int1 & int2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: energy is used for heating a home; int1 & sent2 & sent4 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: soil erosion caused by water will move soil from fields / environments; sent7 & sent1 -> int2: roots are a part of a plant used for anchoring soil; int2 & sent6 -> int3: roots help prevent soil erosion by anchoring soil; sent3 & int3 -> int4: roots prevent soil erosion by anchoring soil; int1 & int4 -> int5: roots help prevent soil from washing away; sent2 & int5 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: solar energy is a kind of light energy; sent3 & sent5 -> int2: if photovoltaic cells convert something into something else then that photovoltaic cell uses that something to produce that something else; sent1 & int1 -> int3: photovoltaic cells convert solar energy into electricity; int3 & int2 -> int4: photovoltaic cells use solar energy to produce electricity; int4 & sent6 -> hypothesis;
$proof$ = sent2 & sent7 -> int1: the contents of a lake mean the things that lake contains; sent7 & sent4 -> int2: fertilizers have a positive impact on algae growth in lakes; sent7 & sent8 -> int3: algae can be found in lake; sent1 & sent9 -> int4: if runoff enters a lake then the contents of that runoff will enter that lake; sent7 & int3 -> int5: algae can grow in lake; int4 & sent5 -> int6: runoff entering a lake will cause the contents of that lake to enter that lake; int2 & int5 -> int7: runoff entering a lake has a positive impact on algae growth in lakes; int1 & int6 -> int8: runoff entering a lake causes the contents of that lake to enter that lake; sent6 & int8 -> int9: runoff entering a lake causes algae to grow in that lake; int9 & int7 -> int10: runoff entering a lake causes algae to grow in it; int10 & sent3 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: if something has a negative impact on the survival of an animal then that animal may be unable to survive; sent1 & sent8 -> int2: acid rain has a negative impact on the water quality of a body of water; sent7 & int1 -> int3: if something has a negative impact on the survival of a tadpole then that tadpole may be unable to survive; sent1 & int2 -> int4: acid rain can have a negative impact on the health of a body of water; sent2 & int4 -> int5: acid rain can change the ph of water; sent4 & int5 -> int6: acid rain can cause animals that live in water not be able to survive; sent9 & int6 -> int7: acid rain can cause tadpoles that live in water not to survive; int7 & int3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: many automobiles emit pollution into the air; sent1 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: if the amount of fish an animal eats decreases then that animal will lack food; sent7 & sent4 -> int2: decreasing in population can cause the population of an animal to be low; sent8 & sent5 -> int3: starvation can decrease animal populations; sent3 & int1 -> int4: too much fishing causes the fish population to decrease; sent6 & int3 -> int5: starvation caused by lack of food can cause animal populations to decrease; sent9 & int4 -> int6: overfishing can cause fish to be a kind of animal that has a low population; int5 & int2 -> int7: starvation of animals that eat fish can cause those animals to be low in population; int6 & int7 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: notebook paper is a kind of recyclable paper; int1 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: glass is a kind of recyclable material; int1 & sent3 -> int2: glass bottles are made of a recyclable material; int2 & sent4 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: an earthquake happens over a period of 10 to 30 seconds; int1 & sent2 -> int2: an earthquake happens over a short amount of time; sent4 & int2 -> int3: an earthquake can change earth's surface quickly; int3 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: acid weathering rocks is a kind of chemical weathering; int1 & sent2 -> int2: acid weathering rocks is a kind of weathering; int2 & sent5 -> int3: acid weathering rocks can form soil; int3 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: sierra nevada is a mountain range containing mountains; sent4 & int1 -> int2: sierra nevada mountains can limit the water vapor reaching a location; int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: landslides can move rocks downhill from a mountain; sent2 & int1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: pouring water onto soil causes soil to wash away; sent3 & sent1 -> int2: pouring water onto soil causes soil erosion; int1 & int2 -> int3: pouring water onto soil is similar to erosion on the soil; sent2 & int2 -> int4: pouring water onto soil causes canyons to form; int3 & int4 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: if water freezes in the crack of the rock, then water will expand in the crack; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: water freezing means water changes from a liquid into a solid by decreasing heat energy; sent1 & sent3 & sent4 -> int2: ice forms when water freezes; int1 & int2 -> int3: ice formed by water freezing causes ice to form; int3 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; sent3 & sent6 & sent2 -> int2: water absorbing solar energy will increase in temperature; int2 & sent4 -> int3: water absorbing solar energy will increase in heat energy; int3 & int1 -> int4: water absorbing solar energy will cause the evaporation of water; int4 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: shivering is a kind of movement; sent5 & sent2 -> int2: when a person moves, chemical energy is converted to mechanical energy; sent4 & int1 -> int3: when a person shivers, it is a kind of movement; int3 & int2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: a hand dryer converts electrical energy into other forms of energy; int1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: atoms colliding increases the kinetic energy of the wire; sent8 & sent1 -> int2: warmth is a measure of heat; sent3 & sent9 -> int3: to increase the temperature of an object requires increasing the kinetic energy of that object; int1 & sent7 -> int4: if a wire moves through something else then that wire will collide with that something else; int2 & int3 -> int5: to increase the temperature of an object requires increasing its kinetic energy; sent2 & int4 -> int6: if a wire flows through something else then that wire will collide with that something else; int6 & sent4 -> int7: electrical current running through a wire causes the wire to collide with the other wire; int7 & sent10 -> int8: electrical current running through a wire causes the wire to become warm; int5 & int8 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> hypothesis;
$proof$ = sent8 & sent3 & sent7 -> int1: the block of ice is touching the sidewalk; int1 & sent5 & sent1 & sent2 -> int2: the block of ice will cause thermal conduction; sent4 & int2 -> int3: the heat energy of the block of ice will increase; sent6 & int3 -> int4: the block of ice will increase in heat energy; sent9 & int4 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a blue block is a blue object; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a leaf is a green object; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: when light shines on a bicycle's reflector, light will reflect off of the bicycle; sent2 & sent1 -> int2: when light shines on a bicycle's reflector, light is reflected by the bicycle; int1 & int2 -> int3: the light that is reflected by the bicycle will be reflected by the reflector; int1 & int2 -> int4: when light shines on a bicycle's reflector, the light is reflected by the bike; sent3 & int3 & int4 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: someone looking at an image in a mirror is an example of light being reflected by a mirror; sent1 & int1 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: when a cooler object touches a warmer object, thermal conduction occurs; sent2 & sent3 -> int2: when a cooler object touches a warmer object, the heat is transferred to the cold object; int2 & int1 -> int3: the heat is transferred from the hot boiled egg to the cold water; sent7 & sent4 & int3 -> int4: the hot boiled egg will decrease in temperature; sent7 & sent6 & int3 -> int5: the hot boiled egg will transfer heat to the cold water; sent5 & int5 & sent7 -> int6: the hot boiled egg will increase in temperature and the cold water will decrease in temperature; int4 & int6 & int5 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: if a thermal conductor is exposed to a stove then that conductor may become hot; sent3 & sent2 -> int2: a stove generates heat for holding an object; sent5 & sent2 -> int3: a source of heat generates heat for cooking; sent6 & sent4 -> int4: a pot is a thermal conductor; int2 & int3 -> int5: a source of heat generates heat for holding an object; int4 & sent1 -> int6: if a pot is exposed to a source of heat, then the pot may become hot; int1 & int6 -> int7: if a pot becomes hot, then the handle of the pot will become hot; int5 & int7 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: a stove generates heat for cooking; int1 & sent6 -> int2: a stove produces heat for cooking; int2 & sent8 & sent1 -> int3: the frying pan is exposed to a heat source; sent9 & int3 & sent7 -> int4: the frying pan is room temperature when it is not exposed to a heat source; sent3 & sent7 & int4 & sent8 -> int5: the heat flows from the warmer object to the cooler object; int5 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: compression waves travel through pattern of compressions and rarefactions; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: a soccer ball and ground are kinds of objects; sent1 & sent3 & int1 -> int2: friction occurs between the soccer ball and the ground; int2 & sent4 & sent5 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: grease is used to decrease the friction of objects; sent5 & sent6 & sent4 -> int2: wheels and gears are kinds of objects that move against each other; int2 & sent3 -> int3: friction occurs between the wheels and gears; sent3 & int2 -> int4: friction occurs when wheels and gears move against each other; sent3 & int2 -> int5: friction occurs between wheels and gears; int2 & sent3 -> int6: friction occurs on the wheels and gears moving on other surfaces; int4 & int5 & int3 -> int7: friction occurs between the wheels and gears when they are moving; int6 & int7 & int1 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: if a plant is a kind of organism that is made up of cells that contain a nucleus, chloroplasts, and a cell wall; sent7 & sent1 -> int2: a cell nucleus is a part of a plant cell; int2 & sent2 & sent8 -> int3: a plant cell contains a structure called cell wall; sent5 & int3 -> int4: plants are made up of plant cells that contain a nucleus, chloroplasts, and a cell wall; int1 & int4 -> int5: plants are a kind of organism that is made up of plant cells; sent4 & int5 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: an insect undergoes the pupa stage in the metamorphosis process; sent4 & sent2 -> int2: if something undergoes metamorphosis without going through a certain stage in the process, then the metamorphosis process was incomplete; sent5 & sent6 -> int3: an insect undergoes metamorphosis; sent2 & int3 & int1 -> int4: the insect has undergone an incomplete metamorphosis; int2 & int4 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: a wildfire can cause a forest to catch fire; sent9 & sent1 -> int2: the cones of a jack pine tree are sealed with a resin that prevents seed dispersal; sent10 & sent5 -> int3: removing resin from something else is a kind of method for removing that something from that something else; sent2 & int1 -> int4: a wildfire can be used to produce heat; sent3 & int3 -> int5: removing resin from something else causes that something to be able to do that something else; int4 & sent8 -> int6: burning trees is a kind of action for wildfires; int5 & int2 -> int7: a jack pine tree will remove resin from its cones after a wildfire; int6 & sent7 -> int8: dispersing seeds is a kind of action for wildfires; int8 & int7 -> hypothesis;
$proof$ = sent5 & sent6 -> int1: a bear is a kind of animal that has dark fur; sent9 & sent8 -> int2: protecting an animal has a postive impact on that animal's survival; sent10 & sent4 -> int3: an example of camouflage is an animal having the same color as its environment; int2 & sent11 -> int4: hiding has a positive impact on an animal's survival; int3 & int1 -> int5: an example of camouflage is an animal having dark fur; sent1 & int4 -> int6: camouflage has a positive impact on an animal's survival; int5 & int6 -> int7: having dark fur has a positive impact on an animal's survival; sent7 & int7 -> int8: an animal's fur is dark in color; sent2 & int8 -> int9: dark forests have dark fur; sent3 & int9 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: birds sometimes eat other animals for food; int1 & sent3 -> int2: birds use prey as food for themselves; int2 & sent4 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: water has a positive impact on living things; sent6 & sent2 -> int2: as dryness in an environment increases, the available water in that environment will decrease; int1 & sent7 -> int3: increasing the availability of water can have a positive impact on a living thing's survival; sent1 & int3 -> int4: storing water is a kind of method for increasing the availability of water; int2 & int4 -> int5: storing water is a kind of adaptation to a dry environment; int5 & sent3 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: as a plant grows, the size of the leaves of that plant will increase; sent3 & sent6 -> int2: faster is the opposite of slow; sent7 & sent5 -> int3: a plant absorbs sunlight with its leaves to survive; sent8 & int2 -> int4: slow leaf growth has a negative impact on that plant's survival; int1 & int3 -> int5: a plant requires sunlight to survive; int5 & int4 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: when the amount of water in a body of water increases, the water levels of that body of water will increase; sent5 & sent1 -> int2: a salamander requires great amounts of water to thrive; sent6 & int1 -> int3: when the amount of water in an environment increases, the water levels of that environment may increase; sent3 & int3 -> int4: as the available water in an environment increases, the populations of organisms in that environment may increase; int2 & int4 -> hypothesis;
$proof$ = sent7 & sent12 -> int1: some fish live in water; sent13 & sent6 -> int2: the decrease of something required by a fish has a negative impact on that fish's survival; sent4 & int1 -> int3: water is a kind of substance that contains dissolved oxygen; int2 & sent9 -> int4: a decrease of oxygen has a negative impact on a fish's survival; sent5 & int3 -> int5: warm water and cold water both contain less dissolved oxygen than warm water; sent2 & int4 -> int6: a decrease of oxygen has a negative impact on fish's survival; int5 & sent3 -> int7: cold water and warm water both have the same property of containing more / less dissolved oxygen than warm water; sent8 & int7 -> int8: cold water and warm water have the same temperature property; int8 & sent1 -> int9: hot water increases the temperature of the water in a given environment; int9 & sent11 -> int10: hot water increases the temperature of a given environment; sent10 & int10 -> int11: hot weather increases the temperature of a given environment; sent14 & int11 -> int12: hot weather has a positive impact on the survival of fish; int6 & int12 -> hypothesis;
$proof$ = sent3 & sent8 -> int1: a plant requires nutrients in soil to grow; sent13 & sent4 -> int2: soil has a high number of nutrients; sent12 & sent9 & sent14 -> int3: sandy soil holds less water than heavy soil; sent11 & sent15 -> int4: growth is when a plant grows; sent10 & int1 -> int5: a plant requires water from soil to grow; sent1 & int3 -> int6: the type of soil determines the amount of water in that soil; sent5 & int4 -> int7: plant growth is a kind of process; sent7 & int5 -> int8: nutrients in soil have a positive impact on plant growth; sent2 & int6 -> int9: the type of soil determines how much water a plant can absorb from that soil; sent6 & int7 -> int10: if something impacts multiple parts of plant growth then that something may have the greatest impact on plant growth; int2 & int8 -> int11: high numbers of nutrients in soil have a positive impact on plant growth; int11 & int10 -> int12: nutrients in soil may have the greatest impact on plant growth; int12 & int9 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: skin on frogs and lungs on birds both breathe air; int1 & sent4 -> int2: the function of skin on frogs and the function of lungs on birds are similar; sent1 & int2 -> hypothesis;
$proof$ = sent4 & sent7 -> int1: the respiratory system transports oxygen to the circulatory system; sent1 & sent9 -> int2: the circulatory system brings oxygen from the lungs to the rest of the body; sent10 & sent2 -> int3: the respiratory system is used for breathing oxygen; sent8 & int1 -> int4: the respiratory system brings oxygen to the circulatory system; int3 & int2 -> int5: the respiratory system brings oxygen to the body; int4 & int2 -> int6: the respiratory system and circulatory system bring oxygen to the body; int5 & int4 -> int7: the respiratory system and circulatory system both bring oxygen to the body; int6 & int7 -> int8: the respiratory system and circulatory system both perform the function of bringing oxygen to the body; int8 & sent3 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: some foods contain nutrients; sent6 & sent3 -> int2: the small intestine digests food; int2 & int1 -> int3: the small intestine absorbs nutrients from food; sent4 & int3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: waste must be eliminated from the body before it can be eliminated from the entire body; sent5 & sent2 -> int2: if an action must be done before a process can be done, then that action helps in the performance of that process; sent6 & sent3 -> int3: kidney is a vehicle for removing bodily waste from the blood; int3 & sent3 -> int4: kidneys remove waste from the body; int3 & sent1 -> int5: kidney is a vehicle for eliminating waste from the body; int4 & int5 -> int6: the kidneys remove waste from the body; int1 & int6 -> int7: the kidneys must remove waste from the body before they can be eliminated from the body; int2 & int7 -> int8: the kidneys help eliminate waste from the body; int3 & int8 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: something is used for that something's main function; sent1 & int1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: rheumatoid arthritis is when the body attacks its own tissues; sent1 & int1 -> int2: a disordered immune system causes rheumatoid arthritis; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: hollow bones have a positive impact on an animal's ability to fly; sent5 & sent1 -> int2: using flight has a positive impact on an animal's survival; sent10 & sent6 -> int3: some birds use flight for survival; sent7 & int1 -> int4: feathers / wings are part of an animal's body used for flying; int3 & int2 -> int5: using flight has a positive impact on a bird's survival; sent4 & int4 -> int6: feathers / wings are part of an animal used for flying; sent9 & int5 -> int7: using flight has a positive impact on a bird's ability to survive; sent8 & int7 -> int8: an example of an adaptation for flight is something that is used for survival by birds; int8 & int6 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: moving bones helps the body move; sent1 & int1 -> int2: muscular movement helps the body move; sent3 & int2 -> int3: the muscular system moves the body; sent5 & int3 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: nerve cells can carry messages in the body; sent5 & sent1 -> int2: eyes are a part of a human for seeing things; sent2 & sent8 -> int3: the brain is a part of the body; int1 & sent9 -> int4: nerves carry messages from the body; int4 & int3 -> int5: nerves carry messages from the brain to the body; int2 & int5 -> hypothesis;
$proof$ = sent5 & sent3 -> int1: bone can be used for protection; sent6 & sent2 -> int2: bone can be used for support; int2 & int1 -> int3: bone can be used for protection and support; int3 & sent1 -> int4: skeletal system is used for protection and support; int4 & sent4 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: mitosis produces two diploid cells that are identical to the parent diploid cell; sent1 & int1 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: a kidney and a bladder are kinds of organs; int1 & sent6 -> int2: blood vessels, kidneys, and bladder are kinds of organs; sent1 & int2 -> int3: the heart, blood vessels, kidneys, and bladder are kinds of organs; int3 & sent5 -> int4: the heart, blood vessels, kidneys, and bladder are parts of the body that work together; int4 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: chloroplast can be found in plant cells; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the bark of a tree provides protection for the tree; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a potato is made of plant cells; int1 & sent6 -> int2: a potato is a kind of plant that is found in potatoes; sent5 & int2 -> int3: starch is a kind of food that is found in potato cells; int3 & sent4 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a leaf makes food for the plant by performing photosynthesis; sent2 & int1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: sunlight is a kind of energy; sent2 & sent5 -> int2: using sunlight requires absorbing sunlight; sent8 & sent1 -> int3: if a plant uses a process to convert something into something else then that something is used for that process; sent6 & sent9 -> int4: photosynthesis means plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; int3 & int4 -> int5: sunlight is used for photosynthesis; sent12 & int5 -> int6: leaves of plant absorb sunlight to perform photosynthesis; sent7 & int6 -> int7: leaves of plant absorb sunlight with their leaves to perform photosynthesis; sent11 & int7 -> int8: plants absorb sunlight with their leaves to perform photosynthesis; int2 & int8 -> int9: a plant uses sunlight for photosynthesis; sent10 & int9 -> int10: plants use sunlight for photosynthesis; int1 & int10 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: an acorn is a kind of young plant; sent1 & sent5 -> int2: acorns sprouting causes plants to grow; sent1 & sent5 -> int3: acorns sprout; sent2 & sent6 -> int4: a plant may require soil when buried in soil; int3 & int2 -> int5: acorns may sprout when buried in soil; sent3 & int4 -> int6: a plant may have a process when buried in soil; int6 & int1 -> int7: an acorn may have a process when buried in soil; int5 & int7 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: eating / taking in food is a source of energy for animals; int1 & sent3 -> int2: energy for animals comes from food; sent4 & int2 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: an animal requires nutrients to survive; sent5 & int1 -> int2: eating food has a positive impact on an animal's health; sent2 & int2 -> int3: eating food is important to an animal's health; int3 & sent1 -> int4: eating leafy vegetables is important to human health; int4 & sent6 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: infection can cause throat tissues to swell; sent3 & sent2 -> int2: the swelling of throat tissues is a kind of condition; sent4 & int1 -> int3: the swelling of throat tissues results from infection; int1 & sent4 -> int4: the swelling of throat tissues is a kind of result of infection; int4 & int3 -> int5: the swelling of throat tissues is a kind of result that can result from infection; int2 & int5 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: exercise has a positive impact on a human's health; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a tundra is a kind of environment that is usually very cold in temperature; sent1 & int1 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: a seed is a kind of organism; int1 & sent5 -> int2: humans eat organisms; sent2 & int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: eagles are carnivores; sent1 & int1 -> hypothesis;
$proof$ = sent6 & sent3 -> int1: when something is returned to a place the amount of that something in that place increases; sent4 & sent10 -> int2: plants and animals are kinds of organisms; sent5 & int1 -> int3: when dead organisms are returned to a place the amount of nutrients / nitrogen in that place increases; sent12 & int2 -> int4: plants and animals are made of organic matter; sent7 & int3 -> int5: decomposition occurs when a decomposer returns nutrients from dead organisms to the soil; sent9 & int4 -> int6: when organic matter is broken down it is turned into the things it is made of; sent11 & int5 -> int7: a decomposer causes dead organisms to become fertile; int6 & sent1 -> int8: as the amount of organic matter in soil increases, the soil will be better for the growth of plants; int7 & int8 -> int9: bacteria causes soil to become more fertile by breaking down dead organisms; sent8 & int9 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the formation of something requires that something else; sent1 & sent5 -> int2: if something is returned to a place then the amount of that something in that place increases; sent7 & sent6 -> int3: fertile soil is high in amount of nitrogen; int1 & sent2 -> int4: the formation of something else is important to that something; sent8 & int2 -> int5: if something is returned to a plant then the amount of nitrogen in that plant increases; sent9 & int2 -> int6: decomposition increases the amount of nitrogen in soil; int6 & int3 -> int7: decomposition increases the amount of nitrogen in fertile soil; int5 & int7 -> int8: plant decomposition increases the amount of nitrogen in fertile soil; int4 & int8 -> hypothesis;
$proof$ = sent1 & sent5 -> int1: rabbits are a kind of animal that live in meadows; sent6 & sent2 -> int2: a farmer is a kind of human that plants crops for food; sent10 & sent3 -> int3: farmers plant fruit trees in a meadow; sent11 & sent8 & sent1 -> int4: farming can decrease animal habitats; int2 & int3 -> int5: a farmer is a kind of human that plants fruit trees in a meadow; int5 & sent4 -> int6: humans / farmers planting fruit trees in a meadow can decrease animal habitats; int4 & int6 -> int7: humans / farmers planting fruit trees in a meadow can decrease animal populations in that meadow; int7 & sent7 -> int8: humans / farmers planting fruit trees in a meadow causes animal populations to decrease in that meadow; sent9 & int8 & int1 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: if an animal eats other animals then the animal will be the predator and the other animal will be the prey; sent3 & sent5 & sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: earthworms creating tunnels in soil loosen the soil; sent3 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: sunlight is a kind of nonliving thing; sent4 & sent2 & int1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a dissecting kit is a kind of instrument that can be used to study anatomy; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a dog laying down on command is an example of a dog following order; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: hunting is a kind of learned characteristics; sent3 & sent4 -> int2: an instinctive behavior is a kind of learned characteristics; int2 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: food preference is a kind of learned characteristics; sent4 & sent2 -> int2: learned characteristics are not inherited from parents; int1 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent4 & sent5 -> int1: offspring inherit genes from parents through dna; sent3 & int1 -> int2: offspring will have similar characteristics to parents; sent1 & int2 -> int3: children usually resemble parents in characteristics; int3 & int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent4 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 & sent5 -> int1: lions eating zebras is on the other animal's diet; int1 & sent2 -> int2: lions eating zebras is an example of an animal on the diet; int2 & sent4 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: combining baking soda and vinegar is combining two substance together; sent1 & int1 -> int2: combining baking soda and vinegar can cause chemical reaction; int2 & sent3 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: lemon juice is an acid; sent5 & sent3 -> int2: lemon juice is a kind of acid; sent4 & int1 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the nucleus of an atom is made of protons and neutrons; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: both protons and neutrons together will be able to generate atomic mass; int1 & sent2 -> int2: most of the mass of an atom is generated in the nucleus; sent4 & int2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: protons and neutrons together will be positive in electric charge; int1 & sent1 -> int2: an atom has a positive nucleus; sent3 & int2 -> int3: an atom has a positive core; sent3 & int3 & sent5 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: an electron is a kind of negatively-charged particle; sent4 & sent1 -> int2: electrons are small, negatively-charged particles; sent2 & int1 -> int3: the smallest, negatively-charged particles in an atom orbit the nucleus of the atom; sent3 & int3 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: a piece of wood contains chemical energy; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: aluminum is made of one kind of atoms; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 & sent2 -> hypothesis;
$proof$ = sent8 & sent10 & sent7 -> int1: a lit candle is exposed to limited oxygen; sent10 & sent8 -> int2: a lit candle is exposed to oxygen in this example; sent11 & sent5 -> int3: the fourth lit candle has no matter in it; int3 & sent1 -> int4: the fourth lit candle has no oxygen in it; int1 & int2 & int4 -> int5: the lit candle left out in the open is exposed to limited oxygen; sent3 & int5 -> int6: the lit candle left out in the open is exposed to oxygen; int4 & int6 -> int7: the candle left out in the open is exposed to more oxygen than the candle in the jar; sent2 & int7 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> int1: as the alcohol liquid expands in a tube, the height of the alcohol liquid in that tube will increase; sent4 & int1 -> hypothesis;
$proof$ = sent2 & sent3 & sent1 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: water freezing means water changes from a liquid into a solid by decreasing heat energy; sent3 & sent6 -> int2: a graduated cylinder can be used to measure the volume of a liquid; int1 & sent2 & sent1 -> int3: water freezing means water changes from a liquid to a solid; int2 & int3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: magnifying glass can be used to see an insect by making it appear bigger; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: magnifying glass can be used to see a leaf by making it appear bigger; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: the height of the door is a measure of length from the top of the door to the bottom of the door; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: centimeter is a metric unit used for measuring the length of an object; int1 & sent3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a yard is a unit used for measuring length; sent2 & int1 -> hypothesis;
$proof$ = sent4 & sent2 & sent3 -> int1: a student combined two substances together; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent6 & sent4 -> int1: salt and water are two substances that dissolve in each other; sent6 & sent4 & sent2 -> int2: salt and water dissolve in each other; int2 & int1 -> int3: salt water and water are two substances that dissolve in each other; sent3 & int3 -> int4: salt water is a kind of solution; int4 & sent5 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: copper and zinc are two metals; sent1 & int1 -> int2: brass is made of at least two metals; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> int1: sugar dissolves in water is an example of one substance dissolving in another substance; sent4 & int1 -> int2: sugar water is a solution; sent5 & int2 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: different solids that are combined physically will have the same physical properties; int1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: the density of a substance will stay the same; sent2 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: copper is a kind of material; sent1 & sent3 -> int2: copper is an electrical conductor; int1 & int2 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: sugar dissolves in water when they are combined; sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 & sent4 -> int1: students are grouping leaves by shape; sent1 & sent4 -> int2: shape is a property of leaves; int2 & int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: the ice will undergo a phase change; sent3 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: aluminum is a solid at room temperature; sent1 & sent4 & int1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a tree is a source of paper; sent4 & sent2 & int1 -> hypothesis;
$proof$ = sent2 & sent1 -> int1: a physicist studies the relationship between simple machines and energy; sent4 & int1 -> int2: a physicist study the relationship between simple machines and energy; int2 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: an airplane can move people and products quickly; int1 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;