$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: a star is a source of light; sent3 & int1 -> int2: as the distance of the star to earth decreases, the star will appear closer; int2 & sent1 -> 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; int1 & sent4 -> int2: earth rotating on its tilted axis causes the cycle of day and night on earth; int2 & sent1 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: the gardens in the gradens contain plants; int1 & sent4 -> int2: the plants in the gardens require sunlight to grow; sent2 & int2 -> int3: the plants in the gardens will receive the most sunlight in summer to grow; int3 & 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$ = sent2 & sent1 -> int1: comets have a highly elliptical orbit and their period is over 1000 years; int1 & sent3 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> 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; sent7 & sent3 & int1 -> 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 & sent4 -> int2: astronomers can observe the moons that orbit around jupiter; int2 & sent1 -> hypothesis;
$proof$ = sent4 & sent3 -> int1: the next new moon will occur 28 days after the last time it occurs; int1 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent4 -> 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$ = sent3 & sent6 -> int1: fossils can be used to study the history of earth; sent5 & sent2 & sent4 -> int2: structural geologists and paleontologists both study the history of rock formations on earth; int1 & sent1 -> int3: structural geologists and paleontologists both study the history of earth; int2 & 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$ = sent3 & sent4 -> int1: classifying is when one sorts something by class; sent1 & int1 -> int2: rocks can be classified based on how they were formed; int2 & sent2 -> hypothesis;
$proof$ = sent4 & sent1 -> int1: classifying is when one sorts something by class; sent2 & int1 -> int2: rocks are classified based on how they are formed; int2 & sent3 -> hypothesis;
$proof$ = sent5 & sent7 -> int1: if something is formed from organic material then that something contains organic material; sent3 & sent2 -> int2: organisms are a source of organic material; sent1 & int2 -> int3: organic compounds are mainly made of carbon; sent8 & int3 -> int4: organic compounds contain high amounts of carbon; sent4 & sent7 -> int5: if something contains organic material then that something contains organic material; int5 & int1 -> int6: a sedimentary deposit formed from organic material contains high amounts of organic material; int4 & int6 -> int7: a sedimentary deposit formed from organic material contains high amounts of carbon; sent6 & int7 -> int8: a sedimentary deposit formed from organic material contains high amounts of carbon; int8 & sent9 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: weathering causes sediment to be deposited; int1 & sent2 -> int2: forming sedimentary rock requires burying sediments; int2 & sent5 -> int3: sedimentary rocks are deposited after burying sediments; sent4 & int3 -> int4: sedimentary rocks are formed by sediment being buried then cemented together; sent3 & sent6 -> int5: sediment is formed by sediment weathering; sent7 & int5 -> int6: sedimentary rocks are formed by sediment being deposited then buried then cemented together; int6 & int4 -> int7: sedimentary rocks are formed by sediments being deposited then buried then cemented together; sent1 & int7 -> 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$ = sent4 & sent1 -> int1: the supply of solar energy does not change over a long period of time; sent2 & sent3 -> int2: a time period of billions of years is considered very long; int2 & int1 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: energy is used for heating a home; int1 & sent2 & sent4 -> hypothesis;
$proof$ = sent1 & sent7 -> int1: roots are a part of a plant used for anchoring soil; int1 & sent6 -> int2: roots help prevent soil erosion by anchoring soil; sent3 & int2 -> int3: roots prevent soil erosion by anchoring soil; sent5 & sent4 -> int4: soil erosion caused by water will move soil from fields / environments; int4 & int3 -> int5: roots help prevent soil from washing away; sent2 & int5 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: solar energy is a kind of light energy; sent1 & int1 -> int2: photovoltaic cells convert solar energy into electricity; sent3 & sent5 -> int3: if photovoltaic cells convert something into something else then that photovoltaic cell uses that something to produce that something else; int2 & int3 -> int4: photovoltaic cells use solar energy to produce electricity; int4 & sent6 -> hypothesis;
$proof$ = sent1 & sent9 -> int1: if runoff enters a lake then the contents of that runoff will enter that lake; int1 & sent5 -> int2: runoff entering a lake will cause the contents of that lake to enter that lake; sent7 & sent8 -> int3: algae can be found in lake; sent2 & sent7 -> int4: the contents of a lake mean the things that lake contains; int4 & int2 -> int5: runoff entering a lake causes the contents of that lake to enter that lake; sent7 & int3 -> int6: algae can grow in lake; sent7 & sent4 -> int7: fertilizers have a positive impact on algae growth in lakes; sent6 & int5 -> int8: runoff entering a lake causes algae to grow in that lake; int7 & int6 -> int9: runoff entering a lake has a positive impact on algae growth in lakes; int8 & int9 -> 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; sent7 & int1 -> int2: if something has a negative impact on the survival of a tadpole then that tadpole may be unable to survive; sent3 & sent8 -> int3: acid rain has a negative impact on the water quality of a body of water; sent1 & int3 -> 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 & int2 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: many automobiles emit pollution into the air; sent1 & int1 -> hypothesis;
$proof$ = sent7 & sent4 -> int1: decreasing in population can cause the population of an animal to be low; sent8 & sent5 -> int2: starvation can decrease animal populations; sent6 & int2 -> int3: starvation caused by lack of food can cause animal populations to decrease; sent1 & sent2 -> int4: if the amount of fish an animal eats decreases then that animal will lack food; sent3 & int4 -> int5: too much fishing causes the fish population to decrease; int3 & int1 -> int6: starvation of animals that eat fish can cause those animals to be low in population; sent9 & int5 -> int7: overfishing can cause fish to be a kind of animal that has a low population; int7 & int6 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: notebook paper is a kind of recyclable material; 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 & sent3 -> 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$ = sent3 & 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; sent2 & int1 -> 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 & int1 -> int2: the ice formed by water freezing is ice that expands in openings; int2 & sent2 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent6 & sent3 & sent2 -> int1: water absorbing solar energy will increase in temperature; int1 & sent4 -> int2: water absorbing solar energy will increase in heat energy; sent3 & int2 & sent5 -> int3: water absorbing solar energy will cause the evaporation of water; sent2 & sent1 -> int4: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int4 & int3 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: shivering is a kind of movement; sent4 & int1 -> int2: when a person shivers, it is a kind of movement; sent5 & sent2 -> int3: when a person moves, chemical energy is converted to mechanical energy; int2 & int3 -> 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; int1 & sent7 -> int2: if a wire moves through something else then that wire will collide with that something else; sent2 & int2 -> int3: if a wire flows through something else then that wire will collide with that something else; int3 & sent4 -> int4: electrical current running through a wire causes the wire to collide with the other wire; int4 & sent10 -> int5: electrical current running through a wire causes the wire to become warm; sent8 & sent1 -> int6: warmth is a measure of heat; sent3 & sent9 -> int7: to increase the temperature of an object requires increasing the kinetic energy of that object; int6 & int7 -> int8: to increase the temperature of an object requires increasing its kinetic energy; int8 & int5 -> 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$ = sent1 & sent2 -> 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 shine on the reflector; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent2 -> 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; sent6 & sent7 & int1 -> int2: the hot boiled egg will transfer heat to the cold water; sent1 & sent4 & int2 -> int3: the hot boiled egg will decrease in temperature; sent5 & int2 & sent7 -> int4: the hot boiled egg will increase in temperature and the cold water will decrease in temperature; int3 & int4 & int2 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: a pot is a thermal conductor; int1 & sent1 -> int2: if a pot is exposed to a source of heat, then the pot may become hot; sent1 & sent2 -> int3: if a thermal conductor is exposed to a stove then that conductor may become hot; int3 & int2 -> int4: if a pot becomes hot, then the handle of the pot will become hot; sent3 & sent2 -> int5: a stove generates heat for holding an object; sent5 & sent2 -> int6: a source of heat generates heat for cooking; int5 & int6 -> int7: a source of heat generates heat for holding an object; int7 & int4 -> 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; int1 & sent1 & sent3 -> int2: friction will occur between the soccer ball and the ground; int2 & sent4 & sent5 -> hypothesis;
$proof$ = sent5 & sent6 & sent4 -> int1: wheels and gears are kinds of objects that move against each other; int1 & sent3 -> int2: friction occurs between the wheels and gears; sent2 & sent1 -> int3: grease is used to decrease the friction of objects; int2 & int3 -> hypothesis;
$proof$ = sent3 & sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent7 & sent1 -> int1: a cell nucleus is a part of a plant cell; int1 & sent2 & sent8 -> int2: a plant cell contains a structure called cell wall; sent5 & int2 -> int3: plants are made up of plant cells that contain a nucleus, chloroplasts, and a cell wall; sent6 & sent3 -> int4: if a plant is a kind of organism that is made up of cells that contain a nucleus, chloroplasts, and a cell wall; int4 & int3 -> int5: plants are a kind of organism that is made up of plant cells; sent4 & int5 -> hypothesis;
$proof$ = sent6 & sent5 -> int1: an insect undergoes metamorphosis; sent3 & sent1 -> int2: an insect undergoes the pupa stage in the metamorphosis process; sent2 & int1 & int2 -> int3: the insect has undergone an incomplete metamorphosis; sent4 & sent2 -> int4: if something undergoes metamorphosis without going through a certain stage in the process, then the metamorphosis process was incomplete; int4 & int3 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: a wildfire can cause a forest to catch fire; sent2 & int1 -> int2: a wildfire can be used to produce heat; sent10 & sent5 -> int3: removing resin from something else is a kind of method for removing that something from that something else; sent3 & int3 -> int4: removing resin from something else causes that something to be able to do that something else; sent9 & sent1 -> int5: the cones of a jack pine tree are sealed with a resin that prevents seed dispersal; int4 & int5 -> int6: a jack pine tree will remove resin from its cones after a wildfire; int2 & sent8 -> int7: burning trees is a kind of action for wildfires; int7 & sent7 -> int8: dispersing seeds is a kind of action for wildfires; int8 & int6 -> hypothesis;
$proof$ = sent9 & sent8 -> int1: protecting an animal has a postive impact on that animal's survival; int1 & sent11 -> int2: hiding has a positive impact on an animal's survival; sent1 & int2 -> int3: camouflage has a positive impact on an animal's survival; sent10 & sent4 -> int4: an example of camouflage is an animal having the same color as its environment; sent5 & sent6 -> int5: a bear is a kind of animal that has dark fur; int4 & int5 -> int6: an example of camouflage is an animal having dark fur; int6 & int3 -> 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; int1 & sent7 -> int2: increasing the availability of water can have a positive impact on a living thing's survival; sent1 & int2 -> int3: storing water is a kind of method for increasing the availability of water; sent6 & sent2 -> int4: as dryness in an environment increases, the available water in that environment will decrease; int4 & int3 -> int5: storing water is a kind of adaptation to a dry environment; int5 & sent3 -> hypothesis;
$proof$ = sent2 & sent9 -> int1: if something increases something else then that something has a negative impact on that something else; sent3 & sent6 -> int2: faster is the opposite of slow; sent8 & int2 -> int3: slow leaf growth has a negative impact on that plant's survival; sent1 & sent4 -> int4: as a plant grows, the size of the leaves of that plant will increase; sent7 & int4 -> int5: as a plant grows, the size of the leaves of a plant will increase; int1 & int5 -> int6: if the size of a plant's leaves increases then that plant's survival is affected; sent7 & sent5 -> int7: a plant absorbs sunlight with its leaves to survive; int7 & int6 -> int8: a plant requires sunlight to survive; int8 & int3 -> 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; sent6 & int1 -> int2: when the amount of water in an environment increases, the population of that environment may increase; sent3 & int2 -> int3: as the available water in an environment increases, the populations of organisms in that environment may increase; sent5 & sent1 -> int4: a salamander requires great amounts of water to thrive; int4 & int3 -> hypothesis;
$proof$ = sent13 & sent6 -> int1: the decrease of something required by a fish has a negative impact on that fish's survival; int1 & sent9 -> int2: a decrease of oxygen has a negative impact on a fish's survival; sent2 & int2 -> int3: a decrease of oxygen has a negative impact on fish's survival; sent7 & sent12 -> int4: some fish live in water; sent4 & int4 -> int5: water is a kind of substance that contains dissolved oxygen; sent5 & int5 -> int6: warm water and cold water both contain less dissolved oxygen than warm water; int6 & 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; int3 & int12 -> hypothesis;
$proof$ = sent11 & sent15 -> int1: growth is when a plant grows; sent3 & sent8 -> int2: a plant requires nutrients in soil to grow; sent10 & int2 -> int3: a plant requires water from soil to grow; sent7 & int3 -> int4: nutrients in soil have a positive impact on plant growth; sent13 & sent4 -> int5: soil has a high number of nutrients; int5 & int4 -> int6: high numbers of nutrients in soil have a positive impact on plant growth; sent5 & int1 -> int7: plant growth is a kind of process; sent6 & int7 -> int8: if something impacts multiple parts of plant growth then that something may have the greatest impact on plant growth; int6 & int8 -> int9: nutrients in soil may have the greatest impact on plant growth; sent12 & sent9 & sent14 -> int10: sandy soil holds less water than heavy soil; sent1 & int10 -> int11: the type of soil determines the amount of water in that soil; sent2 & int11 -> int12: the type of soil determines how much water a plant can absorb from that soil; int9 & int12 -> hypothesis;
$proof$ = sent2 & sent3 -> int1: skin on frogs and lungs on birds both breathe air; sent4 & int1 -> int2: the function of skin on frogs and the function of lungs in birds are similar; int2 & sent1 -> hypothesis;
$proof$ = sent1 & sent9 -> int1: the circulatory system brings oxygen from the lungs to the rest of the body; sent10 & sent2 -> int2: the respiratory system is used for breathing oxygen; int1 & int2 -> int3: the respiratory system brings oxygen to the body; sent4 & sent7 -> int4: the respiratory system transports oxygen to the circulatory system; sent8 & int4 -> int5: the respiratory system brings oxygen to the circulatory system; int3 & int5 -> int6: the respiratory system and circulatory system both bring oxygen to the body; sent6 & sent5 -> int7: if the respiratory system performs a function then the respiratory system performs that function through the respiratory system; int7 & int6 -> int8: the respiratory system and circulatory system both perform the function of bringing oxygen to the body; int8 & sent3 -> hypothesis;
$proof$ = sent2 & sent5 -> int1: some foods contain nutrient such as protein; sent6 & sent3 -> int2: the small intestine is a part of the digestive system that takes food in; sent1 & int2 -> int3: the small intestine takes in nutrients by eating food; int1 & int3 -> int4: the small intestine absorbs nutrients from food; sent4 & int4 -> 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; sent3 & sent6 -> int2: kidneys are a vehicle for removing bodily waste from the blood; sent5 & sent2 -> int3: if an action must be done before a process can be done, then that action helps in the performance of that process; int3 & int1 -> int4: the kidneys help eliminate waste from the body; int2 & int4 -> hypothesis;
$proof$ = sent3 & sent2 -> int1: the main function of a something is to remove that something from the stomach before it is absorbed; int1 & sent1 -> 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; sent10 & sent6 -> int2: some birds use flight for survival; sent5 & sent1 -> int3: using flight has a positive impact on an animal's survival; int2 & int3 -> int4: using flight has a positive impact on a bird's survival; sent7 & int1 -> int5: feathers / wings are part of an animal's body used for flying; sent4 & int5 -> int6: feathers / wings are part of an animal used for flying; sent9 & int4 -> 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$ = sent2 & sent8 -> int1: the brain is a part of the body; sent7 & sent6 -> int2: messages in the body can be carried by something that conducts electricity; int2 & sent3 -> int3: nerve cells can carry messages in the body; int3 & sent9 -> int4: nerves carry messages from the body; int4 & int1 -> int5: nerves carry messages from the brain to the body; sent4 & sent1 -> int6: sensory organs are used for sensing things; sent5 & int6 -> int7: eyes are a part of a human for seeing things; int7 & int5 -> hypothesis;
$proof$ = sent3 & sent5 -> 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 & sent1 -> int2: a heart and blood vessels are kinds of organs; int2 & sent5 -> int3: the heart, blood vessels, kidneys, and bladder are parts of the body that work together; int3 & 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$ = sent3 & sent1 & sent2 -> hypothesis;
$proof$ = sent2 & sent1 -> hypothesis;
$proof$ = sent2 & sent4 -> int1: vacuoles are organelles that store water and starch; sent3 & sent1 -> int2: a potato is made of plant cells; int2 & sent6 -> int3: a potato is a kind of plant that is found in potatoes; sent5 & int3 -> int4: starch is a kind of food that is found in potato cells; int4 & int1 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: a leaf makes food for the plant by performing photosynthesis; sent2 & int1 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: if a plant uses a process to convert something into something else then that something is used for that process; sent6 & sent9 -> int2: photosynthesis means plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen; int1 & int2 -> int3: sunlight is used for photosynthesis; sent12 & int3 -> int4: leaves of plant absorb sunlight to perform photosynthesis; sent7 & int4 -> int5: leaves of plant absorb sunlight with their leaves to perform photosynthesis; sent11 & int5 -> int6: plants absorb sunlight with their leaves to perform photosynthesis; sent2 & sent5 -> int7: using sunlight requires absorbing sunlight; int7 & int6 -> int8: a plant uses sunlight for photosynthesis; sent10 & int8 -> int9: plants use sunlight for photosynthesis; sent4 & sent3 -> int10: sunlight is a kind of energy; int10 & int9 -> hypothesis;
$proof$ = sent2 & sent6 -> int1: a plant may require soil when buried in soil; sent3 & int1 -> int2: a plant may have a process when buried in soil; sent2 & int2 -> int3: a plant may sprout when buried in soil; sent6 & sent3 -> int4: if soil is required for a process then that process may occur when buried in soil; int4 & sent5 -> int5: seeds sprouting occurs when plants are buried in soil; int5 & int3 -> int6: seeds may sprout when buried in soil; int6 & sent4 -> int7: some seeds may sprout when buried in soil; sent1 & 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; sent4 & int1 -> int2: the swelling of throat tissues results from infection; sent3 & int2 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: exercise has a positive impact on a human's health; int1 & sent3 -> hypothesis;
$proof$ = sent3 & sent1 -> int1: a tundra is a kind of area that is very cold in temperature; sent2 & int1 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: a seed is a kind of organism; int1 & sent5 -> int2: humans eat organisms; sent2 & int2 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: eagles eat animals; int1 & sent3 -> int2: eagles are carnivores; sent1 & int2 -> hypothesis;
$proof$ = sent4 & sent10 -> int1: plants and animals are kinds of organisms; sent12 & int1 -> int2: plants and animals are made of organic matter; sent9 & int2 -> int3: when organic matter is broken down it is turned into the things it is made of; int3 & sent1 -> int4: as the amount of organic matter in soil increases, the soil will be better for the growth of plants; int4 & sent2 -> int5: fertile soil is better for the growth of plants; sent6 & sent3 -> int6: when something is returned to a place the amount of that something in that place increases; sent5 & int6 -> int7: when dead organisms are returned to a place the amount of nutrients / nitrogen in that place increases; sent7 & int7 -> int8: decomposition occurs when a decomposer returns nutrients from dead organisms to the soil; sent11 & int8 -> int9: a decomposer causes dead organisms to become fertile; int9 & int5 -> int10: bacteria causes soil to become more fertile by breaking down dead organisms; sent8 & int10 -> hypothesis;
$proof$ = sent7 & sent6 -> int1: fertile soil is high in amount of nitrogen; sent3 & sent5 -> int2: if something has something else then the amount of that something else increases; sent9 & int2 -> int3: decomposition increases the amount of nitrogen in soil; int3 & int1 -> int4: decomposition increases the amount of nitrogen in fertile soil; sent1 & sent5 -> int5: if something is returned to a place then the amount of that something in that place increases; sent8 & int5 -> int6: if something is returned to a plant then the amount of nitrogen in that plant increases; int6 & int4 -> int7: plant decomposition increases the amount of nitrogen in fertile soil; sent4 & sent3 -> int8: the formation of something requires that something else; int8 & sent2 -> int9: the formation of something else is important to that something; int9 & int7 -> hypothesis;
$proof$ = sent3 & sent10 -> int1: farmers plant fruit trees in a meadow; sent6 & sent2 -> int2: a farmer is a kind of human that plants crops for food; int2 & int1 -> int3: a farmer is a kind of human that plants fruit trees in a meadow; sent11 & sent8 & sent1 -> int4: farming can decrease animal habitats; int3 & sent4 -> int5: humans / farmers planting fruit trees in a meadow can decrease animal habitats; int4 & int5 -> int6: humans / farmers planting fruit trees in a meadow can decrease animal populations in that meadow; int6 & sent7 -> int7: humans / farmers planting fruit trees in a meadow causes animal populations to decrease in that meadow; sent1 & sent5 -> int8: rabbits are a kind of animal that live in meadows; sent9 & int7 & int8 -> hypothesis;
$proof$ = sent3 & sent5 & sent2 -> int1: a robin is a kind of predator and a cricket is a kind of prey; sent4 & sent1 -> int2: if an animal eats other animals then the animal will be the predator and the other animal will be the prey; int1 & int2 -> 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 & int1 -> int2: hunting is a kind of acquired characteristics; int2 & sent4 -> hypothesis;
$proof$ = sent1 & sent3 -> 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 inherited characteristics from their parents through dna; sent2 & int1 -> int2: children usually have similar characteristics to parents; sent3 & int2 -> int3: children usually share similar dna; int3 & sent1 -> hypothesis;
$proof$ = sent2 & sent1 & sent3 -> int1: thymine can be found in dna; sent4 & int1 -> 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 acid; int1 & int2 -> int3: lemon juice is an acid that is sour in taste; int3 & sent4 -> 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; sent2 & int1 -> int2: the nucleus of an atom is able to generate atomic mass; sent4 & int2 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: protons and neutrons together will be positive in electric charge; sent1 & int1 -> int2: the nucleus of an atom is positve in electric charge; int2 & sent3 -> int3: an atom has a positive core surrounded by almost empty space; int3 & sent5 -> hypothesis;
$proof$ = sent1 & sent4 -> int1: an electron is a kind of negatively-charged particle; sent2 & int1 -> int2: the smallest, negatively-charged particles in an atom orbit the nucleus of the atom; sent3 & 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$ = sent9 & sent4 -> int1: a lit candle requires oxygen to burn; sent8 & sent10 & sent7 -> int2: a lit candle is exposed to limited oxygen; int2 & int1 -> int3: a lit candle left out in the open is exposed to limited oxygen; sent6 & int3 -> int4: the lit candle left out in the open is exposed to limited oxygen; sent3 & int4 -> int5: the lit candle left out in the open is exposed to oxygen; sent11 & sent5 -> int6: the fourth lit candle has no matter in it; int6 & sent1 -> int7: the fourth lit candle has no oxygen in it; int7 & int5 -> int8: the candle left out in the open is exposed to more oxygen than the candle in the jar; sent2 & int8 -> 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$ = sent1 & sent2 & sent3 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: water freezing means water changes from a liquid into a solid by decreasing heat energy; int1 & sent2 & sent1 -> int2: water freezing means water changes from a liquid to a solid; sent3 & sent6 -> int3: a graduated cylinder can be used to measure the volume of a liquid; int3 & int2 -> 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$ = sent3 & sent1 -> int1: 1 yard is an imperial unit used for measuring length; sent2 & int1 -> hypothesis;
$proof$ = sent4 & sent2 & sent3 -> int1: a student combined two substances together; int1 & sent1 -> hypothesis;
$proof$ = sent4 & sent6 & sent2 -> int1: salt dissolves in water is an example of two substances being combined physically; sent1 & int1 -> int2: salt water is an example of two substances dissolving together; sent3 & int2 -> int3: salt water is a kind of solution; int3 & 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; int2 & sent5 -> 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$ = sent3 & sent1 -> int1: copper is an electrical conductor; sent1 & sent2 -> int2: copper is a kind of material; int2 & int1 -> 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; 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;