$proof$ = sent4 & sent3 & sent23 -> int1: the sun rising and setting is a kind of event that occurs once per day; sent10 & sent12 -> int2: the sun rising and setting causes the cycles of day and night; int1 & sent17 & int2 -> hypothesis;
$proof$ = sent21 & sent20 -> int1: as the distance from a source of something increases, that something will decrease; sent17 & sent14 -> int2: earth is a planet that is a kind of celestial object; int2 & sent9 & sent18 -> int3: a star and earth are kinds of celestial objects; sent3 & int3 -> int4: as the distance between the star and earth increases, the star will appear brighter; int1 & int4 -> hypothesis;
$proof$ = sent22 & sent5 & sent2 -> hypothesis;
$proof$ = sent12 & sent6 -> int1: new york state is located in the northern hemisphere; int1 & sent15 -> int2: decemeber is during the winter for new york state; sent20 & int2 -> hypothesis;
$proof$ = sent4 & sent22 -> int1: earth is a planet that rotates on its tilted axis; sent23 & int1 -> int2: the earth rotating on its axis causes the cycles of day and night on earth; int2 & sent13 -> hypothesis;
$proof$ = sent25 & sent16 -> int1: the gardens will have the most sunlight in summer; int1 & sent22 -> int2: the gardens will have the most solar energy in summer; sent10 & int2 -> int3: the plants in the gardens will receive the most sunlight in summer; sent9 & int3 -> hypothesis;
$proof$ = sent18 & sent24 & sent2 -> hypothesis;
$proof$ = sent4 & sent11 & sent5 -> int1: earth is a planet that revolves around the sun; sent3 & sent9 -> int2: a revolution occurs when a planet revolves around its star; int1 & sent14 -> int3: earth revolving the sun is an example of a planet revolving around its star; int2 & int3 -> int4: a revolution occurs when earth revolves around the sun; sent17 & sent18 & int4 -> hypothesis;
$proof$ = sent15 & sent23 -> int1: earth is a planet; sent16 & sent25 -> int2: the earth rotating on its tilted axis occurs once per day; int1 & sent5 -> int3: earth is a planet that rotates on its tilted axis; sent20 & int3 -> int4: the earth is a planet that rotates on its tilted axis; int2 & sent24 & int4 -> hypothesis;
$proof$ = sent11 & sent5 -> int1: a star is a kind of celestial object; sent10 & sent14 -> int2: the sun is a kind of celestial object; int1 & int2 -> int3: a complete orbit of the earth around the sun takes one year; sent22 & sent20 & int3 -> hypothesis;
$proof$ = sent9 & sent18 -> hypothesis;
$proof$ = sent1 & sent5 & sent13 -> hypothesis;
$proof$ = sent10 & sent18 & sent7 -> int1: a comet is a kind of celestial object that has a highly elliptical orbit; sent14 & sent16 -> int2: comet orbits occur once per 10000 years; int1 & int2 -> int3: comets are the celestial object that has a highly elliptical orbit and a period of over 1000 years; sent10 & int3 -> hypothesis;
$proof$ = sent11 & sent6 & sent3 -> hypothesis;
$proof$ = sent20 & sent24 -> int1: the sun is a kind of celestial object; sent22 & int1 -> int2: the sun is a bright celestial object; int2 & sent13 -> int3: looking at the sun has a negative impact on the eyes; int3 & sent17 & sent9 -> hypothesis;
$proof$ = sent20 & sent10 -> hypothesis;
$proof$ = sent19 & sent25 -> hypothesis;
$proof$ = sent6 & sent10 & sent19 -> hypothesis;
$proof$ = sent18 & sent13 -> int1: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; sent17 & sent25 -> int2: as the mass of an object decreases, the weight of an object on that object will decrease; sent9 & sent12 -> int3: mars is a planet that has a greater mass than earth; int3 & sent7 -> int4: earth is a planet that has a greater mass than the planet mars; int4 & sent6 & int1 -> int5: objects will weigh less on mars than on earth because their mass is less on mars; sent23 & int2 & int5 -> hypothesis;
$proof$ = sent23 & sent15 -> int1: a telescope can be used for observing celestial objects; sent8 & sent17 -> int2: moons orbit around jupiter; sent9 & sent17 -> int3: jupiter is a kind of celestial object; int1 & int3 & int2 -> int4: a telescope can be used to observe the moons that orbit around jupiter; sent20 & int4 -> hypothesis;
$proof$ = sent18 & sent20 & sent8 -> int1: a new moon occurs 14 days after the last full moon; sent2 & sent24 & sent12 -> int2: the moon is a kind of celestial object; int2 & sent4 -> int3: the moon phases occur 28 days after the last time they occur; int3 & sent17 -> int4: each moon phase occurs once per month; sent13 & int4 & int1 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent12 & sent9 & sent13 -> int1: ocean animals are kinds of water animals living in oceans; int1 & sent10 & sent25 -> hypothesis;
$proof$ = sent21 & sent16 -> int1: if fossils of water animals or plants are found in a place then that animal or plant used to live in that place; sent16 & sent21 -> int2: if fossils of a water animal or plant are found in a place then that water animal or plant used to live in that place; sent6 & sent19 -> int3: aquatic animals live in oceans; sent1 & sent4 & sent5 -> int4: an ocean is a kind of environment; sent24 & sent12 -> int5: water is a part of the environment; sent11 & sent17 & int1 -> int6: the fossil of an ocean plant is found in the desert; int2 & int1 -> int7: if fossils of water animals or plants are found in a place then that water animal or plant used to live in that place; sent25 & int3 -> int8: ocean animals are kind of water animals living in oceans; sent9 & int4 & int5 -> int9: an ocean environment is a kind of environment; sent8 & int7 -> int10: if fossils of water animals or plants are found in a place then that place used to be covered by water in the past; sent15 & int8 -> int11: an ocean plant is a kind of water plant living in oceans; int11 & int4 -> int12: an ocean plant is a kind of environment; int9 & int12 -> int13: an ocean environment is a kind of ocean plant; int12 & sent9 -> int14: a desert environment is a kind of environment; int13 & int6 -> int15: the fossil of an ocean environment is found in the desert; int14 & int15 & int10 -> hypothesis;
$proof$ = sent13 & sent10 -> int1: an ocean is a kind of environment; sent19 & sent16 -> int2: marine animals are a kind of water animals living in oceans; sent17 & sent24 -> int3: if fossils of water animals are found in a place then that place used to be covered by water in the past; int2 & sent1 -> int4: marine fossils are fossils of water animals living in oceans; sent7 & int4 -> int5: fossils of water animals are found in mountains; int3 & int5 & sent15 -> int6: the mountains used to be covered by water in the past; int6 & sent5 & int1 -> int7: the environment has changed from an ocean to mountains; sent10 & sent13 & int7 -> hypothesis;
$proof$ = sent21 & sent10 -> hypothesis;
$proof$ = sent15 & sent5 -> hypothesis;
$proof$ = sent21 & sent20 -> int1: in the rock cycle, erosion follows weathering; sent4 & int1 -> hypothesis;
$proof$ = sent23 & sent4 -> int1: exposure to extreme heat and pressure changes shale into metamorphic rock; int1 & sent18 & sent3 -> hypothesis;
$proof$ = sent4 & sent24 -> int1: class is a property of a rock that includes values of sedimentary, metamorphic, and igneous; sent11 & sent19 -> int2: classifying is when one sorts something by class; int1 & int2 -> int3: rocks can be classified based on how they were formed; sent10 & int3 -> hypothesis;
$proof$ = sent17 & sent3 -> int1: sedimentary and metamorphic are kinds of rocks; sent12 & sent19 -> int2: class is a property of a rock and includes values of sedimentary; sent7 & sent21 -> int3: exposure to extreme heat and pressure changes igneous rock into metamorphic rock; sent7 & sent21 -> int4: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; sent6 & sent1 -> int5: rocks are classified based on how they were formed; sent10 & sent5 -> int6: sedimentary rock and metamorphic rock are kinds of rocks; int2 & sent8 -> int7: sedimentary rock is a kind of rock that is igneous; int1 & int6 & int4 -> int8: in this example, in the rock is metamorphic rock and in the other example, sedimentary rock; int8 & int7 -> int9: the rock is igneous and the rock is sedimentary; int3 & int9 -> int10: the rock is igneous, sedimentary, and metamorphic; int10 & int5 -> int11: rocks are classified as igneous, sedimentary, or metamorphic; int11 & sent1 -> hypothesis;
$proof$ = sent5 & sent2 -> int1: if something contains something else then that something contains that something else; sent1 & sent13 -> int2: if something is formed from sediment then that something is made of sediment; sent11 & sent20 -> int3: organic material is a source of organic material; int1 & sent21 -> int4: organisms contain high amounts of carbon; int2 & sent9 -> int5: organic sedimentary is made of sediment; int1 & int4 -> int6: high amounts of carbon in organisms are a feature of organic material; int5 & sent7 -> int7: organic sedimentary rock is made of sediment; int6 & sent17 -> int8: organic material is a source of high amounts of carbon; int3 & int8 -> int9: organic material is a source of high amounts of carbon in sediments; int7 & int9 -> int10: organic sedimentary rock contains high amounts of carbon; sent8 & int10 -> hypothesis;
$proof$ = sent22 & sent11 -> int1: forming sedimentary rock requires burying sediments; sent13 & sent25 -> int2: sedimentary rock is a kind of structure; sent21 & sent9 -> int3: sedimentary rock is made of materials; sent4 & int1 -> int4: sedimentary rocks are formed by sediment being buried and compacted; sent19 & int4 -> int5: sedimentary rocks are formed by sediment being buried and cemented together; int3 & int5 -> int6: sedimentary rocks are formed by materials being deposited then buried and cemented together; int1 & int6 -> int7: sedimentary rocks are formed by being buried then cemented together; int2 & int7 -> hypothesis;
$proof$ = sent22 & sent24 -> int1: carbon dioxide can be found in the atmosphere; sent10 & sent9 -> int2: burning fossil fuels increases the amount of carbon in the atmosphere; sent17 & int1 -> int3: burning fossil fuels adds carbon to the atmosphere; sent4 & int2 -> int4: burning fossil fuels increases the amount of carbon in the air; int4 & int3 -> hypothesis;
$proof$ = sent23 & sent14 -> hypothesis;
$proof$ = sent15 & sent9 -> hypothesis;
$proof$ = sent11 & sent10 -> int1: an advantage is when a resource is available for a long time; int1 & sent3 -> hypothesis;
$proof$ = sent10 & sent8 -> int1: sunlight is a kind of inexhaustable resource; sent11 & int1 -> int2: the supply of sunlight will not change over a long period of time; sent9 & int2 -> hypothesis;
$proof$ = sent24 & sent4 -> int1: solar energy is a kind of renewable resource; sent1 & sent15 -> int2: a source of heat can be used to heat a home; int2 & sent10 -> int3: solar energy can be used to heat a home; sent6 & int3 -> int4: an example of using renewable energy is using solar energy to heat a home; int4 & int1 -> hypothesis;
$proof$ = sent22 & sent12 -> int1: soil erosion caused by moving water is when water moves soil from fields / environments; sent25 & sent23 -> int2: plants roots prevent soil erosion; sent14 & sent9 -> int3: roots are a part of a tree; sent1 & sent16 -> int4: soil erosion caused by moving water is a kind of erosion; int1 & sent6 -> int5: soil erosion caused by moving water is when soil is washed away; int3 & sent10 -> int6: a tree is a kind of plant that has roots; int2 & int4 & int5 -> int7: plants roots prevent soil from being washed away; int7 & int6 -> hypothesis;
$proof$ = sent25 & sent23 -> int1: sunlight is a kind of resource that produces electricity; sent25 & sent23 -> int2: a solar energy source produces electricity; sent18 & sent16 -> int3: sunlight is a kind of resource; sent24 & sent1 -> int4: solar energy is a kind of renewable resource; sent13 & sent2 -> int5: photovoltaic cells convert solar energy into electrical energy; int1 & int2 -> int6: a solar energy source uses sunlight as a resource to produce electricity; sent20 & sent7 & int5 -> int7: photovoltaic cells convert solar energy into electricity; int6 & int7 -> int8: photovoltaic cells use sunlight as a resource to produce electricity; int3 & int8 -> int9: photovoltaic cells use sunlight as a resource by producing electricity; int9 & int4 -> hypothesis;
$proof$ = sent15 & sent7 & sent13 -> int1: runoff is when cropland water enters a lake; sent12 & sent16 -> int2: an impact can mean to affect something; sent18 & sent19 & sent9 -> int3: algae is a kind of organism found in lakes; sent11 & sent4 & int1 & sent6 -> int4: runoff from a cropland can enter a lake; int2 & sent5 -> int5: impact can mean to affect something; int3 & sent1 & sent11 -> int6: algae is a kind of organism that can grow in lakes; int6 & sent23 -> int7: fertilizers have a positive impact on algae growth in lakes; int7 & sent8 -> int8: runoff from cropland can have a positive impact on algae growth in lakes; int8 & int4 -> int9: runoff entering a lake can have a positive impact on algae growth in lakes; int5 & int9 -> hypothesis;
$proof$ = sent23 & sent20 -> int1: a tadpole is a kind of organism that lives in water; sent15 & sent10 -> int2: organisms may be unable to survive if something has a negative impact on their survival; sent5 & sent17 -> int3: acid rain can change the ph of water; sent14 & sent19 -> int4: a tadpole is a kind of young; sent4 & int2 -> int5: an organism may be unable to survive if something has a negative impact on their survival; int3 & int1 -> int6: acid rain can change the ph of water so that tadpoles can live in acidic water; int4 & int6 -> int7: acid rain can change the PH of water so that tadpoles can live in acidic water; int5 & int7 -> hypothesis;
$proof$ = sent16 & sent24 & sent18 -> hypothesis;
$proof$ = sent23 & sent18 -> int1: starvation causes organisms to starve; sent6 & sent8 -> int2: a decrease of something required by an organism has a negative impact on that organism's survival; sent14 & sent22 -> int3: if the fish that an animal eats decreases in amount then that animal will lack food; sent14 & sent22 -> int4: if the animals that eat fish lack food then those animals will lack food; int2 & sent5 -> int5: a decrease of nutrients has a negative impact on organisms; int3 & int4 -> int6: starving animals that eat fish can cause those animals to lack food; int5 & sent16 -> int7: a lack of nutrients has a negative impact on animals; int4 & int6 -> int8: starvation of the animals that eat fish can cause those animals to lack food; int1 & int7 -> int9: starvation has a negative impact on animals; int9 & int8 -> int10: starvation of the animals that eat fish can have a negative impact on those animals; int6 & int10 -> hypothesis;
$proof$ = sent12 & sent7 -> int1: paper can be recycled many times; sent16 & int1 -> hypothesis;
$proof$ = sent23 & sent15 -> int1: glass is a kind of material that is recyclable; sent7 & sent17 -> int2: a glass bottle is a kind of material; sent2 & sent18 -> int3: recyclable materials can be recycled many times; sent24 & int1 -> int4: glass bottles are recyclable; int4 & int3 & int2 -> hypothesis;
$proof$ = sent9 & sent20 -> hypothesis;
$proof$ = sent3 & sent24 -> int1: nitrogen makes up 99% of the earth's atmosphere by mass; sent17 & int1 -> hypothesis;
$proof$ = sent15 & sent13 -> int1: soil is formed by weathering rocks; sent9 & sent12 -> int2: weathering rocks is a kind of erosion; sent2 & sent24 -> int3: lichens can break down rocks by chemical reaction; int2 & sent11 -> int4: soil is formed by weathering soil; int1 & int4 -> int5: soil is formed by weathering rocks and forming soil; int3 & int5 -> hypothesis;
$proof$ = sent10 & sent23 -> int1: the sierra nevada is a mountain range that contains mountains; int1 & sent24 & sent3 -> hypothesis;
$proof$ = sent22 & sent23 & sent5 -> hypothesis;
$proof$ = sent1 & sent20 & sent16 -> int1: a landslide often occurs on mountains; sent23 & sent21 & int1 -> hypothesis;
$proof$ = sent20 & sent3 -> int1: moving water over long periods of time causes soil erosion; sent4 & sent25 -> int2: pouring water onto soil causes soil to wash away; sent18 & sent12 -> int3: the grand canyon was formed by flowing rivers through erosion over long periods of time; sent11 & sent17 -> int4: the grand canyon is formed by flowing rivers through erosion over long periods of time; int1 & int3 & int4 -> int5: the grand canyon was formed by moving water over long periods of time; int5 & sent14 -> int6: pouring water onto soil causes erosion; int2 & int6 -> hypothesis;
$proof$ = sent9 & sent4 -> int1: ice wedging is when water gets into the crack of the rock; int1 & sent11 -> int2: water freezing in the crack of the rock causes the rock to crack; sent20 & int2 -> int3: water freezing in the crack of the rock causes the rock to break apart; int3 & sent21 -> hypothesis;
$proof$ = sent9 & sent11 -> int1: water is a liquid at room temperature; int1 & sent7 -> int2: water can freeze in a rock; sent16 & int2 -> int3: water freezing in a rock causes the crack in the rock to expand; sent14 & int3 -> hypothesis;
$proof$ = sent10 & sent21 -> hypothesis;
$proof$ = sent2 & sent24 -> hypothesis;
$proof$ = sent11 & sent17 -> hypothesis;
$proof$ = sent24 & sent15 -> hypothesis;
$proof$ = sent14 & sent9 -> int1: a person is a kind of animal that shivers; sent10 & sent16 -> int2: when an animal moves, chemical energy is converted to mechanical energy; sent17 & sent2 -> int3: an animal and a human are kinds of living things; sent12 & sent25 -> int4: shivering is when an animal makes the body warm by shaking; sent1 & sent8 & int3 -> int5: a human and an animal are kinds of living things; int5 & int1 -> int6: a person and an animal both shiver; int4 & int6 -> int7: an animal shivers to keep warm; int7 & sent3 -> int8: muscular movement helps animals shiver; sent18 & int8 -> int9: muscular movement helps a human shiver; sent23 & int9 -> int10: muscular movement helps an animal shiver; int10 & int2 -> hypothesis;
$proof$ = sent2 & sent9 -> int1: a hand dryer converts electrical energy into other forms of energy; sent1 & sent5 & int1 -> hypothesis;
$proof$ = sent2 & sent20 -> int1: electrical devices convert electrical energy into other forms of energy; int1 & sent7 -> int2: a lamp converts electrical energy into other forms of energy; sent17 & int2 & sent1 & sent22 -> hypothesis;
$proof$ = sent21 & sent14 -> int1: warmth means greater heat; sent22 & int1 -> hypothesis;
$proof$ = sent2 & sent20 -> hypothesis;
$proof$ = sent4 & sent15 -> int1: the car engine in cars converts chemical energy from gasoline into mechanical energy and moves; sent17 & sent13 -> int2: an example of mechanical energy is the mechanical energy of the car; sent25 & sent23 -> int3: an internal combustion engine; int1 & sent16 -> int4: the car engine converts chemical energy from gasoline into mechanical energy and moves; int3 & int4 -> int5: the car engine converts chemical energy from gasoline into mechanical energy; int5 & sent19 -> int6: the car engine is a kind of machine that converts gasoline into mechanical energy; int6 & sent5 -> int7: the car engine converts chemical energy into mechanical energy for the car; sent8 & int7 & int2 -> hypothesis;
$proof$ = sent16 & sent2 & sent4 -> int1: the block of ice is touching the hot sidewalk; sent5 & sent22 -> int2: hot means high in heat energy; sent6 & sent25 -> int3: ice is a solid solid substance; int1 & sent11 & sent14 -> int4: the block of ice will increase temperature by absorbing heat energy from the sidewalk; int2 & int4 -> int5: the block of ice will increase heat energy; int3 & int5 & sent9 -> hypothesis;
$proof$ = sent19 & sent24 & sent2 -> hypothesis;
$proof$ = sent5 & sent9 -> int1: sunlight is a kind of color; sent19 & sent12 -> int2: a green plant is a kind of object; sent23 & sent16 & sent15 -> int3: a leaf is a green color; sent11 & sent8 & int2 -> int4: a green leaf is a kind of object; int3 & int1 -> int5: a green leaf is a kind of color; sent25 & int5 -> int6: a green leaf is a kind of green object; sent14 & int4 & int6 -> hypothesis;
$proof$ = sent23 & sent22 -> hypothesis;
$proof$ = sent11 & sent1 -> int1: a mirror is a kind of object for reflecting light; sent21 & int1 -> int2: looking at a mirror is an example of light being reflected by that mirror; int2 & sent3 -> hypothesis;
$proof$ = sent2 & sent24 -> int1: there is a person in the dark room looking out the window; sent16 & int1 -> int2: the person in the dark room will reflect enough light to be seen; sent3 & int2 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: a prism is a tool for refracting light; sent15 & int1 -> int2: a prism refracts light and splits light into different colors; int2 & sent11 & sent5 -> hypothesis;
$proof$ = sent22 & sent5 -> hypothesis;
$proof$ = sent5 -> hypothesis;
$proof$ = sent21 & sent8 -> int1: the hot water is boiling; int1 & sent17 -> int2: the hot water is hot; int2 & sent18 & sent10 & sent6 -> int3: the hot boiled egg is touching the cold water; sent3 & int3 -> int4: the hot boiled egg is touching a cold substance; int4 & sent23 -> hypothesis;
$proof$ = sent6 & sent15 -> int1: a pan; sent17 & sent14 -> int2: a pot is a kind of container for cooking; sent20 & sent8 -> int3: if a stove is used for cooking, then that stove will become hot; sent7 & sent20 -> int4: a stove is used for cooking food on a stove; sent7 & sent20 -> int5: a stove is used for cooking food by generating heat; sent20 & sent8 -> int6: if a stove is used for cooking, the food will become hot; sent21 & sent4 -> int7: a pan and a pot are both made of metal for cooking; int1 & sent15 -> int8: a pan and a pot are made of metal for cooking; int3 & int4 -> int9: if a stove is used for cooking food, then that stove will become hot; sent2 & int5 -> int10: a stove becomes hot for cooking; int6 & int3 -> int11: if a stove is used for cooking, then the food will become hot; sent16 & int7 -> int12: a pot and a pan are both made of metal for cooking; int7 & int5 -> int13: a stove becomes hot for cooking food; int11 & int9 -> int14: if a stove is used for cooking food, then the stove will become hot; int2 & int12 -> int15: a pot and a pan are used for cooking in the same pot; int13 & int14 -> int16: if a stove is used for cooking food, then the stove becomes hot; sent9 & int15 -> int17: a pot and a pan are used for cooking food in the same pot; int16 & int10 -> int18: if a stove is used for cooking, then the stove becomes hot; int16 & int10 -> int19: if a stove becomes hot for cooking, then the stove becomes hot; int8 & int17 -> int20: a pot and a pan are used together for cooking; int18 & int19 -> int21: if a stove becomes hot for cooking, then that stove becomes hot; int20 & int21 -> hypothesis;
$proof$ = sent15 & sent11 -> int1: a frying pan and a burner are both made of metal; sent3 & sent6 -> int2: thermal conduction causes the heat to flow from a warmer object to a cooler object; int1 & sent7 -> int3: a frying pan and a burner are kinds of objects; int3 & int2 -> hypothesis;
$proof$ = sent17 & sent19 -> int1: longitudinal waves cause object to move in the same direction as the wave; int1 & sent22 -> int2: compression waves cause object to move in the same direction as the wave; sent22 & int2 -> hypothesis;
$proof$ = sent11 & sent20 & sent6 -> int1: as the friction between two objects increases, the speed of the objects will decrease; sent21 & sent4 & sent10 -> int2: friction occurs between two objects when their surfaces are touching; sent5 & sent24 & sent3 -> int3: a soccer ball and a ball are kinds of objects; int2 & int3 -> int4: friction occurs between the soccer ball and the ball; int1 & sent1 & int4 -> hypothesis;
$proof$ = sent12 & sent13 -> int1: as the smoothness of a surface increases, the friction of that something will decrease when it moves against another surface; sent6 & sent23 -> int2: when friction occurs between two objects, both objects' surfaces touch each other; sent17 & sent9 -> int3: as the roughness of a surface increases, the friction of that something will increase when it moves against another surface; sent5 & int2 -> int4: when the roughness of a surface increases, friction on the wheels and gears will increase; sent24 & int3 -> int5: friction occurs between the wheels and gears when they move against other surfaces; int5 & int4 & int1 -> int6: smoother wheels and gears means less friction on the wheels and gears moving on other surfaces; sent4 & int6 -> hypothesis;
$proof$ = sent6 & sent16 & sent7 & sent2 -> hypothesis;
$proof$ = sent17 & sent5 & sent13 -> hypothesis;
$proof$ = sent22 & sent2 -> hypothesis;
$proof$ = sent15 & sent21 -> int1: plants are part of the biological kingdom plantae; sent17 & sent12 & sent24 -> int2: only plant cells contain chloroplast; int2 & sent24 -> int3: only plant cells contain a cell nucleus and chloroplast; int1 & sent22 & int3 -> hypothesis;
$proof$ = sent11 & sent25 & sent20 -> int1: the insect did not undergo metamorphosis; sent14 & sent21 -> int2: metamorphosis is when an animal changes from an immature form to an adult form; sent7 & int2 -> int3: an insect undergoes metamorphosis; int3 & sent22 -> int4: some insects do not go through the pupa stage in metamorphosis; sent13 & int4 & int1 -> hypothesis;
$proof$ = sent14 & sent10 -> int1: a jack pine tree is a kind of plant; sent6 & sent24 -> int2: a fire gives off heat; sent24 & sent12 -> int3: fire causes smoke; sent22 & int1 & sent8 -> int4: the seeds of a jack pine tree will be dispersed after a wildfire; sent19 & int2 -> int5: a wildfire gives off heat; sent23 & int3 & sent4 -> int6: fire causes heat; int5 & sent14 -> int7: a wildfire gives off heat energy; int7 & int6 -> int8: a wildfire causes heat; sent21 & int8 -> int9: a wildfire causes smoke; int4 & int9 -> hypothesis;
$proof$ = sent13 & sent11 -> int1: coloration is a kind of adaptation for hiding in an environment; sent19 & sent1 -> int2: camouflage is a kind of adaptation for hiding from predators; int1 & sent7 -> int3: coloration is a kind of adaptation for hiding; int2 & sent3 -> int4: hiding has a positive impact on an animal's survival; int4 & int3 -> int5: coloration has a positive impact on an animal's survival; int1 & int5 -> int6: coloration is a kind of adaptation for survival in an environment; sent18 & int6 -> hypothesis;
$proof$ = sent1 & sent25 -> int1: a claw is sometimes a part of a bird; sent17 & int1 -> hypothesis;
$proof$ = sent12 & sent10 -> int1: as dryness increases in an environment, the available water in that environment will decrease; sent20 & sent8 -> int2: drying out means the amount of water decreases; int1 & sent11 -> int3: as dryness in an environment increases, the available water in that environment will decrease; int2 & sent7 -> int4: plants drying out means they do not have enough water to survive; int4 & sent16 -> int5: storing water can increase the water available to plants in a dry environment; int5 & int3 -> int6: storing water in a dry environment can increase the water available to plants; int6 & int1 -> int7: storing water in a dry environment increases the water available to plants; int7 & sent1 -> hypothesis;
$proof$ = sent14 & sent1 -> int1: a leaf is a kind of organism; sent17 & sent23 & sent20 -> int2: leaves undergo growth at a rate ranging from slow to fast; int1 & sent12 -> int3: the decrease of something required by a leaf has a negative impact on that leaf's survival; int3 & int2 -> hypothesis;
$proof$ = sent20 & sent1 -> int1: a salamander requires great amounts of water to survive; sent9 & sent16 -> int2: flooding increases the amount of water in an environment; int1 & sent6 -> int3: as water increases in an environment, the population of salamanders will increase; int2 & int3 -> hypothesis;
$proof$ = sent4 & sent21 -> int1: fish are a kind of organism; int1 & sent3 -> int2: hot weather has a negative impact on fish; sent3 & int1 -> int3: negative impacts on fish are associated with water; int3 & int2 -> hypothesis;
$proof$ = sent14 -> hypothesis;
$proof$ = sent22 -> int1: lungs are a kind of organ for breathing air; sent3 & sent25 -> int2: skin is used for breathing by frogs; sent10 & sent7 -> int3: a bird and a frog are kinds of animals; sent6 & sent21 -> int4: a frog and a bird are kinds of animals; sent2 & int1 -> int5: breathing is a kind of function for lungs; int3 & int2 & int4 -> int6: skin is used for breathing by birds on frogs; int5 & int6 & sent20 -> hypothesis;
$proof$ = sent8 & sent4 -> int1: the respiratory system and the circulatory system are kinds of human; sent11 & sent6 -> int2: a human is a kind of body; sent19 & sent17 -> int3: the respiratory system transports oxygen to the circulatory system; sent20 & sent3 -> int4: the circulatory system brings oxygen to the body; sent19 & sent24 -> int5: the respiratory system brings oxygen to the body; sent16 & int2 -> int6: bringing oxygen to the body is a kind of function for a human; int3 & int5 & int4 -> int7: the respiratory system and circulatory system bring oxygen to the body; int7 & int1 -> int8: the respiratory system and circulatory system are kinds of human that bring oxygen to the body; int6 & int8 -> int9: the respiratory system and circulatory system both bring oxygen to the body; sent21 & int9 -> int10: the respiratory system and circulatory system are similar because they both bring oxygen to the body; int10 & sent10 -> hypothesis;
$proof$ = sent5 & sent20 -> int1: the small intestine is a part of a human's digestive system; sent5 & sent20 -> int2: the small intestine is a part of a human's digestive system for digestion; sent18 & sent15 -> int3: digestion of proteins occurs in the stomach; sent1 & sent20 -> int4: the small intestine is a part of the digestive system for digestion; sent25 & sent19 -> int5: an example of digestion is taking in nutrients by eating; int3 & sent20 -> int6: the small intestine is a part of the digestive system for the digestion of proteins; sent8 & int5 -> int7: an example of digestion is taking in nutrients by eating food; int6 & int1 -> int8: the small intestine is a part of a human's digestive system for the digestion of proteins; int8 & int4 & int2 -> int9: the small intestine is a part of the digestive system for humans; int9 & int7 -> hypothesis;
$proof$ = sent23 & sent3 -> hypothesis;
$proof$ = sent14 & sent19 -> int1: kidney removes waste; sent4 & sent19 -> int2: kidney removes bodily waste; sent23 & sent5 -> int3: waste must be removed from an animal's body; sent2 & sent11 -> int4: waste must be removed from the body; int2 & int4 -> int5: the kidneys remove waste from the body; int5 & sent9 -> int6: the kidneys are a kind of organ in an animal; int3 & int6 -> int7: the kidneys are a kind of organ that removes waste from the body; int7 & sent14 -> int8: the kidneys are a kind of organ for removing waste from the body; int8 & sent18 -> int9: the kidneys are a kind of organ to remove waste from the body; int1 & int9 -> int10: the kidneys are an organ to remove waste from the body; int10 & sent6 -> hypothesis;
$proof$ = sent9 & sent23 -> hypothesis;
$proof$ = sent10 & sent8 -> int1: rheumatoid arthritis is an autoimmune disease; sent16 & sent18 & int1 -> int2: a disordered immune system causes rheumatoid arthritis; sent3 & int2 -> hypothesis;
$proof$ = sent20 & sent14 -> hypothesis;
$proof$ = sent12 & sent7 -> int1: the muscular system push bones to move the bones; sent21 & sent17 -> int2: the muscular system is a part of the body; sent20 & int2 -> int3: muscles are a part of the muscular system; int1 & int3 -> hypothesis;
$proof$ = sent12 & sent2 -> hypothesis;
$proof$ = sent11 & sent6 -> int1: the skeletal system is a part of the body; sent22 & sent8 -> int2: the skeletal system is used to provide protection; sent7 & int1 -> int3: the skeletal system is used to give structure to the body of animals; int2 & sent4 -> int4: the skeletal system is used to provide protection for an animal; int3 & int4 -> int5: the skeletal system is used to provide protection and support for animals; sent17 & int5 -> hypothesis;
$proof$ = sent12 & sent1 -> hypothesis;
$proof$ = sent4 & sent2 -> hypothesis;
$proof$ = sent21 & sent8 -> int1: an elephant is a kind of living thing; sent6 & sent15 -> int2: a living thing grows larger; sent16 & sent15 -> int3: a living thing grows larger when it grows; sent4 & int2 & int3 -> int4: cell division causes a living thing to grow larger; sent17 & int4 -> int5: cell division causes the number of cells in a living thing to increase; int1 & int5 -> int6: cell division causes the number of cells in an elephant to increase; int1 & int5 -> int7: cell division causes the number of cells in the elephant to increase; int7 & int6 & sent12 & sent19 -> hypothesis;
$proof$ = sent12 & sent10 -> hypothesis;
$proof$ = sent11 & sent4 -> hypothesis;
$proof$ = sent17 & sent12 -> int1: blood vessels are a part of the body; int1 & sent3 -> int2: the heart and blood vessels are parts of the body; int2 & sent21 -> int3: the heart, blood vessels, kidneys, and bladder are parts of the body that work together; sent10 & int3 -> int4: the heart, blood vessels, kidneys, and bladder working together make them an organ system; sent9 & int4 -> hypothesis;
$proof$ = sent9 & sent6 & sent5 -> hypothesis;
$proof$ = sent6 & sent15 -> int1: a plant cell is a kind of thing; sent3 & sent21 -> int2: the bark of a tree is a part of a plant for protecting the plant cell; sent19 & sent21 -> int3: a tree and a plant are both kinds of plants; int2 & sent14 -> int4: the cell wall of a plant cell is a part of the plant cell for protecting the plant cell; int1 & int3 -> int5: a tree and a plant are both kinds of things; sent22 & int4 -> int6: the cell wall of a plant cell provides support; int1 & int5 -> int7: a tree and a plant cell are both kinds of things; int6 & sent20 -> int8: the cell wall of a plant cell provides structure; sent16 & int8 -> int9: the cell wall of a plant cell has the function of providing structure; int3 & int9 -> int10: the cell wall of a tree has the function of protecting the tree; sent1 & int10 -> int11: the bark of a tree has the function of protecting the tree; sent23 & int11 -> int12: the bark of a tree and a cell wall both have the function of protecting the tree; int7 & int12 -> int13: a cell wall and the bark of a tree both have the function of protecting the tree; int13 & sent18 -> hypothesis;
$proof$ = sent24 & sent18 -> int1: chromosomes are part of a living thing; int1 & sent7 -> int2: chromosomes are part of a multicellular organism; sent16 & int2 -> hypothesis;
$proof$ = sent6 & sent16 -> hypothesis;
$proof$ = sent20 & sent14 -> int1: vacuoles are organelles that are found in cells; sent5 & sent18 & sent10 -> int2: a potato cell is a kind of cell; sent5 & sent18 & sent10 -> int3: a potato cell is a kind of cell found in potatoes; int1 & sent19 -> int4: vacuoles are the organelles that store water and starch in cells; int4 & int2 & int3 -> hypothesis;
$proof$ = sent8 & sent5 -> hypothesis;
$proof$ = sent24 & sent19 -> int1: photosynthesis converts carbon dioxide, water, and sunlight into carbohydrates; sent12 & sent16 -> int2: a leaf makes food for the plant by performing photosynthesis; int1 & int2 -> hypothesis;
$proof$ = sent10 & sent14 -> hypothesis;
$proof$ = sent1 & sent2 -> hypothesis;
$proof$ = sent3 & sent19 -> int1: an animal needs to eat food to get nutrients; sent22 & sent15 -> int2: energy for animals comes from food; int1 & sent7 -> int3: an animal requires food to get nutrients; int3 & sent4 -> int4: an animal requires food to get energy; int4 & sent5 -> int5: animals require food to get energy; sent13 & int5 -> int6: animals require food for energy; sent20 & int6 -> int7: animals require food for healing; int2 & int7 -> hypothesis;
$proof$ = sent5 & sent14 -> hypothesis;
$proof$ = sent25 & sent2 -> int1: infection can cause throat tissues to swell; sent2 & sent12 -> int2: the swelling of throat tissues is a kind of condition; int1 & int2 -> hypothesis;
$proof$ = sent7 & sent16 -> hypothesis;
$proof$ = sent14 & sent8 -> int1: the tundra is a kind of area; sent1 & int1 -> hypothesis;
$proof$ = sent15 & sent20 -> int1: an animal has the role of consumer in the food chain process; sent19 & sent25 -> int2: a human is a kind of consumer; int2 & int1 -> hypothesis;
$proof$ = sent19 & sent17 -> hypothesis;
$proof$ = sent8 & sent1 -> int1: plants and animals are made of plant matter; sent10 & sent4 -> int2: a decomposer is a kind of organism that breaks down dead organisms; sent12 & sent22 -> int3: decomposers are kinds of organisms; sent15 & sent23 -> int4: decomposition increases the amount of nutrients in soil; int2 & sent3 -> int5: bacteria is a kind of decomposer; int4 & int3 -> int6: decomposition increases the number of nutrients in soil; int6 & sent19 -> int7: decomposition causes fertile soil to have a high number of nutrients; int7 & int5 -> int8: bacteria causes fertile soil to have a high number of nutrients; int8 & sent5 -> int9: bacteria causes soil to become more fertile by breaking down dead organisms; int1 & int9 -> hypothesis;
$proof$ = sent22 & sent10 -> int1: a plant requires fertile soil for survival; int1 & sent13 -> int2: fertile soil is important to plants; sent17 & int2 -> hypothesis;
$proof$ = sent4 & sent8 -> int1: a meadow is a kind of ecosystem; sent11 & sent19 -> int2: humans changing an ecosystem causes animal populations to decrease in that ecosystem; sent9 & sent15 -> int3: a farmer farms crops; int2 & int1 -> int4: humans changing a meadow causes rabbit populations to decrease in that meadow; int3 & sent3 -> int5: a farmer planting fruit trees in a meadow causes rabbit populations to decrease in that meadow; int5 & int4 -> hypothesis;
$proof$ = sent22 & sent8 -> int1: if an animal eats other animals for food, then the aniaml will be the predator and the other animal will be the prey; sent20 & int1 -> int2: the animal that eats other animals will be the predator and the other animal will be the prey; sent25 & int2 -> hypothesis;
$proof$ = sent14 & sent10 -> int1: earthworms creating tunnels in soil loosen the soil; sent15 & int1 -> hypothesis;
$proof$ = sent12 & sent21 -> int1: water and rock are nonliving things; sent24 & sent19 -> int2: sunlight is a kind of nonliving thing; int1 & int2 -> hypothesis;
$proof$ = sent12 & sent13 -> int1: a dissecting kit is used to study amphibian anatomy; sent9 & int1 -> hypothesis;
$proof$ = sent19 & sent14 -> hypothesis;
$proof$ = sent24 & sent8 -> hypothesis;
$proof$ = sent12 & sent8 -> int1: laying down on command is a kind of learned characteristic; sent9 & sent16 -> int2: a learned characteristic is a kind of characteristic of dogs; int1 & int2 -> hypothesis;
$proof$ = sent25 & sent13 -> int1: acquired characteristics are the opposite of an instinctive behavior; sent17 & sent24 -> int2: acquired characteristics are the opposite of inherited characteristics; sent23 & sent8 -> int3: hunting is when a human kills another animal to eat that animal; sent20 & int2 -> int4: an instinctive behavior is a kind of acquired characteristic; sent7 & int3 -> int5: hunting is an example of an instinctive behavior; int5 & int1 & int4 -> hypothesis;
$proof$ = sent15 & sent1 -> int1: food preference is a kind of learned characteristics; sent10 & sent23 -> int2: learned characteristics are not inherited from parents; int2 & int1 -> hypothesis;
$proof$ = sent12 & sent11 & sent3 -> int1: offspring inherit inherited characteristics from parents through dna; sent17 & sent25 -> int2: inherited characteristics are passed from parent to offspring by genetics; sent3 & int2 -> int3: inherited characteristics are passed from parents to offspring through genes; sent18 & int1 & int3 -> hypothesis;
$proof$ = sent4 & sent16 -> int1: offspring inherit inherited characteristics from parents by genetics; sent23 & sent8 -> int2: dna is a vehicle for passing genes from parent to offspring; sent1 & sent21 -> int3: children usually have similar characteristics to their parents; sent9 & int1 -> int4: human offspring inherit inherited characteristics from parents by genetics; sent6 & int4 -> int5: human offspring usually inherit inherited characteristics from parents by genetics; int5 & int2 -> int6: human offspring receive genes from parents through dna; sent10 & sent3 & int6 -> int7: human offspring receive genes from parents through inheritance; sent17 & int7 -> int8: human offspring and parents are made of dna; int8 & sent5 -> int9: offspring and parents are made of dna; int9 & sent24 -> int10: offspring and parents will have similar dna; int10 & int3 -> hypothesis;
$proof$ = sent22 & sent15 & sent5 -> hypothesis;
$proof$ = sent3 & sent19 & sent14 -> int1: lions eating zebras is an example of an animal eating another animal; int1 & sent13 -> hypothesis;
$proof$ = sent19 & sent12 -> int1: iron in contact with water and oxygen will cause rust; sent11 & int1 -> int2: iron rusting is made of iron and oxygen; int2 & sent18 -> hypothesis;
$proof$ = sent16 & sent1 -> int1: combining baking soda and vinegar is combining two substance together; sent20 & int1 -> hypothesis;
$proof$ = sent16 & sent5 -> int1: ice melting is a kind of phase change; int1 & sent1 -> hypothesis;
$proof$ = sent25 & sent24 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: protons and neutrons are a part of the core of an atom; sent18 & int1 & sent17 -> int2: an atom is made of protons and neutrons and electrons; int1 & int2 -> hypothesis;
$proof$ = sent3 & sent20 -> int1: atomic number is only determined by the proton number of an atom; sent5 & sent24 -> int2: an atom is made of protons; int2 & sent22 & int1 -> hypothesis;
$proof$ = sent21 & sent25 -> hypothesis;
$proof$ = sent22 -> int1: the nucleus of an atom is surrounded by mostly empty space; sent25 & sent20 -> int2: an atom is positve 1 in electric charge; sent23 & sent24 -> int3: an atom's nucleus is made of protons and neutrons; int1 & int3 -> int4: an atom's nucleus is surrounded by mostly empty space; int4 & sent19 -> int5: an atom's core is surrounded by mostly empty space; int2 & int5 -> hypothesis;
$proof$ = sent23 & sent8 -> int1: an electron is a kind of negatively charged particle; sent22 & sent12 & sent2 -> int2: electrons orbit the nucleus of the atom; int1 & sent24 -> int3: an electron is a kind of smallest particle in an atom; sent14 & int3 & sent1 -> int4: electrons are the smallest particles in atom; int2 & int4 -> hypothesis;
$proof$ = sent3 & sent4 -> hypothesis;
$proof$ = sent24 & sent2 -> hypothesis;
$proof$ = sent11 & sent8 -> int1: fire causes wood to burn; sent20 & int1 & sent3 -> int2: wood burning converts chemical energy into thermal energy; sent14 & int2 -> hypothesis;
$proof$ = sent25 & sent22 & sent9 -> hypothesis;
$proof$ = sent5 & sent22 -> int1: an atom is a kind of smallest particle; sent24 & sent12 & int1 -> hypothesis;
$proof$ = sent12 & sent16 -> hypothesis;
$proof$ = sent11 & sent17 -> int1: water is a liquid in the room temperature; sent14 & sent2 & sent9 -> int2: water will be in water vapor state when temperature is 120 c; int1 & sent16 & sent8 -> int3: water is in liquid state in room temperature; sent1 & int2 & int3 -> hypothesis;
$proof$ = sent6 & sent16 -> int1: fire causes burning on candles; sent16 & sent5 -> int2: a lit candle is a kind of object; sent17 & sent18 -> int3: fire causes a candle to burn; sent20 & sent7 -> int4: as the amount of oxygen exposed to a fire increases, the fire will burn longer; sent8 & sent21 -> int5: the lit candle is left out in the open; sent19 & sent24 -> int6: a candle gives off light when it is burned; sent10 & int2 -> int7: lighting a candle causes the candle to burn; int3 & sent9 -> int8: a lit candle on fire causes the candle to burn; int4 & sent2 -> int9: a fire that requires oxygen to burn will burn longer; int1 & int8 & int5 -> int10: the candle left out in the open causes the candle to burn; int6 & int10 -> int11: the candle left out in the open is a source of light; int11 & sent13 -> int12: the candle left out in the open emits light; int7 & int12 -> int13: the candle left out in the open burns; int13 & int9 -> hypothesis;
$proof$ = sent3 & sent16 & sent1 -> int1: a glass thermometer is made of alcohol in a tube; sent4 & sent19 -> int2: an increase in temperature is a kind of change; sent14 & sent24 -> int3: if a material is heated, then the material will expand; int1 & sent3 -> int4: the alcohol liquid in the tube is heated; int3 & sent20 -> int5: as the alcohol liquid in the tube expands, the height of the alcohol liquid in the tube will increase; sent8 & int5 & int4 -> int6: the alcohol liquid in the tube will expand; int6 & sent5 -> int7: the alcohol liquid will expand when heated; int7 & sent18 -> int8: the height of the alcohol liquid will change when heated; int8 & int2 -> hypothesis;
$proof$ = sent22 & sent5 -> int1: a balance is an instrument for measuring the mass of an object; sent6 & sent21 -> int2: determining the mass of an object requires measuring that object; sent16 & sent18 -> int3: a balance is used to measure the mass of a substance; int1 & sent15 & sent4 -> int4: a balance is an instrument used to measure the mass of an object; sent7 & int3 -> int5: a balance is an instrument used to measure the mass of a substance; int2 & int4 -> int6: determining the mass of an object requires using a balance; int6 & int5 -> hypothesis;
$proof$ = sent23 & sent14 & sent12 -> int1: water is a liquid in room temperature; sent5 & sent3 -> int2: matter in the liquid phase has definite volume and in the solid phase has definite volume; sent1 & sent16 -> int3: a graduated cylinder is an instrument for measuring the volume of liquids or objects; sent2 & sent21 -> int4: water in the liquid state is ice; int1 & int2 -> int5: water in the liquid phase has definite volume and water in the solid phase has definite volume; sent9 & int3 -> int6: a graduated cylinder can be used to measure the volume of solids; int5 & sent2 & sent21 -> int7: water in the liquid state and water in the solid state has definite volume; sent9 & int7 -> int8: a graduated cylinder can be used to measure the volume of water ice; int4 & int8 & int6 -> hypothesis;
$proof$ = sent4 & sent11 & sent22 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: magnifying glass can be used to see small things by making them appear bigger; sent4 & sent10 & sent11 -> int2: observing an insect requires the use of magnifying glass; int2 & int1 -> int3: magnifying glass can be used to see an insect by making it appear bigger; sent17 & int3 -> hypothesis;
$proof$ = sent11 & sent12 -> int1: magnifying glass can be used to see small things by making them appear bigger; sent21 & int1 -> int2: magnifying glass can be used to see a leaf by making it appear bigger; sent2 & int2 -> hypothesis;
$proof$ = sent25 & sent16 -> int1: meters m are a kind of unit used for measuring distance; sent8 & sent13 -> int2: a meter stick can be used to measure the height; sent20 & sent7 -> int3: a meter stick is a kind of tool for measuring distance; sent11 & int1 -> int4: if meters m are being measured, then a tool is required for measuring the distance; int2 & sent6 -> int5: a meter stick is a kind of tool for measuring the height; sent9 & int4 -> int6: a tool is required for measuring the distance in meters m; int3 & int5 & int6 -> int7: a meter stick can be used to measure the height of a meter stick; int6 & int5 -> int8: a meter stick can be used to measure the height in meters m; int8 & int3 -> int9: a meter stick can be used to measure the height of an object; int3 & int9 -> int10: a meter stick is a kind of tool for measuring the height of an object; int10 & int7 & sent14 -> hypothesis;
$proof$ = sent12 & sent20 -> int1: centimeter is used for measuring short distances; sent25 & sent6 -> int2: centimeter is a metric unit used for measuring length; sent4 & int2 & int1 -> hypothesis;
$proof$ = sent11 & sent24 -> int1: yards yd are an imperial unit used for measuring length; sent2 & sent16 & sent1 -> int2: meter is the metric unit used for measuring length; sent1 & sent2 & sent16 -> int3: meter is the metric unit used for measuring distance; int3 & int2 & int1 -> hypothesis;
$proof$ = sent21 & sent8 & sent13 -> int1: rice cereal and marshmallows are kinds of substances; int1 & sent18 & sent16 -> int2: a student combined two substances; sent7 & int2 -> hypothesis;
$proof$ = sent14 & sent11 -> int1: salt water is made of two substances; sent22 & sent5 -> int2: saltwater is a pure substance; int1 & int2 -> int3: salt water is a mixture of two substances; sent6 & int3 -> hypothesis;
$proof$ = sent7 & sent12 -> int1: brass is an alloy made of two or more metals; sent24 & sent19 -> int2: copper and zinc are two metals; int2 & sent4 -> int3: brass is made of at least two metals; int1 & int3 -> hypothesis;
$proof$ = sent6 & sent23 -> hypothesis;
$proof$ = sent21 & sent3 -> int1: different solids that are combined will stay the same; sent6 & sent24 -> int2: a mixture is made of two or more substances combined together physically; sent5 & sent8 -> int3: a solid and a substance are two substances; int3 & int2 -> int4: a mixture is made of two solids; int4 & int1 -> hypothesis;
$proof$ = sent14 & sent10 -> int1: less dense materials float on liquids that are more dense; sent2 & sent16 & sent22 -> int2: oil is a more dense liquid than water; int2 & sent17 & int1 -> hypothesis;
$proof$ = sent6 & sent17 -> int1: density is a measure of mass of an object divided by the volume of that object; int1 & sent22 -> int2: density can be measured by measuring the mass of an object divided by the volume of that object; int2 & sent5 -> int3: different substances will have different densities; sent1 & int3 -> hypothesis;
$proof$ = sent3 & sent4 -> int1: copper is an electrical conductor; sent24 & int1 -> hypothesis;
$proof$ = sent25 & sent4 -> int1: sugar will dissolve in water when they are combined; sent12 & int1 & sent18 -> hypothesis;
$proof$ = sent5 & sent7 & sent2 -> int1: shape is a property of leaves; sent25 & sent13 & sent7 & int1 -> hypothesis;
$proof$ = sent1 & sent15 -> hypothesis;
$proof$ = sent5 & sent20 -> int1: ice is a solid in state; sent24 & sent1 & sent25 -> int2: water is in liquid state; sent9 & sent23 -> int3: the substance changes from a solid into a liquid by increasing heat energy; sent12 & sent4 & int3 -> int4: the ice changes from a solid state to a liquid state; int4 & int1 & int2 -> int5: the ice changes from a solid to liquid state; sent16 & int5 & sent3 -> hypothesis;
$proof$ = sent2 & sent16 & sent12 -> hypothesis;
$proof$ = sent3 & sent20 -> int1: ice is a solid in the solid state; sent18 & sent22 -> int2: a piece of aluminum is a kind of object; sent9 & sent19 -> int3: ice is in the solid state; int2 & sent13 & sent24 -> int4: ice and a piece of aluminum are kinds of objects; int4 & int3 & int1 -> int5: ice, a rock, and a piece of aluminum are solids; int5 & sent6 -> hypothesis;
$proof$ = sent12 & sent20 -> int1: paper and spices are kinds of materials; sent24 & sent25 -> int2: if something comes from a source then that something comes from that source; sent15 & sent2 -> int3: spices come from plants; sent8 & sent5 & int1 -> int4: paper, spices, and fibers are sources of plants; int4 & int2 -> int5: paper, spices, and fibers come from plants; int3 & int5 -> hypothesis;
$proof$ = sent12 & sent23 -> int1: a physicist is the scientist who studies energy; sent10 & sent15 -> int2: a simple machine is a kind of simple machine; int2 & int1 -> hypothesis;
$proof$ = sent4 & sent11 -> int1: an airplane is used for moving people; sent25 & int1 -> int2: an airplane is fast for moving people; sent15 & int2 -> int3: an airplane is fast for travelling quickly; int3 & sent13 -> int4: an airplane has a positive impact on people travelling quickly; int4 & sent22 -> hypothesis;
$proof$ = sent5 & sent17 -> int1: a refrigerator is a kind of tool; sent7 & int1 -> int2: refrigerator is the invention that is used for keeping food fresh; sent8 & int2 -> hypothesis;