$proof$ = sent12 & sent10 & sent4 -> hypothesis;
$proof$ = sent13 & sent1 -> int1: a star is a source of light; int1 & sent21 -> hypothesis;
$proof$ = sent24 & sent5 -> hypothesis;
$proof$ = sent23 & sent5 -> int1: decemeber is during the winter in the northern hemisphere; int1 & sent15 -> int2: winter has the least sunlight in the northern hemisphere; int2 & sent14 -> hypothesis;
$proof$ = sent8 & sent23 -> int1: earth is a planet that rotates on its tilted axis; int1 & sent12 -> hypothesis;
$proof$ = sent7 & sent24 -> int1: gardens will receive sunlight during the day; int1 & sent16 -> int2: the plants in the gardens will require sunlight to grow; int2 & sent25 -> hypothesis;
$proof$ = sent1 & sent3 -> int1: earth's tilt on its rotating axis causes each season to occur once per year; int1 & sent18 -> int2: int2 & sent2 -> int3: andy will experience winter in southern hemisphere in august; int3 & sent24 -> hypothesis;
$proof$ = sent18 & sent25 & sent3 -> 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$ = sent25 & sent7 -> int1: mercury revolving the sun is an example of a planet revolving around its star; int1 & sent20 -> int2: a complete orbit of mercury around the sun takes an earth year; int2 & sent13 -> hypothesis;
$proof$ = sent9 & sent7 -> int1: the new moon is when the moon could block the earth from the sun; int1 & sent2 -> hypothesis;
$proof$ = sent19 & sent13 -> hypothesis;
$proof$ = sent1 & sent16 -> int1: a comet orbit occurs usually once per 1000 years; int1 & sent14 -> hypothesis;
$proof$ = sent6 & sent11 -> hypothesis;
$proof$ = sent4 & sent13 -> hypothesis;
$proof$ = sent12 & sent13 -> hypothesis;
$proof$ = sent25 & sent19 -> hypothesis;
$proof$ = sent10 & sent6 -> hypothesis;
$proof$ = sent18 & sent19 & sent24 -> int1: earth is a planet that has a greater mass than the planet mars; int1 & sent2 -> int2: the force of gravity on earth will be greater than on mars; int2 & sent11 -> int3: objects will weigh less on mars than on earth because the force of gravity is less on mars; int2 & sent25 & sent6 -> int4: objects will have the same mass on earth and on mars; int3 & int4 -> int5: objects will weigh less on mars than on earth and have the same mass on mars than on earth; int5 & sent13 -> hypothesis;
$proof$ = sent25 & sent12 -> int1: moons orbit jupiter; int1 & sent14 -> int2: a telescope can be used to observe the moons that orbit around jupiter; int2 & sent18 -> hypothesis;
$proof$ = sent19 & sent13 -> int1: the next new moon will occur 28 days after the last time it occurs; int1 & sent20 -> hypothesis;
$proof$ = sent4 & sent18 -> hypothesis;
$proof$ = sent18 & sent19 -> int1: ocean animals are kinds of water animals living in oceans; int1 & sent17 & sent25 -> int2: the grand canyon used to be covered by oceans in the past; int2 & sent10 & sent25 -> hypothesis;
$proof$ = sent23 & sent2 & sent18 -> int1: if fossils of water animals or plants are found in a place then that place used to be covered by water in the past; int1 & sent8 & sent11 -> hypothesis;
$proof$ = sent16 & sent23 -> int1: marine fossils are fossils of water animals; int1 & sent22 -> int2: fossils of water animals are found in mountains; int2 & sent1 -> int3: the mountains used to be covered by water in the past; int3 & sent20 & sent7 & sent6 -> hypothesis;
$proof$ = sent21 & sent10 & sent8 -> hypothesis;
$proof$ = sent8 & sent16 -> int1: a stage in a process means a stage in a process; int1 & sent5 -> int2: fossils can be used to study the history of organisms and environments on earth; int2 & sent15 -> int3: structural geologists and paleontologists both study the history and processes of earth; int3 & sent7 -> hypothesis;
$proof$ = sent17 & sent16 -> int1: in the rock cycle, erosion follows weathering and is the first stage; int1 & sent18 -> int2: in the rock cycle, erosion follows weathering and is the next step; int2 & sent4 -> hypothesis;
$proof$ = sent24 & sent25 -> int1: exposure to increased pressure changes shale into metamorphic rock; int1 & sent23 -> hypothesis;
$proof$ = sent4 & sent10 -> int1: classifying is when one sorts something by class; int1 & sent24 -> int2: rocks can be classified based on how they were formed; int2 & sent6 -> hypothesis;
$proof$ = sent12 & sent19 -> int1: classifying is when one sorts something by class; int1 & sent3 -> int2: rocks are classified based on how they were formed; int2 & sent1 -> hypothesis;
$proof$ = sent24 & sent18 -> int1: organisms are made of organic compounds; int1 & sent8 -> int2: organisms are mainly made of carbon; int2 & sent14 -> int3: organisms contain high amounts of carbon; int3 & sent19 -> hypothesis;
$proof$ = sent20 & sent7 -> int1: forming sedimentary rock requires burying; int1 & sent24 -> int2: forming sedimentary rock requires burying sediments; int2 & sent22 -> int3: sedimentary rocks are formed by sediments being buried then cemented together; int3 & sent4 -> int4: sedimentary rocks are formed by sediments being buried then cemented together; int4 & sent19 -> int5: sedimentary rock is formed by sediment being buried then cemented together; int5 & sent3 -> hypothesis;
$proof$ = sent4 & sent5 -> hypothesis;
$proof$ = sent1 & sent3 -> hypothesis;
$proof$ = sent15 & sent5 -> int1: producing renewable electric energy requires renewable resources; int1 & sent9 -> int2: if producing renewable electric energy requires something that something may be able to perform that process; int2 & sent18 -> int3: if something may be able to do something else then that something has the potential to do that something else; int3 & sent19 -> hypothesis;
$proof$ = sent11 & sent3 -> hypothesis;
$proof$ = sent11 & sent17 -> int1: the supply of solar energy does not change over a long period of time; sent9 & sent21 -> int2: billions of years is a longer period of time than 10 years; int1 & int2 -> hypothesis;
$proof$ = sent6 & sent4 -> int1: solar energy is a kind of rewnewable resource; int1 & sent22 -> hypothesis;
$proof$ = sent5 & sent23 -> int1: tree roots decrease soil erosion; int1 & sent6 -> int2: tree roots prevent soil erosion; sent8 & sent25 -> int3: moving water can cause soil erosion; int2 & int3 -> int4: tree roots prevent soil erosion by moving water; int4 & sent24 -> hypothesis;
$proof$ = sent5 & sent20 -> int1: solar energy is a kind of light energy; int1 & sent9 -> int2: photovoltaic cells convert solar energy into electrical energy; int2 & sent17 -> int3: photovoltaic cells use solar energy to produce electrical energy; int3 & sent24 -> int4: solar energy is used by photovoltaic cells to produce electrical energy; int4 & sent13 -> hypothesis;
$proof$ = sent7 & sent1 & sent15 -> int1: runoff from runoff entering a lake can enter the lake; int1 & sent13 -> int2: runoff from runoff entering a lake will enter the lake; int2 & sent23 -> int3: runoff entering a lake causes algae to grow in it; int3 & sent15 -> int4: runoff entering a lake causes algae to grow in it; int4 & sent20 -> hypothesis;
$proof$ = sent24 & sent17 -> int1: acid rain can cause animals that live in water to not be able to survive; sent23 & sent18 -> int2: a tadpole requires a habitat for survival; int2 & sent4 -> int3: acid rain may cause animals that live in water to be unable to survive; int1 & int3 -> hypothesis;
$proof$ = sent2 & sent23 -> hypothesis;
$proof$ = sent9 & sent3 -> int1: some animals eat fish for food; int1 & sent12 -> int2: some animals eat fish for food; int2 & sent18 -> int3: starvation of the animals that eat fish can decrease animal population; int3 & sent20 -> int4: starvation of the animals that eat fish can endanger those animals; int4 & sent1 -> hypothesis;
$proof$ = sent7 & sent20 -> int1: notebook paper is a kind of material that is recyclable; int1 & sent16 -> hypothesis;
$proof$ = sent18 & sent11 -> int1: glass is a kind of material that is recyclable; int1 & sent7 -> int2: glass bottles are recyclable; int2 & sent2 -> hypothesis;
$proof$ = sent9 & sent14 -> int1: an earthquake changes earth's surface; int1 & sent22 -> int2: an earthquake changes earth's surface in 10 to 30 seconds; int2 & sent25 -> hypothesis;
$proof$ = sent19 & sent17 & sent5 -> hypothesis;
$proof$ = sent6 & sent14 -> int1: acid weathering rocks is a kind of soiling; int1 & sent15 -> hypothesis;
$proof$ = sent18 & sent24 -> int1: sierra nevada contains mountains; int1 & sent23 -> int2: mountains can limit the water vapor reaching a location; int2 & sent3 -> hypothesis;
$proof$ = sent4 & sent21 -> hypothesis;
$proof$ = sent23 & sent21 -> int1: a landslide is when water rapidly moves rocks downhill especially after a rain storm; sent6 & sent13 -> int2: a boulder is a kind of rock; int1 & int2 -> hypothesis;
$proof$ = sent14 & sent18 -> int1: most canyons are formed by flowing rivers through erosion over long periods of time; int1 & sent11 -> int2: soil erosion is when water moves from fields / environments to soil; int2 & sent25 -> hypothesis;
$proof$ = sent25 & sent13 -> int1: if water freezes in the crack of the rock, then water will expand in the crack; int1 & sent21 -> hypothesis;
$proof$ = sent4 & sent2 -> int1: freezing means water changes from a liquid into a solid by decreasing heat energy; int1 & sent3 -> int2: the water freezing causes rocks to crack by expanding in openings; int2 & sent16 -> hypothesis;
$proof$ = sent10 & sent14 -> hypothesis;
$proof$ = sent20 & sent2 -> hypothesis;
$proof$ = sent11 & sent17 -> hypothesis;
$proof$ = sent24 & sent2 & sent8 -> int1: water absorbing solar energy will increase in temperature; int1 & sent15 -> int2: water absorbing solar energy will increase in heat energy; sent17 & sent2 -> int3: evaporation of water is when water changes from a liquid into a gas by increasing heat energy; int2 & int3 -> int4: water absorbing solar energy will cause the evaporation of water; int4 & sent6 -> hypothesis;
$proof$ = sent5 & sent12 -> int1: when a person shivers, she or he is moving; int1 & sent16 -> int2: when a person shivers, chemical energy is converted to mechanical energy; int2 & sent10 -> hypothesis;
$proof$ = sent9 & sent1 -> int1: a hand dryer converts electrical energy into heat energy; int1 & sent2 -> hypothesis;
$proof$ = sent14 & sent6 -> int1: a flashlight converts electrical energy into light and heat energy; int1 & sent22 -> hypothesis;
$proof$ = sent16 & sent16 -> int1: electrical current running through a wire causes that wire to become warm; int1 & sent18 -> hypothesis;
$proof$ = sent20 & sent23 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: the car engine converts the chemical energy in gasoline into mechanical energy; int1 & sent9 -> int2: the car engine in cars converts the chemical energy in gasoline into mechanical energy; int2 & sent15 -> hypothesis;
$proof$ = sent3 & sent22 -> int1: the block of ice is placed on a hot sidewalk; int1 & sent2 & sent11 -> int2: the block of ice is placed on a hot sidewalk; int2 & sent8 -> int3: the block of ice will increase in heat energy; int3 & sent24 -> hypothesis;
$proof$ = sent24 & sent19 -> int1: if an object reflects light of a certain color then the object appears to be that color; int1 & sent2 -> hypothesis;
$proof$ = sent14 & sent23 -> int1: a leaf is a green object; int1 & sent16 -> hypothesis;
$proof$ = sent11 & sent17 -> int1: light can shine on a bicycle's reflector; int1 & sent22 -> hypothesis;
$proof$ = sent21 & sent9 -> hypothesis;
$proof$ = sent3 & sent24 & sent23 -> int1: the person outside cannot see the person in the dark room; int1 & sent14 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: refraction is when light bends and is split into lights of different color; int1 & sent25 -> hypothesis;
$proof$ = sent21 & sent22 -> int1: refraction is when light bends and is split into lights of different color; int1 & sent5 -> hypothesis;
$proof$ = sent5 & sent21 -> hypothesis;
$proof$ = sent3 & sent6 -> int1: the hot boiled egg will increase in temperature; sent18 & sent18 -> int2: the cold water will decrease in temperature; int1 & int2 -> int3: the hot water will increase in temperature; int3 & sent11 & sent20 -> hypothesis;
$proof$ = sent15 & sent16 -> int1: a pot is a thermal conductor; sent23 & sent16 -> int2: a handle is a part of the pot for holding; int1 & int2 -> int3: if a pot becomes hot, then the handle of the pot will become hot; int3 & sent22 -> hypothesis;
$proof$ = sent17 & sent7 -> int1: a burner causes the heat to flow from the burner to the frying pan; int1 & sent23 -> int2: thermal conduction causes the heat to flow from the burner to the frying pan; int2 & sent21 -> hypothesis;
$proof$ = sent20 & sent17 -> hypothesis;
$proof$ = sent25 & sent24 & sent3 -> int1: the rolling soccer ball is an example of friction occurring between two objects; int1 & sent7 & sent24 -> hypothesis;
$proof$ = sent11 & sent21 & sent19 -> int1: wheels and gears usually move against each other; int1 & sent13 -> int2: friction occurs between the wheels and gears; int2 & sent12 -> int3: as the smoothness of an object's surface increases, the friction of that object will decrease; int3 & sent24 -> hypothesis;
$proof$ = sent4 & sent6 & sent25 -> hypothesis;
$proof$ = sent21 & sent13 -> hypothesis;
$proof$ = sent2 & sent22 -> hypothesis;
$proof$ = sent14 & sent21 -> int1: a plant is made up of plant cells that contain a nucleus, chloroplasts, and a cell wall; int1 & sent23 -> int2: a plant is made up of plant cells that contain a nucleus, chloroplasts, and a cell wall; int2 & sent10 -> hypothesis;
$proof$ = sent13 & sent22 -> int1: the insect changed from an immature form to an adult form in metamorphosis; sent19 & sent25 -> int2: an insect is never a pupa in the metamorphosis process; int1 & int2 -> int3: the insect has not gone through the pupa stage in the metamorphosis process; int3 & sent9 -> hypothesis;
$proof$ = sent20 & sent10 -> int1: the cones of a jack pine tree are sealed with a resin that prevents seed dispersal; int1 & sent21 -> int2: the cones of a jack pine tree are sealed with a resin that prevents seed dispersal; sent5 & sent1 -> int3: a wildfire causes trees to produce heat; int3 & sent9 -> int4: a wildfire causes that something to be able to disperse seeds; int2 & int4 -> hypothesis;
$proof$ = sent23 & sent19 -> int1: an example of camouflage is an animal having the same color as its environment; int1 & sent3 -> int2: an example of camouflage is an animal having dark fur; int2 & sent20 -> int3: an example of camouflage is an animal's fur having the same color as its environment; int3 & sent1 -> int4: an example of camouflage is an animal having dark fur; sent5 & sent10 -> int5: protecting an animal has a positive impact on that animal's survival; int4 & int5 -> int6: having dark fur has a positive impact on an animal's survival; sent14 & sent7 -> int7: a forest is a kind of environment; int6 & int7 -> hypothesis;
$proof$ = sent25 & sent14 -> int1: claws are used to catch prey by some birds; sent17 & sent1 -> int2: some predators eat other animals for food; int1 & int2 -> hypothesis;
$proof$ = sent17 & sent17 -> int1: storing something is a kind of method for increasing the availability of something; int1 & sent18 -> int2: storing water is a kind of adaptation to a dry environment; int2 & sent24 -> hypothesis;
$proof$ = sent19 & sent3 -> int1: as the size of a plant's leaves increases, the amount of sunlight absorbed by that plant will increase; int1 & sent21 -> int2: as the size of a plant's leaves increases, the amount of sunlight absorbed by that plant will increase; int2 & sent23 -> int3: as the size of a plant's leaves increases, the amount of sunlight absorbed by that plant will increase; int3 & sent19 -> int4: as the size of a plant grows, the size of its leaves will increase; int4 & sent16 -> int5: slow leaf growth has a negative impact on a plant's survival; sent6 & sent2 -> int6: slow leaf growth has a negative impact on a plant's survival; int5 & int6 -> hypothesis;
$proof$ = sent19 & sent20 -> int1: a salamander requires great amounts of water to thrive; int1 & sent6 -> int2: as the amount of water in an environment increases, the population of salamander may increase; int2 & sent11 -> hypothesis;
$proof$ = sent10 & sent1 -> int1: the decrease of something required by a fish has a negative impact on that fish's survival; sent24 & sent13 -> int2: a fish requires oxygen for survival; int2 & sent8 -> int3: oxygen is required for fish' survival; int1 & int3 -> int4: hot weather has a negative impact on fish' survival; sent21 & sent17 -> int5: temperature is a property of weather; int5 & sent21 -> int6: hot weather has a negative impact on fish's survival; int4 & int6 -> hypothesis;
$proof$ = sent23 & sent10 -> int1: a plant requires nutrients in soil to grow; int1 & sent2 -> int2: nutrients in soil are required for plant growth; sent11 & sent18 -> int3: if something impacts multiple parts of a process then that something may have the greatest impact on that process; int2 & int3 -> int4: nutrients in soil may have the greatest impact on plant growth; int4 & sent4 -> int5: the type of soil may have the greatest impact on plant growth; int5 & sent12 -> hypothesis;
$proof$ = sent25 & sent3 -> int1: frogs and birds use skin to breathe air; sent13 & sent20 -> int2: an animal requires air for survival; int2 & sent23 -> int3: breathing is a kind of function for animals; int3 & sent8 -> int4: the function of skin on frogs and the function of lungs in birds are similar; int1 & int4 -> hypothesis;
$proof$ = sent5 & sent19 -> int1: the respiratory system transports oxygen to the circulatory system; sent1 & sent8 -> int2: if a part of a system performs a function then that system performs that function through that part; int1 & int2 -> int3: the respiratory system and circulatory system both perform the function of bringing oxygen to the body; int3 & sent2 -> int4: the respiratory system and circulatory system both perform the function of bringing oxygen to the body; int4 & sent12 -> hypothesis;
$proof$ = sent9 & sent9 -> int1: the digestive system absorbs food; int1 & sent8 -> int2: an organism absorbs nutrients from food; int2 & sent19 -> int3: nutrients are absorbed from the small intestine; int3 & sent6 -> hypothesis;
$proof$ = sent3 & sent9 -> hypothesis;
$proof$ = sent11 & sent19 -> int1: if an action is a step in a process, then that action helps in the performance of that process; int1 & sent9 -> int2: an action helps eliminate waste from the body; sent1 & sent14 -> int3: the kidneys are a vehicle for removing waste from the body; int2 & int3 -> hypothesis;
$proof$ = sent22 & sent12 -> hypothesis;
$proof$ = sent16 & sent8 -> int1: rheumatoid arthritis is when the body attacks its own tissues; int1 & sent18 -> int2: if rheumatoid arthritis is caused by something else, then that something else will happen first; int2 & sent10 -> hypothesis;
$proof$ = sent14 & sent23 -> int1: hollow bones have a positive impact on an animal's ability to fly; int1 & sent3 -> int2: hollow bones have a positive impact on a bird's ability to fly; int2 & sent20 -> int3: feathers / wings have a positive impact on some birds' ability to fly; sent18 & sent8 -> int4: using flight has a positive impact on a bird's survival; int4 & sent4 -> int5: hollow bones have a positive impact on an animal's ability to fly; int3 & int5 -> hypothesis;
$proof$ = sent9 & sent7 -> int1: the muscular system helps animals move; int1 & sent21 -> hypothesis;
$proof$ = sent10 & sent3 -> int1: eyes are a part of a human for sensing; int1 & sent2 -> int2: eyes are a part of the body for sensing; sent4 & sent6 -> int3: nerve cells carry messages from the eyes to the rest of the body; int2 & int3 -> int4: nerves carry messages from the eyes to the rest of the body; int4 & sent14 -> hypothesis;
$proof$ = sent13 & sent3 -> int1: bone can be used to provide protection; int1 & sent8 -> int2: bone can be used to provide support; int2 & sent23 -> int3: protection and support are jobs of the skeletal system; int3 & sent9 -> hypothesis;
$proof$ = sent8 & sent12 -> int1: scales are used for protection by scaled animals; int1 & sent1 -> hypothesis;
$proof$ = sent12 & sent2 -> hypothesis;
$proof$ = sent6 & sent13 -> int1: a baby elephant become adult elephant; int1 & sent17 & sent25 -> int2: cell division will cause the baby elephant to become adult elephant; int2 & sent12 -> int3: the number of offspring an animal has increases, the number of offspring surviving will increase; int3 & sent8 -> hypothesis;
$proof$ = sent10 & sent12 -> hypothesis;
$proof$ = sent5 & sent4 -> int1: mitosis produces two identical nuclei; sent10 & sent4 -> int2: mitosis produces two diploid cells that are identical to the parent diploid cell; int1 & int2 -> hypothesis;
$proof$ = sent18 & sent6 -> int1: the heart pumping blood transports oxygen to the rest of the body; int1 & sent16 -> int2: the heart pumping blood is an example of an organ working together; sent18 & sent9 -> int3: the heart, blood vessels, kidneys, and bladder are kinds of organs; int2 & int3 -> int4: the heart, blood vessels, kidneys, and bladder are parts of the body working together; int4 & sent23 -> hypothesis;
$proof$ = sent2 & sent6 -> hypothesis;
$proof$ = sent14 & sent11 -> int1: a cell wall has a similar function to providing structure for a plant cell; sent13 & sent22 -> int2: the bark of a tree is used to protect the trunk of a tree; int1 & int2 -> hypothesis;
$proof$ = sent16 & sent13 -> hypothesis;
$proof$ = sent16 & sent24 -> hypothesis;
$proof$ = sent14 & sent5 -> int1: vacuoles are the organelles that store water and starch for cells; sent22 & sent18 -> int2: a potato is made of plant cells; int2 & sent20 -> int3: a potato is made of water and starch; int1 & int3 -> hypothesis;
$proof$ = sent5 & sent1 -> hypothesis;
$proof$ = sent11 & sent9 -> hypothesis;
$proof$ = sent6 & sent24 -> int1: photosynthesis means green plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen for themselves; int1 & sent23 -> int2: photosynthesis is a kind of process in which plants convert carbon dioxide and water and sunlight into carbohydrates and food and oxygen for themselves; sent5 & sent20 -> int3: a leaf absorbs sunlight to perform photosynthesis; int2 & int3 -> int4: a leaf absorbs sunlight for photosynthesis; sent4 & sent14 -> int5: sunlight is a kind of energy; int4 & int5 -> int6: a plant absorbs light energy; int6 & sent10 -> hypothesis;
$proof$ = sent1 & sent2 -> int1: seeds sprouting causes plants to grow; int1 & sent18 -> int2: acorns sprouting causes plants to grow; sent14 & sent18 -> int3: burying a plant in soil is a kind of process for providing soil to that plant; int2 & int3 -> hypothesis;
$proof$ = sent6 & sent24 -> int1: an animal requires energy to heal; int1 & sent4 -> int2: energy for healing comes from food; sent21 & sent5 -> int3: taking in food is a source of energy for animals; int3 & sent23 -> int4: food is a source of energy for animals; int2 & int4 -> hypothesis;
$proof$ = sent17 & sent20 -> int1: leafy vegetables are a source of nutrients; int1 & sent22 -> int2: leafy vegetables are a source of minerals; int2 & sent1 -> hypothesis;
$proof$ = sent2 & sent17 -> int1: infection can cause throat tissues to swell; int1 & sent12 -> int2: the swelling of throat tissues is a kind of condition that can result from infection; int2 & sent25 -> hypothesis;
$proof$ = sent5 & sent16 -> int1: exercise has a positive impact on a human's health; sent7 & sent21 -> int2: good health is important to a human; int1 & int2 -> hypothesis;
$proof$ = sent1 & sent14 -> int1: a tundra is a kind of environment; int1 & sent21 -> hypothesis;
$proof$ = sent15 & sent4 -> int1: a seed is a kind of organism; int1 & sent10 -> int2: humans eat organisms for food; int2 & sent16 -> int3: in the food chain process a human has the role of consumer; int3 & sent20 -> hypothesis;
$proof$ = sent18 & sent14 -> int1: rabbits eat plants; int1 & sent17 -> int2: eagles do not eat plants; sent7 & sent11 -> int3: eagles eat animals; int2 & int3 -> int4: eagles are a kind of carnivore; sent4 & sent13 -> int5: carnivores only eat animals; int4 & int5 -> int6: carnivores only eat animals; int6 & sent21 -> hypothesis;
$proof$ = sent5 & sent19 -> int1: decomposers cause soil to be fertile by breaking down those dead organisms; sent21 & sent5 -> int2: plants and animals are kinds of organisms; int1 & int2 -> int3: decomposition causes soil to be fertile by breaking down those dead organisms; int3 & sent20 -> int4: bacteria causes soil to be fertile by breaking down dead plants and animals; int4 & sent2 -> hypothesis;
$proof$ = sent1 & sent24 -> int1: decaying plant is a kind of organic matter; int1 & sent13 -> int2: dead organisms are a source of nutrients for decomposers; int2 & sent3 -> int3: decomposition is when a decomposer recycles / returns nutrients from dead organisms to the soil; sent4 & sent6 -> int4: fertile soil is high in amount of nitrogen; int3 & int4 -> int5: decomposition is important for the formation of fertile soil; int5 & sent8 -> hypothesis;
$proof$ = sent7 & sent6 -> int1: some rabbits live in meadows; int1 & sent25 -> int2: some rabbits live in meadows; sent15 & sent25 -> int3: humans changing a meadow causes that meadow to be destroyed; int3 & sent3 -> int4: humans / farmers planting fruit trees in a meadow causes rabbit populations to decrease in that meadow; int2 & int4 -> int5: humans / farmers planting fruit trees in a meadow causes rabbit populations to decrease in that meadow; sent19 & sent11 -> int6: if an animal dies then the population of that animal will decrease; int6 & sent6 -> int7: some rabbits are a kind of environment; int5 & int7 -> hypothesis;
$proof$ = sent25 & sent3 & sent23 -> int1: a robin and a cricket are both kinds of animals; int1 & sent2 -> int2: the robin is the predator and the cricket is the prey; int2 & sent9 -> hypothesis;
$proof$ = sent14 & sent15 -> int1: earthworms can loosen the soil; int1 & sent10 -> hypothesis;
$proof$ = sent6 & sent13 -> int1: sunlight is a kind of nonliving thing; int1 & sent18 & sent12 -> hypothesis;
$proof$ = sent12 & sent19 -> int1: a dissecting kit is an instrument used to study amphibian anatomy; int1 & sent9 -> hypothesis;
$proof$ = sent19 & sent17 -> hypothesis;
$proof$ = sent11 & sent8 -> hypothesis;
$proof$ = sent9 & sent18 -> int1: a dog laying down on command is an example of a dog following order; int1 & sent8 -> hypothesis;
$proof$ = sent1 & sent10 -> hypothesis;
$proof$ = sent1 & sent21 -> int1: food preference is a kind of learned characteristics; sent20 & sent10 -> int2: learned characteristics are not inherited from parents; int1 & int2 -> hypothesis;
$proof$ = sent7 & sent7 -> int1: human is a kind of inherited characteristic; int1 & sent5 -> int2: humaneditary characteristics are inherited characteristics; int2 & sent22 -> hypothesis;
$proof$ = sent2 & sent24 -> int1: offspring receive genes from parents; int1 & sent22 -> int2: offspring usually resemble parents; int2 & sent4 -> hypothesis;
$proof$ = sent3 & sent7 -> int1: thymine cannot be found in rna; int1 & sent5 & sent15 -> hypothesis;
$proof$ = sent3 & sent19 & sent12 -> int1: lions eating zebras is an example of animal eating; int1 & sent14 -> hypothesis;
$proof$ = sent14 & sent20 -> hypothesis;
$proof$ = sent7 & sent16 -> int1: baking soda and vinegar are two substances; int1 & sent24 -> int2: combining baking soda and vinegar can cause chemical reactions; int2 & sent2 -> hypothesis;
$proof$ = sent2 & sent21 -> hypothesis;
$proof$ = sent15 & sent24 -> int1: lemon juice is corrosive; sent4 & sent3 -> int2: lemon juice changes the color of litmus paper from blue to red; int1 & int2 -> int3: lemon juice is an acid; int3 & sent25 -> hypothesis;
$proof$ = sent17 & sent18 -> int1: an atom is made of protons and neutrons; int1 & sent8 -> hypothesis;
$proof$ = sent8 & sent22 -> hypothesis;
$proof$ = sent21 & sent16 -> int1: the nucleus of an atom is made of both protons and neutrons; int1 & sent9 -> hypothesis;
$proof$ = sent9 & sent15 -> int1: the nucleus of an atom is made of protons and neutrons; int1 & sent13 -> hypothesis;
$proof$ = sent2 & sent13 -> int1: electrons orbit the nucleus of an atom; int1 & sent12 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent2 & sent17 -> hypothesis;
$proof$ = sent13 & sent15 -> int1: wood is a store of chemical energy; int1 & sent16 -> hypothesis;
$proof$ = sent22 & sent25 -> hypothesis;
$proof$ = sent2 & sent11 -> hypothesis;
$proof$ = sent16 & sent13 -> hypothesis;
$proof$ = sent3 & sent22 & sent1 -> hypothesis;
$proof$ = sent21 & sent9 -> int1: a lit candle requires oxygen to burn; int1 & sent15 & sent7 -> int2: the lit candle left out in the open is exposed to oxygen; int2 & sent5 -> hypothesis;
$proof$ = sent5 & sent16 -> int1: if alcohol is heated, then the alcohol liquid in the tube will expand; int1 & sent20 -> int2: the alcohol liquid in the tube will increase in height; int2 & sent14 -> hypothesis;
$proof$ = sent4 & sent22 -> hypothesis;
$proof$ = sent17 & sent10 -> int1: a graduated cylinder can be used to measure the volume of water; int1 & sent1 & sent13 -> hypothesis;
$proof$ = sent13 & sent24 -> hypothesis;
$proof$ = sent19 & sent12 -> int1: seeing an insect is difficult; 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$ = sent6 & sent13 -> int1: the height of a door is a measure of length from the top of the door to the bottom of the door; int1 & sent7 -> hypothesis;
$proof$ = sent6 & sent25 -> hypothesis;
$proof$ = sent2 & sent16 -> hypothesis;
$proof$ = sent20 & sent8 & sent16 -> int1: a student combined two substances together; int1 & sent18 -> hypothesis;
$proof$ = sent11 & sent15 & sent17 -> int1: salt dissolves in water is an example of one substance dissolving in another substance; int1 & sent14 -> int2: salt water is a kind of solution; int2 & sent22 -> hypothesis;
$proof$ = sent12 & sent7 -> int1: copper and zinc are two metals; int1 & sent2 -> int2: brass is made of at least two metals; int2 & sent4 -> hypothesis;
$proof$ = sent11 & sent19 & sent7 -> int1: sugar dissolves in water is an example of one substance dissolving in another substance; int1 & sent17 -> int2: sugar water is a kind of solution; int2 & sent21 -> int3: sugar water is a mixture; int3 & sent13 -> hypothesis;
$proof$ = sent3 & sent21 -> hypothesis;
$proof$ = sent5 & sent18 -> int1: oil will float on water; int1 & sent4 -> hypothesis;
$proof$ = sent3 & sent21 -> int1: density is an intensive property of a substance; int1 & sent9 -> hypothesis;
$proof$ = sent4 & sent24 -> int1: copper is an electrical conductor; sent18 & sent24 -> int2: copper is a kind of material; int1 & int2 -> hypothesis;
$proof$ = sent25 & sent18 -> int1: sugar dissolves in water when they are combined; int1 & sent12 -> hypothesis;
$proof$ = sent24 & sent13 -> int1: students are classifying the leaves by their properties; int1 & sent11 -> hypothesis;
$proof$ = sent15 & sent1 -> hypothesis;
$proof$ = sent3 & sent7 & sent23 -> int1: the ice will undergo a phase change; int1 & sent17 -> hypothesis;
$proof$ = sent17 & sent3 -> int1: water is in solid ice; int1 & sent19 -> hypothesis;
$proof$ = sent3 & sent20 & sent5 -> hypothesis;
$proof$ = sent10 & sent15 -> int1: a leaf is a part of a plant; int1 & sent12 & sent25 -> int2: fibers are a product of plants; sent5 & sent3 -> int3: a tree is a source of paper; int2 & int3 -> hypothesis;
$proof$ = sent6 & sent19 -> int1: a simple machine requires energy to function; int1 & sent5 -> int2: a simple machine and energy have a relationship; int2 & sent23 -> int3: a physicist studies the relationship between simple machines and energy; int3 & sent12 -> hypothesis;
$proof$ = sent18 & sent1 -> int1: an airplane can move people and products across bodies of water; int1 & sent20 -> hypothesis;
$proof$ = sent8 & sent14 -> hypothesis;