[{"proof_pred": "sent12 & sent10 -> int1: the sun rising and setting causes the cycles of day and night; sent4 & sent3 & sent23 -> int2: the sun rising and setting is a kind of event that occurs once per day; int1 & int2 -> hypothesis", "score": 0.836704671382904, "hypothesis": "the sun rising and setting is the event that occurs once per day", "context": {"sent1": "a cycle is a kind of process", "sent2": "the sun sets in the west", "sent3": "the sun setting is a kind of event", "sent4": "the sun rising; setting occurs once per day", "sent5": "something that happens is a kind of event", "sent6": "a motion is a kind of event; action", "sent7": "a star is a kind of celestial object / celestial body", "sent8": "a cycle happens; occurs repeatedly", "sent9": "setting is a kind of motion", "sent10": "the sun rising and setting causes cycles of day and night", "sent11": "events occur at a specific place; at a specific time; with a specific frequency", "sent12": "cycles of day and night occur once per day", "sent13": "a cycle is a kind of process", "sent14": "to happen means to occur", "sent15": "a process is a kind of event", "sent16": "everyday means daily", "sent17": "the cycles of day and night is when the sun rises during the day and the sun sets at night", "sent18": "daily means every day; once per day", "sent19": "the sun is a kind of star", "sent20": "rising is a kind of motion", "sent21": "the sun is a source of light; light energy called sunlight", "sent22": "the sun is a kind of star", "sent23": "the sun rising is a kind of event", "sent24": "an event is a kind of action", "sent25": "a star is a kind of celestial object; celestial body"}, "proof_gt": ""}, {"proof_pred": "sent17 & sent14 -> int1: earth is a planet that is a kind of celestial object; int1 & sent9 & sent18 -> int2: a star and earth are kinds of celestial objects; sent21 & sent20 -> int3: as the distance from a source of something increases, that something will decrease; int3 & int2 -> int4: as the distance of the star to earth decreases, the light of the star will decrease; sent3 & int4 -> hypothesis", "score": 0.9126991629600525, "hypothesis": "as the distance of the star to earth decreases, the star will appear brighter", "context": {"sent1": "as a source of light becomes closer , the light will appear brighter", "sent2": "appearing is similar to seeming", "sent3": "as the light reflected off of an object increases , the object will appear to be brighter", "sent4": "distant means great in distance", "sent5": "as the size of a light source increases , that light will appear brighter", "sent6": "lower is similar to decreasing", "sent7": "brighter means higher; greater in brightness", "sent8": "less is similar to decrease", "sent9": "a star is a kind of celestial object / celestial body", "sent10": "brightness means amount of light", "sent11": "appear is similar to apparent", "sent12": "an increase is the opposite of a decrease", "sent13": "closer means lower; less; a decrease in distance", "sent14": "earth is a kind of planet", "sent15": "as the light reflected off of an object increases , the object will appear to be brighter", "sent16": "characteristic means property", "sent17": "earth is a kind of planet", "sent18": "a star is a kind of celestial object; celestial body", "sent19": "bright means bright; light in color", "sent20": "if increasing something causes something else to increase, then decreasing that something will cause that something else to decrease", "sent21": "as the distance from a source of something increases , that something will decrease", "sent22": "to lower means to decrease", "sent23": "apparent magnitude is a measure of the brightness of a celestial object; celestial body as observed on earth", "sent24": "brightness is a property of a light source and includes values of bright; dim", "sent25": "a decrease of something is a kind of change"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent5 & sent2 -> hypothesis", "score": 0.9006990194320679, "hypothesis": "apparent magnitude is a measure of the brightness of a star as observed on earth", "context": {"sent1": "sunlight is a kind of light", "sent2": "earth is a kind of celestial object", "sent3": "receive means get", "sent4": "a planet is a kind of place", "sent5": "apparent magnitude is a measure of the brightness of a celestial object; celestial body as observed on earth", "sent6": "if something is received on a location then that something can be observed on that location", "sent7": "the sun is a kind of star", "sent8": "appear is similar to apparent", "sent9": "sunlight is a kind of light", "sent10": "a star produces light", "sent11": "the sun is a source of light; light energy called sunlight", "sent12": "a planet is a kind of location", "sent13": "planets reflect the light of the sun", "sent14": "a planet is a kind of celestial object; body", "sent15": "there are humans on earth", "sent16": "earth is a kind of planet", "sent17": "amount is a property of something and includes ordered values of none; least; little; some; half; much; many; most; all", "sent18": "the sun is a source of light energy called sunlight", "sent19": "brightness means amount of light", "sent20": "a star is a kind of celestial object; celestial body", "sent21": "something recieves something else from a source of that something else", "sent22": "a star is a kind of celestial object / celestial body", "sent23": "the sun is a kind of star", "sent24": "earth is a kind of planet", "sent25": "a planet is a kind of celestial object / body"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.9411972165107727, "hypothesis": "new york state has the least sunlight during december", "context": {"sent1": "to shorten something can mean to decrease something", "sent2": "new york state is on earth", "sent3": "a period is a kind of measurement of time", "sent4": "the winter solstice is on december 21st in the northern hemisphere", "sent5": "december is a kind of month", "sent6": "new york state is a state located in the united states of america", "sent7": "to happen means to occur", "sent8": "when the season changes , the amount of daylight will change", "sent9": "daylight occurs during the day", "sent10": "the amount of daylight is least on the winter solstice", "sent11": "shortest means least; smallest in length", "sent12": "united states is located in the northern hemisphere", "sent13": "shorter means decreased length", "sent14": "new york; new york state is a state located in the united states of america", "sent15": "december is during the winter in the northern hemisphere", "sent16": "winter is a kind of season", "sent17": "period is similar to amount of time", "sent18": "month is a kind of period of time", "sent19": "daylight means sunlight", "sent20": "the amount of daylight is least in the winter", "sent21": "amount of daylight means length of daylight", "sent22": "shortest means the least amount of time", "sent23": "period of daylight is synonymous with amount of daylight", "sent24": "december is during the summer in the southern hemisphere", "sent25": "daylight hours means time during which there is daylight"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent20 -> int1: earth is a planet that rotates on its tilted axis; sent4 & sent14 & sent17 -> int2: the earth is a planet that rotates on its tilted axis once per day; sent2 & int2 & int1 -> int3: the earth rotating on its axis occurs once per day; sent11 & int3 -> int4: the earth rotating on its axis causes the cycles of day and night on earth; sent8 & sent12 -> int5: a planet rotating causes the cycles of day and night on earth; int5 & sent23 -> int6: a planet rotating on its axis causes the cycles of day and night on earth; int4 & int6 -> hypothesis", "score": 0.8569366335868835, "hypothesis": "earth rotating on its axis causes the cycle of day and night on earth", "context": {"sent1": "earth is a kind of celestial object", "sent2": "earth rotating on its axis occurs once per day", "sent3": "revolving is a kind of motion", "sent4": "the earth rotates on its tilted axis", "sent5": "the night time is part of one day", "sent6": "spin means rotate", "sent7": "setting is a kind of motion", "sent8": "rotation is a kind of motion", "sent9": "if it is night then the sun has set", "sent10": "the earth rotating on its axis causes stars; the moon to appear to move across the sky at night", "sent11": "cycles of day and night occur once per day", "sent12": "rotation is a kind of motion", "sent13": "the cycles of day and night is when the sun rises during the day and the sun sets at night", "sent14": "the earth rotates on its tilted axis", "sent15": "the sun rising; setting occurs once per day", "sent16": "all the time means at day and at night", "sent17": "earth rotating on its tilted axis occurs once per day", "sent18": "rotate is similar to revolve", "sent19": "motion; movement means moving; to move", "sent20": "earth is a kind of planet", "sent21": "a motion is a kind of event; action", "sent22": "earth is a kind of planet", "sent23": "a planet rotating causes cycles of day and night on that planet", "sent24": "a rotation is a kind of movement", "sent25": "the sun rising and setting causes cycles of day and night"}, "proof_gt": ""}, {"proof_pred": "sent25 & sent16 -> int1: the gardens will have the most sunlight in summer; int1 & sent22 -> int2: the gardens will receive the most solar energy in summer; int2 & sent10 -> int3: the plants in the gardens will receive the most sunlight in summer; sent9 & int3 -> hypothesis", "score": 0.7263919711112976, "hypothesis": "the plants in the gardens will receive the most sunlight in summer to grow during the day", "context": {"sent1": "photosynthesis is a source of; makes food; energy for the plant by converting carbon dioxide, water, and sunlight into carbohydrates", "sent2": "the sun is the source of solar energy called sunlight", "sent3": "if something is outside during the day then that something will receive sunlight", "sent4": "summer is when a hemisphere is tilted towards the sun", "sent5": "plants use energy directly from the sun", "sent6": "the sun is a source of light energy called sunlight", "sent7": "summer is a kind of season", "sent8": "the sun is a kind of star", "sent9": "a plant requires sunlight to grow", "sent10": "sunlight is a kind of solar energy", "sent11": "if something is outside during the day then that something will receive sunlight", "sent12": "the sun is a source of light; light energy called sunlight", "sent13": "the sun is a kind of star", "sent14": "a star requires energy", "sent15": "to receive something means to have an increase in that something", "sent16": "if a place is in summer, then it will have the most sunlight", "sent17": "the sun is a source of solar energy called sunlight", "sent18": "receive means get", "sent19": "the sun transfers solar energy; light energy; heat energy from itself to the planets;earth through sunlight", "sent20": "receiving sunlight is synonymous with absorbing sunlight", "sent21": "the sun is the source of solar energy called sunlight", "sent22": "sunlight is a kind of solar energy", "sent23": "to receive sunlight means to absorb sunlight", "sent24": "summer has hot temperatures; weather", "sent25": "summer has the most sunlight"}, "proof_gt": ""}, {"proof_pred": "sent18 & sent24 & sent2 -> hypothesis", "score": 0.9068813323974609, "hypothesis": "andy will experience winter in southern hemisphere in august", "context": {"sent1": "winter is the opposite of summer", "sent2": "it is august", "sent3": "winter means environmental temperature decreases", "sent4": "the southern hemisphere is located south to the northern hemisphere", "sent5": "august is a kind of month", "sent6": "snow falls during the winter in some environments", "sent7": "summer is a kind of season", "sent8": "winter has cold temperatures", "sent9": "the winter in the southern hemisphere is during the summer in the northern hemisphere", "sent10": "snow falls during the winter in some environments", "sent11": "winter has cold weather", "sent12": "winter is a kind of season", "sent13": "winter is a kind of season", "sent14": "cold is a kind of weather", "sent15": "winter has cold temperatures;weather", "sent16": "the southern hemisphere is a kind of hemisphere of earth", "sent17": "winter in a hemisphere occurs when the pole located in that hemisphere is tilted away from the sun", "sent18": "august is during the winter in the southern hemisphere", "sent19": "the winter in the northern hemisphere is during the summer in the southern hemisphere", "sent20": "winter means environmental; outdoor temperature decreases", "sent21": "winter has cold temperatures / weather", "sent22": "weather changes from seasons to seasons", "sent23": "snow falls during the winter in the arctic environment", "sent24": "andy lives in southern hemisphere", "sent25": "weather changes from seasons to seasons"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent11 & sent5 -> int1: earth is a planet that revolves around the sun; int1 & sent14 -> int2: earth revolving the sun is an example of a planet revolving around its star; sent20 & sent23 -> int3: the sun is a kind of celestial object; sent3 & sent9 -> int4: a revolution occurs when a planet revolves around its star; int2 & int4 -> int5: earth revolving the sun is an example of a revolution; sent17 & sent18 & int3 -> hypothesis", "score": 0.772681713104248, "hypothesis": "a complete revolution of earth around the sun takes an earth year", "context": {"sent1": "revolving around something means orbiting that something", "sent2": "earth's revolution is a kind of cycle", "sent3": "a complete revolution; orbit of a planet around its star takes 1; one planetary year", "sent4": "the earth revolves around the sun", "sent5": "earth is a kind of planet", "sent6": "a complete revolution; orbit of the moon around the earth takes 1; one month", "sent7": "motion; movement means moving; to move", "sent8": "years are a kind of unit for measuring time", "sent9": "a revolution occurs when something revolves around something else", "sent10": "a star is a kind of celestial object; celestial body", "sent11": "earth is a kind of planet", "sent12": "revolving around means orbiting", "sent13": "a motion is a kind of event; action", "sent14": "the earth revolves around the sun", "sent15": "a process is a kind of event", "sent16": "planets orbit stars", "sent17": "a complete revolution / orbit of the earth around the sun takes one year", "sent18": "a complete revolution; orbit of the earth around the sun takes 1; one year; solar year; earth year", "sent19": "planets in the solar system orbit the sun", "sent20": "a planet is a kind of celestial object; body", "sent21": "the sun is a kind of star", "sent22": "to happen means to occur", "sent23": "the sun is a kind of star", "sent24": "something that happens is a kind of event", "sent25": "a type is synonymous with a kind"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.7883720397949219, "hypothesis": "the earth rotating on its tilted axis causes the cycles of day and night on earth", "context": {"sent1": "cycles of day and night occur once per day", "sent2": "the earth revolves around the sun", "sent3": "all the time means at day and at night", "sent4": "earth's angle of tilt causes the length of day and night to vary", "sent5": "a planet is a kind of celestial object; body", "sent6": "a complete rotation of the earth on earth's axis; itself takes 1; one day", "sent7": "spin means rotate", "sent8": "cycle is similar to pattern", "sent9": "the earth revolves around the sun", "sent10": "if it is night then the sun has set", "sent11": "earth rotating on its tilted axis occurs once per day", "sent12": "the earth rotating on its axis causes the sun to appear to move across the sky during the day", "sent13": "revolving around something means orbiting that something", "sent14": "the night time is part of one day", "sent15": "earth is a kind of planet", "sent16": "the earth rotates on its tilted axis", "sent17": "the sun rising and setting causes cycles of day and night", "sent18": "the earth rotating on its axis causes stars; the moon to appear to move across the sky at night", "sent19": "the cycles of day and night is when the sun rises during the day and the sun sets at night", "sent20": "the earth rotates on its tilted axis", "sent21": "nighttime means night", "sent22": "the earth rotating on its axis causes stars to appear to move across the sky at night", "sent23": "earth is a kind of planet", "sent24": "a planet rotating causes cycles of day and night on that planet", "sent25": "earth rotating on its axis occurs once per day"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent14 -> int1: the sun is a kind of celestial object; sent11 & sent5 -> int2: a star is a kind of celestial object; int2 & int1 -> int3: a complete orbit of the earth around the sun takes one year; sent3 & sent4 -> int4: the earth around the sun revolves around the sun; sent1 & sent22 -> int5: mercury is a planet that orbits around its star; sent19 & sent18 -> int6: a planet is a kind of celestial object; int5 & sent9 -> int7: mercury is a celestial object that orbits around its star; int4 & int7 -> int8: the earth around the sun revolves around mercury; int3 & int8 -> int9: a complete orbit of mercury around the sun takes one year; sent20 & int9 -> hypothesis", "score": 0.8708162903785706, "hypothesis": "a complete orbit of mercury around the sun takes around 88 earth days", "context": {"sent1": "earth is a kind of planet", "sent2": "orbiting is a kind of action", "sent3": "the earth revolves around the sun", "sent4": "the earth revolves around the sun", "sent5": "a star is a kind of celestial object / celestial body", "sent6": "revolving around something means orbiting that something", "sent7": "a complete revolution / orbit of the earth around the sun takes one year", "sent8": "years are a kind of unit for measuring time", "sent9": "a planet is a kind of celestial object; body", "sent10": "the sun is a kind of star", "sent11": "a star is a kind of celestial object; celestial body", "sent12": "a student is a kind of object", "sent13": "a complete revolution; orbit of the earth around the sun takes 1; one year; solar year; earth year", "sent14": "the sun is a kind of star", "sent15": "to cause means to make", "sent16": "mercury has the shortest solar year; planetary year in the solar system", "sent17": "revolving around means orbiting", "sent18": "a planet is a kind of celestial object / body", "sent19": "planets orbit stars", "sent20": "one mercury year is about 88 earth days", "sent21": "a student is a kind of human", "sent22": "mercury is a kind of planet", "sent23": "a complete revolution; orbit of the moon around the earth takes 1; one month", "sent24": "days are a kind of unit for measuring time", "sent25": "a complete revolution; orbit of a planet around its star takes 1; one planetary year"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent18 -> hypothesis", "score": 0.9775888323783875, "hypothesis": "a solar eclipse could only happen during the new moon", "context": {"sent1": "the moon orbits the earth", "sent2": "the moon revolving around; orbiting the earth causes the phases of the moon", "sent3": "earth is a kind of planet", "sent4": "type of moon; kind of moon means moon phase", "sent5": "to happen means to occur", "sent6": "the sun is a kind of star", "sent7": "a new moon is a kind of phase of the moon", "sent8": "a phase of the moon is a kind of state", "sent9": "a solar eclipse could only happen during the new moon", "sent10": "revolving around something means orbiting that something", "sent11": "a solar prominence is a kind of solar event", "sent12": "the moon is earth's moon", "sent13": "a lunar eclipse could only occur during a full moon", "sent14": "a lunar eclipse is when the earth blocks the moon from the sun", "sent15": "the moon is a kind of moon", "sent16": "the earth revolves around the sun", "sent17": "the earth revolves around the sun", "sent18": "a solar eclipse is when the moon blocks the earth from the sun", "sent19": "phase means state", "sent20": "lunar phase is synonymous with moon phase", "sent21": "earth is a kind of planet", "sent22": "the new moon is when the lighted half of the moon faces the sun", "sent23": "a moon is a kind of celestial object; body", "sent24": "a lunar eclipse is formed by earth's shadow falling on the moon", "sent25": "a moon is a kind of celestial object / celestial body"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent5 & sent13 -> hypothesis", "score": 0.8651519417762756, "hypothesis": "objects in kuiper belt are icy", "context": {"sent1": "ice is a kind of object", "sent2": "a comet is a kind of celestial object", "sent3": "orbiting is a kind of action", "sent4": "a star is a kind of celestial object / celestial body", "sent5": "objects generally are made of ice in the kuiper belt", "sent6": "a satellite orbits a planet", "sent7": "a comet is a kind of celestial body", "sent8": "a moon is a kind of celestial object / celestial body", "sent9": "ice is cold in temperature", "sent10": "revolving around something means orbiting that something", "sent11": "planets orbit stars", "sent12": "a planet is a kind of celestial object / body", "sent13": "icy can be used to describe objects that are made of ice", "sent14": "revolving around means orbiting", "sent15": "moons orbit planets", "sent16": "a planet is a kind of celestial object; body", "sent17": "a moon is a kind of celestial object; body", "sent18": "ice is a kind of object", "sent19": "the kuiper belt contains orbiting comets; asteroids", "sent20": "the asteroid belt orbits the sun", "sent21": "ice is cold in temperature", "sent22": "a star is a kind of celestial object; celestial body", "sent23": "icy means made of ice", "sent24": "a comet is a kind of celestial object", "sent25": "a comet is often made of ice"}, "proof_gt": ""}, {"proof_pred": "sent14 & sent16 -> int1: comet orbits occur once per 10000 years; sent10 & sent18 & sent7 -> int2: a comet is a kind of celestial object that has a highly elliptical orbit; int2 & int1 -> int3: comets are the celestial object that has a highly elliptical orbit and a period of over 1000 years; int3 & sent1 -> hypothesis", "score": 0.801996648311615, "hypothesis": "comets are the kind of celestial object that has a highly elliptical orbit and has a period of over 1000 years", "context": {"sent1": "planetary orbits are mostly elliptical", "sent2": "centuries are a kind of unit for measuring time", "sent3": "length of time means period of time", "sent4": "comets orbit the sun in the solar system", "sent5": "earth is a kind of planet", "sent6": "revolving around means orbiting", "sent7": "a comet is a kind of celestial object", "sent8": "earth is a kind of planet", "sent9": "period is similar to amount of time", "sent10": "a comet is a kind of celestial object", "sent11": "a planet is a kind of celestial object; body", "sent12": "revolving around something means orbiting that something", "sent13": "a period is a kind of measurement of time", "sent14": "comet orbits are elliptical", "sent15": "the earth revolves around the sun", "sent16": "a comet orbit occurs usually once per 10000 years", "sent17": "a planet is a kind of celestial object / body", "sent18": "a comet is a kind of celestial body", "sent19": "elliptical is a kind of shape", "sent20": "earth is a kind of celestial object", "sent21": "the earth revolves around the sun", "sent22": "elliptical is a kind of shape", "sent23": "the moon's orbit is elliptical", "sent24": "1 year is equal to 365 days", "sent25": "planets orbit stars"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent8 -> int1: the milky way is a kind of celestial body; sent11 & int1 & sent6 -> hypothesis", "score": 0.8933195471763611, "hypothesis": "the student observes the milky way galaxy at night", "context": {"sent1": "a source of something gives off that something", "sent2": "nighttime means night", "sent3": "the milky way is a kind of galaxy", "sent4": "a galaxy is made of stars", "sent5": "observe means see", "sent6": "a student observes a glowing band across the night sky", "sent7": "the milky way is a kind of spiral galaxy", "sent8": "a galaxy is a kind of celestial body", "sent9": "to give off means to be the source of", "sent10": "a source of something emits; produces; generates; provides that something", "sent11": "the milky way galaxy appears as a glowing band across the night sky", "sent12": "a human is a kind of object", "sent13": "a galaxy is a kind of celestial body; celestial object", "sent14": "a galaxy is a kind of celestial object", "sent15": "a human is a kind of animal", "sent16": "a student is a kind of human", "sent17": "a source of something produces that something", "sent18": "a source of something emits / produces / generates / provides that something", "sent19": "a star is a kind of celestial object; celestial body", "sent20": "a galaxy is a kind of very large system of stars", "sent21": "a student is a kind of object", "sent22": "to view means to see", "sent23": "a human is a kind of animal", "sent24": "viewing means observing light", "sent25": "a source of something generates that something"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.9009053707122803, "hypothesis": "looking at the moon has less of a negative impact on the eyes", "context": {"sent1": "to see means to look", "sent2": "less is similar to decrease", "sent3": "harming something has a negative impact on / effect on that something", "sent4": "safe is the opposite of unsafe; harm; danger", "sent5": "look at means observe", "sent6": "bright means bright; light in color", "sent7": "something that is protected against something else is safe from that something else", "sent8": "a danger is dangerous", "sent9": "the moon is a kind of moon", "sent10": "the sun is a source of light; light energy called sunlight", "sent11": "negative impact is the opposite of positive impact", "sent12": "lower means less", "sent13": "looking at bright objects has a negative impact on the eyes", "sent14": "less is the opposite of more", "sent15": "harming something has a negative impact on; effect on that something", "sent16": "brighter means higher; greater in brightness", "sent17": "the moon is less bright than the sun", "sent18": "the sun is a source of radiation; heat called sunlight", "sent19": "less is the opposite of more", "sent20": "a star is a kind of celestial object; celestial body", "sent21": "danger has a negative impact on a thing", "sent22": "the sun is a kind of star", "sent23": "the sun is a source of radiation / heat called sunlight", "sent24": "the sun is a kind of star", "sent25": "negative impact is the opposite of positive impact"}, "proof_gt": ""}, {"proof_pred": "sent20 & sent10 -> hypothesis", "score": 0.9385401606559753, "hypothesis": "both the surface of the moon and the surface of the earth contain mountains", "context": {"sent1": "topography means the physical features of a planet's surface", "sent2": "similarity means the same property", "sent3": "a mountain is a kind of landform", "sent4": "a mountain is a kind of land feature", "sent5": "earth is a kind of planet", "sent6": "a mountain; mountain range is a kind of environment", "sent7": "feature is synonymous with characteristic", "sent8": "characteristic means property", "sent9": "a part of something means a characteristic of something", "sent10": "the surface of the moon contains mountains", "sent11": "the moon is a kind of moon", "sent12": "a mountain range contains mountains", "sent13": "mountain area means mountain range", "sent14": "resemble means similar characteristics", "sent15": "a mountain range is a kind of place", "sent16": "a mountain is high in altitude", "sent17": "a land feature is a kind of physical characteristic", "sent18": "the moon is earth's moon", "sent19": "a mountain top is a part of a mountain", "sent20": "the surface of the earth contains mountains", "sent21": "trait is synonymous with characteristic", "sent22": "a mountain is made of rocks; soil", "sent23": "landform means surface feature; physical feature; land feature", "sent24": "earth is a kind of planet", "sent25": "a mountain range is formed by the plates; rocks folding upon one another"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent6 -> int1: mars is a planet in the solar system; sent19 & sent25 -> hypothesis", "score": 0.8945234417915344, "hypothesis": "the asteroid belt that contains the largest concentration of asteroids is located between mars and jupiter", "context": {"sent1": "greatest means largest; highest; most amount of something", "sent2": "a lot means large in amount; quantity", "sent3": "mars is a kind of planet", "sent4": "a region is a kind of location", "sent5": "the solar system contains eight planets", "sent6": "mars is located in the solar system", "sent7": "largest amount means most", "sent8": "contains means located in", "sent9": "place; location is synonymous with position", "sent10": "place is synonymous with location", "sent11": "mars is a kind of inner planet", "sent12": "amount is a property of something and includes ordered values of none; least; little; some; half; much; many; most; all", "sent13": "jupiter is a kind of planet", "sent14": "jupiter is a kind of outer planet", "sent15": "mars is a kind of planet", "sent16": "the majority of is similar to the largest amount", "sent17": "place means area", "sent18": "located means situated", "sent19": "the asteroid belt is located between mars and jupiter", "sent20": "area is similar to location", "sent21": "area means a place", "sent22": "the solar system contains asteroids", "sent23": "a planet is a kind of location", "sent24": "a planet is a kind of place", "sent25": "the asteroid belt contains the largest concentration of asteroids in the solar system"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent10 & sent19 -> hypothesis", "score": 0.8759487867355347, "hypothesis": "the sun is average in size and average in temperature in our galaxy", "context": {"sent1": "stars can be classified by temperature; color; chemical composition; brightness", "sent2": "the sun is a source of light; light energy called sunlight", "sent3": "a star is a kind of celestial object / celestial body", "sent4": "temperature; heat energy is a property of objects; weather and includes ordered values of cold; cool; warm; hot", "sent5": "a galaxy is made of stars", "sent6": "the sun is average in size for a star in our galaxy", "sent7": "the sun is a kind of star", "sent8": "the sun is a source of radiation; heat called sunlight", "sent9": "the sun has average brightness compared to other stars", "sent10": "the sun is average in temperature for a star in our galaxy", "sent11": "temperature is a measure of heat", "sent12": "temperature is a measure of heat energy", "sent13": "the properties of something can be used to identify; used to describe that something", "sent14": "a star is a kind of celestial object; celestial body", "sent15": "the properties of something are used for describing that something", "sent16": "the sun is a source of radiation / heat called sunlight", "sent17": "temperature is a measure of heat energy", "sent18": "the sun is a kind of yellow dwarf", "sent19": "the sun is a kind of star", "sent20": "length is a part of size", "sent21": "to be characterized by a property means to have that property", "sent22": "average is similar to usual", "sent23": "a galaxy is a kind of celestial body; celestial object", "sent24": "stars can be classified by temperature, color, and brightness", "sent25": "length is a part of size"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent12 -> int1: mars is a planet that has a greater mass than earth; int1 & sent7 -> int2: earth is a planet that has a greater mass than the planet mars; sent18 & sent13 -> int3: as the mass of a celestial object decreases, the weight of an object on that celestial object will decrease; int2 & sent6 & int3 -> int4: objects will weigh less on mars than on earth because their mass is less on mars; sent17 & sent25 -> int5: as the mass of an object decreases, the weight of an object on that object will decrease; sent7 & sent9 & sent12 -> int6: earth and mars both have the same mass; int6 & int4 -> int7: objects will weigh less on mars than on earth but will have the same mass; sent23 & int7 -> hypothesis", "score": 0.8235647678375244, "hypothesis": "the robot will weigh less on mars than earth but will have the same mass", "context": {"sent1": "weight is the force of gravity acting on an object", "sent2": "lighter means lower; less in weight", "sent3": "if there is no gravitational pull , then the weight of an object will be equal to zero", "sent4": "less means a reduced amount", "sent5": "less is similar to decrease", "sent6": "mass; weight are the same on earth", "sent7": "earth is greater in mass than mars", "sent8": "weight is a measure of the force of the gravity on the mass of an object", "sent9": "mars is a kind of planet", "sent10": "if something weakens , then that something is weaker", "sent11": "weaker is the opposite of stronger", "sent12": "mars is a kind of planet", "sent13": "as the mass of a celestial object decreases , the surface gravity of that celestial object weakens", "sent14": "less is the opposite of more", "sent15": "as the mass of an object increases , the weight of that object will increase", "sent16": "gravity means gravitational pull; gravitational energy; gravitational force; gravitational attraction", "sent17": "as the mass of an object decreases , the weight of that object will decrease", "sent18": "as the force of gravity decreases , the weight of the object will decrease", "sent19": "lower means less", "sent20": "as mass of a planet; of a celestial body increases , the force of gravity on that planet will increase", "sent21": "as the force of gravity increases , the weight of objects will increase", "sent22": "less is the opposite of more", "sent23": "a robot is a kind of object", "sent24": "as the mass of a planet; of a celestial object decreases , the surface gravity of that planet; of that celestial object weakens", "sent25": "as the mass of an object decreases , the force of gravity on that object will decrease"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent17 -> int1: jupiter is a kind of celestial object; sent11 & sent4 & int1 & sent8 -> int2: moons that orbit around jupiter are celestial objects; int2 & sent19 -> int3: the moons that orbit around jupiter are celestial objects; sent23 & sent15 -> int4: a telescope can be used for observing celestial objects; int4 & int3 -> int5: a telescope can be used to observe the moons that orbit around jupiter; sent20 & int5 -> hypothesis", "score": 0.8382740616798401, "hypothesis": "a reflecting telescope can be used to observe the moons that orbit around jupiter", "context": {"sent1": "the moon is a kind of moon", "sent2": "jupiter is a kind of outer planet", "sent3": "a star is a kind of celestial object; celestial body", "sent4": "a moon is a kind of celestial object", "sent5": "observable means visible", "sent6": "light reflecting off of an object causes that object to be visible to the observer", "sent7": "a telescope is used for observing moons by astronomers", "sent8": "moons orbit planets", "sent9": "a planet is a kind of celestial object; body", "sent10": "if something is visible , then that something can be observed", "sent11": "a moon is a kind of celestial object / celestial body", "sent12": "a telescope is used for observing stars;planets;moons;distant objects; the sky; celestial objects by astronomers", "sent13": "a telescope is used for observing planets", "sent14": "a telescope is used for observing moons", "sent15": "a telescope is a kind of optical instrument for observing celestial objects", "sent16": "if an object reflects light toward the eye then that object can be seen", "sent17": "jupiter is a kind of planet", "sent18": "a telescope is a kind of optical instrument for observing celestial objects; observing the sky", "sent19": "a moon is a kind of celestial object; body", "sent20": "a reflecting telescope is a kind of telescope", "sent21": "a telescope is used for observing stars", "sent22": "reflection is when light is reflected from one object; one place to another object; another place", "sent23": "a telescope is used for observing celestial objects by astronomers", "sent24": "optical tools are used for observing materials up close; in greater detail", "sent25": "visible means able to be seen"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.9054892063140869, "hypothesis": "the next new moon will occur on june 30", "context": {"sent1": "the first quarter phase of the moon occurs after the new moon", "sent2": "a moon is a kind of celestial object / celestial body", "sent3": "something that happens is a kind of event", "sent4": "a moon phase occurs 28 days after the last time it occurred", "sent5": "1 month is equal to 27-31 days", "sent6": "the summer solstice is on june 21st in the northern hemisphere", "sent7": "months are a kind of unit for measuring time", "sent8": "a new moon occurs 14 days after a full moon", "sent9": "type of moon; kind of moon means moon phase", "sent10": "1 month is equal to 28-31 days", "sent11": "event is similar to occurrence", "sent12": "the moon is a kind of moon", "sent13": "a new moon occurred on june 2", "sent14": "the moon is earth's moon", "sent15": "june is during the summer in the northern hemisphere", "sent16": "events occur at a specific place; at a specific time; with a specific frequency", "sent17": "each of the moon's phases occurs once per month", "sent18": "a full moon is a kind of phase of the moon", "sent19": "june is a kind of month", "sent20": "a new moon is a kind of phase of the moon", "sent21": "the new moon is when the moon is in between the sun and the earth", "sent22": "to happen means to occur", "sent23": "june is during the winter in the southern hemisphere", "sent24": "a moon is a kind of celestial object; body", "sent25": "the new moon is when the lighted half of the moon faces the sun"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent4 -> hypothesis", "score": 0.9537608027458191, "hypothesis": "gravity causes the moon to orbit around the earth", "context": {"sent1": "moons orbit planets", "sent2": "an event is a kind of action", "sent3": "gravity causes orbits", "sent4": "the moon orbits the earth", "sent5": "revolving around means orbiting", "sent6": "speed is a measure of distance travelled by an object over time; divided by time; per unit of time", "sent7": "to keep something occurring means to cause that something to occur", "sent8": "keeping means staying", "sent9": "the moon is earth's moon", "sent10": "a satellite orbits a planet", "sent11": "gravitational force is similar to force of gravity", "sent12": "the moon is a kind of moon", "sent13": "a moon is a kind of celestial object", "sent14": "the earth revolves around the sun", "sent15": "gravity is a kind of force", "sent16": "a motion is a kind of event; action", "sent17": "earth is a kind of planet", "sent18": "gravity means gravitational pull; gravitational energy; gravitational force; gravitational attraction", "sent19": "orbiting is a kind of action", "sent20": "earth is a kind of planet", "sent21": "revolving around something means orbiting that something", "sent22": "to keep a process or event happening is similar to causing that process or event to happen", "sent23": "the earth revolves around the sun", "sent24": "a moon is a kind of celestial object; body", "sent25": "a moon is a kind of celestial object / celestial body"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent9 & sent13 -> int1: ocean animals are kinds of water animals living in oceans; int1 & sent10 & sent25 -> hypothesis", "score": 0.8509424924850464, "hypothesis": "the grand canyon used to be covered by oceans in the past", "context": {"sent1": "fossils are the remains of organisms or part of organisms", "sent2": "animals are organisms", "sent3": "the grand canyon is a kind of place", "sent4": "animal is a kind of organism", "sent5": "under water means covered by water; in water", "sent6": "ocean animal is similar to water animal", "sent7": "the grand canyon was formed by the colorado river flowing over long periods of time", "sent8": "fossils can be used as evidence for the ancient environment", "sent9": "ocean animals are a kind of water animals living in oceans", "sent10": "fossils of ocean animals were found at the grand canyon", "sent11": "animals are a kind of organism", "sent12": "an ocean is a kind of body of water", "sent13": "an ocean is a kind of body of water", "sent14": "fossil means preserved remains of ancient organisms", "sent15": "an animal is a kind of organism", "sent16": "a canyon is a kind of place", "sent17": "if fossils of a aquatic animal or plant are found in a place then that place used to be covered by water in the past", "sent18": "if fossils of an aquatic animal or plant are found in a place then that place used to be covered by water in the past", "sent19": "the grand canyon is a kind of canyon", "sent20": "an animal is a kind of organism", "sent21": "an animal is a kind of living thing", "sent22": "an animal is a kind of living thing", "sent23": "if fossils of an animal or plant are found in a place then that animal or plant used to live in that place", "sent24": "if fossils of a water animal or plant are found in a place then that animal or plant used to live in that place", "sent25": "if fossils of a water animal or plant are found in a place then that place used to be covered by water in the past"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent19 -> int1: aquatic animals live in oceans; sent25 & int1 -> int2: ocean animals are kind of water animals living in oceans; sent15 & int2 -> int3: an ocean plant is a kind of water plant living in oceans; sent18 & sent2 -> int4: if fossils of aquatic animals or plants are found in a place then that place used to be covered by water in the past; sent5 & sent19 -> int5: an ocean is a kind of environment; int3 & int5 -> int6: an ocean plant is a kind of environment; int4 & sent8 -> int7: if fossils of water animals or plants are found in a place then that place used to be covered by water in the past; sent21 & sent16 -> int8: if fossils of water animals or plants are found in a place then that animal or plant used to live in that place; sent11 & sent17 & int8 -> int9: the fossil of an ocean plant is found in the desert; int6 & int9 & sent9 -> int10: the desert is a kind of environment; sent24 & sent12 -> int11: water is a part of the environment; sent1 & sent4 -> int12: a body of water is a kind of environment; int12 & int11 & int10 -> int13: water is a part of the desert; int7 & int13 -> hypothesis", "score": 0.7510773539543152, "hypothesis": "the desert used to be covered by water in the past", "context": {"sent1": "a body of water is a kind of environment", "sent2": "if fossils of an aquatic animal or plant are found in a place then that place used to be covered by water in the past", "sent3": "once means one time", "sent4": "a body of water is a kind of environment", "sent5": "an ocean is a kind of body of water", "sent6": "aquatic animals; plants live in bodies of water", "sent7": "once is similar to in the past", "sent8": "if fossils of a water animal or plant are found in a place then that place used to be covered by water in the past", "sent9": "a desert is a kind of environment", "sent10": "an environment is a kind of area", "sent11": "a fossil of an ocean plant is found in the desert", "sent12": "water is a part of an environment", "sent13": "an environment means an area", "sent14": "a desert environment is a dry environment", "sent15": "an ocean plant is a kind of water plant", "sent16": "if fossils of an animal or plant are found in a place then that animal or plant used to live in that place", "sent17": "a desert is a kind of place", "sent18": "if fossils of a aquatic animal or plant are found in a place then that place used to be covered by water in the past", "sent19": "an ocean is a kind of body of water", "sent20": "under water means covered by water; in water", "sent21": "if fossils of a water animal or plant are found in a place then that animal or plant used to live in that place", "sent22": "area means a place", "sent23": "place means area", "sent24": "water is a part of an environment", "sent25": "ocean animals are a kind of water animals living in oceans"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent16 -> int1: marine animals are a kind of water animals living in oceans; int1 & sent1 -> int2: marine fossils are fossils of water animals living in oceans; sent7 & int2 -> int3: fossils of water animals are found in mountains; sent17 & sent24 -> int4: if fossils of water animals are found in a place then that place used to be covered by water in the past; int4 & int3 & sent15 -> int5: the mountains used to be covered by water in the past; sent13 & sent10 -> int6: an ocean is a kind of environment; int5 & sent5 & int6 -> int7: the environment has changed from an ocean to mountains; sent10 & sent13 & int7 -> hypothesis", "score": 0.6972415447235107, "hypothesis": "the environment has changed from a body of water to mountains", "context": {"sent1": "marine fossils means fossils of marine animals", "sent2": "the surface of the earth contains mountains", "sent3": "a mountain / hill is a kind of environment", "sent4": "a mountain is high in altitude", "sent5": "if something used to be in the past then that something has changed", "sent6": "a mountain is a kind of environment", "sent7": "marine fossils are found in mountains", "sent8": "if fossils of a aquatic animal or plant are found in a place then that place used to be covered by water in the past", "sent9": "how earth's environment changed is a part of the history of earth's environment", "sent10": "an ocean is a kind of body of water", "sent11": "two million or more years means millions of years", "sent12": "a mountain is made of rocks; soil", "sent13": "an ocean is a kind of body of water", "sent14": "fossils can be used as evidence for the ancient environment", "sent15": "a mountain range contains mountains", "sent16": "marine animals are water animals", "sent17": "if fossils of a water animal or plant are found in a place then that animal or plant used to live in that place", "sent18": "if fossils of an aquatic animal or plant are found in a place then that place used to be covered by water in the past", "sent19": "ocean animals are a kind of water animals living in oceans", "sent20": "if fossils of an organism change depending on the level in which they were found then that species of organism changed over time", "sent21": "an increase is a kind of change", "sent22": "species from long ago have changed over time", "sent23": "a mountain; mountain range is a kind of environment", "sent24": "if fossils of a water animal or plant are found in a place then that place used to be covered by water in the past", "sent25": "an increase is a kind of change"}, "proof_gt": ""}, {"proof_pred": "sent21 & sent10 -> hypothesis", "score": 0.7171320915222168, "hypothesis": "sometimes rocks are formed by quartz and feldspar mixed together", "context": {"sent1": "to be found in means to be contained in", "sent2": "granite contains feldspar", "sent3": "quartz is a kind of mineral", "sent4": "a quartzite is a kind of metamorphic rock", "sent5": "rock is made of minerals", "sent6": "igneous rocks; minerals are formed by magma; lava cooling; crystallizing", "sent7": "quartz is a kind of mineral", "sent8": "feldspar is a kind of mineral", "sent9": "a quartz is made of six-sided transparent crystals", "sent10": "feldspar is a kind of minerals", "sent11": "an environment is a kind of thing", "sent12": "a mineral is a kind of solid / natural material", "sent13": "a mixture is made of two or more substances combined together", "sent14": "a mixture is a kind of substance", "sent15": "nature means a natural environment", "sent16": "to be made of something means to be formed of that something", "sent17": "an mixture is formed by two or more substances combined together physically", "sent18": "quartz is hard", "sent19": "all minerals are formed by natural geological processes", "sent20": "a mineral is a kind of solid; natural material", "sent21": "sometimes rocks are formed by quartz; feldspar mixed together", "sent22": "metamorphic rock; sedimentary rock; igneous rock contains quartz", "sent23": "rock is made of minerals", "sent24": "if a material; a substance is a mixture of two or more materials or substances then that material; substance is made; is formed; contains those materials; substances", "sent25": "metamorphic rock is a kind of rock"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent5 -> hypothesis", "score": 0.9322894811630249, "hypothesis": "structural geologists and paleontologists both study the history and processes of earth", "context": {"sent1": "something from long ago can be used for studying history", "sent2": "if something is preserved in sedimentary rocks, then that something can be found in the sedimentary rock", "sent3": "the formation of something is a kind of process", "sent4": "nearly all fossils are found in sedimentary rock", "sent5": "structural geologists are interested in discovering the history and processes of earth", "sent6": "a type is synonymous with a kind", "sent7": "fossils can be used to study the history of organisms and environments on earth", "sent8": "paleontologists study fossils in rock formations", "sent9": "a process is a kind of event", "sent10": "to discover means to find", "sent11": "studying fossils is used to learn about organisms from long ago", "sent12": "the formation of rock is a kind of process", "sent13": "if something is formed by a process then that something is formed as a result of that process", "sent14": "structural geologists study rock formations", "sent15": "paleontologists are interested in discovering the history and processes of earth", "sent16": "how earth's environment changed is a part of the history of earth's environment", "sent17": "history means the past", "sent18": "fossils are the remains of organisms or part of organisms", "sent19": "nearly all fossils are found in sedimentary rock", "sent20": "fossils are formed by the remains of living things", "sent21": "something that happens is a kind of event", "sent22": "a change is a kind of event", "sent23": "rock formation can be used to study the history of rocks on earth", "sent24": "to discover means to make a discovery", "sent25": "the formation of something is a kind of process"}, "proof_gt": ""}, {"proof_pred": "sent21 & sent20 -> int1: in the rock cycle, erosion follows weathering; sent4 & int1 -> hypothesis", "score": 0.9210778474807739, "hypothesis": "after weathering, erosion will be the next step in the rock cycle", "context": {"sent1": "weathering is a kind of erosion", "sent2": "rocks interacting with moving water over long periods of time causes weathering", "sent3": "in the rock cycle, old rocks are physically changed to form new rocks", "sent4": "if a step follows another step , then that step will be the next step", "sent5": "a cycle is a kind of process", "sent6": "a cycle is a kind of process", "sent7": "faster means an increase in speed", "sent8": "the rock cycle is a cyclical process, with stages of formation, weathering, erosion", "sent9": "a cycle happens; occurs repeatedly", "sent10": "faster means an increase; higher in speed", "sent11": "fast means quickly", "sent12": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent13": "weathering; mechanical weathering means breaking down rocks; surface materials from a larger whole into smaller pieces by weather; mechanical means", "sent14": "erosion is a kind of process", "sent15": "erosion is when wind; moving water transports sediments from one place to another place for a long distance", "sent16": "a part of a process means a stage in a process", "sent17": "warm; humid environment increases the rate of rocks weathering", "sent18": "erosion is a kind of process", "sent19": "rocks interacting with wind and moving water over long periods of time causes weathering", "sent20": "weathering is a kind of erosion", "sent21": "in the rock cycle , erosion follows weathering", "sent22": "in the rock cycle, new rocks are formed from broken down rock", "sent23": "a step in a process means a stage in a process", "sent24": "faster means increased rate", "sent25": "in the formation of sedimentary rock , erosion is the first stage"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent4 -> int1: exposure to extreme heat and pressure changes shale into metamorphic rock; int1 & sent24 -> int2: exposure to increased pressure changes shale into metamorphic rock; sent18 & sent3 & int2 -> hypothesis", "score": 0.8975607752799988, "hypothesis": "exposure to increased pressure metamorphoses shale into slate", "context": {"sent1": "to add something means to increase something", "sent2": "metamorphic is a class of rock", "sent3": "shale can be metamorphosed into slate by increased pressure", "sent4": "exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock", "sent5": "to press is similar to add pressure on", "sent6": "an increase is a kind of change", "sent7": "sedimentary rock can be changed into metamorphic rock", "sent8": "an increase is a kind of change", "sent9": "water pressure is a kind of pressure", "sent10": "metamorphosis means complete metamorphosis", "sent11": "to add means to increase", "sent12": "metamorphic rock is a kind of rock", "sent13": "metamorphic rocks are formed by rocks being exposed to extreme heat and pressure", "sent14": "metamorphic is a kind of rock", "sent15": "exposure to extreme heat and pressure changes igneous rock into metamorphic rock", "sent16": "greater means higher; more in value", "sent17": "high is similar to increase", "sent18": "slate is a kind of metamorphic rock", "sent19": "exposure to extreme heat and pressure changes; metamorphoses sedimentary; igneous rock into metamorphic rock", "sent20": "sedimentary rock is a kind of rock", "sent21": "increase means more", "sent22": "metamorphosed rock is a kind of rock", "sent23": "shale is a kind of sedimentary rock", "sent24": "exposure to extreme heat and pressure changes / metamorphoses sedimentary / igneous rock into metamorphic rock", "sent25": "slate is a kind of"}, "proof_gt": ""}, {"proof_pred": "sent16 & sent15 -> int1: sedimentary and metamorphic are classes of rock; sent7 & sent18 -> int2: metamorphic rocks are formed by being exposed to extreme heat and pressure; int2 & sent2 -> int3: sedimentary and metamorphic rocks can be changed into metamorphic rock; sent12 & sent1 -> int4: sedimentary rock and metamorphic rock are kinds of rocks; int1 & int4 -> int5: sedimentary rock and metamorphic rock are classes of rock; sent4 & sent24 -> int6: class is a property of a rock that includes values of sedimentary, metamorphic, and igneous; sent11 & sent19 -> int7: classifying is when one sorts something by class; sent17 & int5 -> int8: sedimentary rock and metamorphic rock are different classes of rock; int6 & int7 -> int9: rocks can be classified based on how they were formed; int8 & int9 -> int10: rocks can be classified based on how they were formed; sent10 & int10 -> hypothesis", "score": 0.8804029226303101, "hypothesis": "rocks can be classified as sedimentary, metamorphic, or igneous based on how the rock was formed", "context": {"sent1": "metamorphic is a kind of rock", "sent2": "sedimentary rock can be changed into metamorphic rock", "sent3": "igneous rocks; minerals are formed by magma; lava cooling; crystallizing", "sent4": "class is a property of a rock and includes values of sedimentary / metamorphic / igneous", "sent5": "sedimentary rocks are formed by sediment compacting / cementing together", "sent6": "metamorphic rock; sedimentary rock; igneous rock contains quartz", "sent7": "metamorphic rocks are formed by rocks being exposed to extreme heat and pressure", "sent8": "igneous rocks are formed by magma cooling", "sent9": "sedimentary rock is a kind of rock", "sent10": "class is a measure of how a rock is formed", "sent11": "classifying is when one sorts something by kind; type", "sent12": "metamorphic rock is a kind of rock", "sent13": "to categorize means to classify", "sent14": "sedimentary rocks are formed by deposition; cementation", "sent15": "metamorphic is a class of rock", "sent16": "sedimentary is a class of rock", "sent17": "different classes of rocks are formed by different methods", "sent18": "exposure to extreme heat and pressure changes; metamorphoses sedimentary; igneous rock into metamorphic rock", "sent19": "classifying is when one sorts something by type", "sent20": "igneous rocks are formed by magma cooling / crystallizing", "sent21": "a kind of something is classified as that something", "sent22": "metamorphosed rock is a kind of rock", "sent23": "sedimentary rocks are formed by sediment; materials that settle compacting; cementing together", "sent24": "class is a property of a rock and includes values of sedimentary; metamorphic; igneous", "sent25": "igneous rock is a kind of rock"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent14 -> int1: exposure to extreme heat and pressure changes sedimentary rock into metamorphic rock; sent17 & sent3 -> int2: sedimentary and metamorphic are kinds of rocks; sent10 & sent5 -> int3: sedimentary rock and metamorphic rock are kinds of rocks; int2 & int3 & int1 -> int4: in this example, in the rock is metamorphic rock and in the other example, sedimentary rock; sent12 & sent19 -> int5: class is a property of a rock and includes values of sedimentary; sent20 & sent6 -> int6: rocks are classified based on how they were formed; sent7 & sent21 -> int7: exposure to extreme heat and pressure changes igneous rock into metamorphic rock; int5 & sent8 -> int8: sedimentary rock is a kind of rock that is igneous; int4 & int8 -> int9: the rock is igneous and the rock is sedimentary; int7 & int9 -> int10: the rock is igneous, sedimentary, and metamorphic; int10 & int6 -> int11: rocks are classified as igneous, sedimentary, or metamorphic; int11 & sent1 -> hypothesis", "score": 0.7746413946151733, "hypothesis": "rocks are classified as igneous, sedimentary, or metamorphic based on how they are formed", "context": {"sent1": "class is a measure of how a rock is formed", "sent2": "metamorphic rock; sedimentary rock; igneous rock contains quartz", "sent3": "metamorphic is a class of rock", "sent4": "metamorphosed rock is a kind of rock", "sent5": "sedimentary rock is a kind of rock", "sent6": "classifying is when one sorts something by kind; type", "sent7": "exposure to extreme heat and pressure changes; metamorphoses sedimentary; igneous rock into metamorphic rock", "sent8": "metamorphic is a kind of rock", "sent9": "sedimentary rocks are formed by sediment compacting / cementing together", "sent10": "metamorphic rock is a kind of rock", "sent11": "metamorphic rocks are formed by rocks being exposed to extreme heat and pressure", "sent12": "class is a property of a rock and includes values of sedimentary; metamorphic; igneous", "sent13": "igneous rocks; minerals are formed by magma; lava cooling; crystallizing", "sent14": "sedimentary rock can be changed into metamorphic rock", "sent15": "sediment is formed by rocks weathering", "sent16": "igneous rocks are formed by magma cooling / crystallizing", "sent17": "sedimentary is a class of rock", "sent18": "sedimentary rocks are formed by sediment; materials that settle compacting; cementing together", "sent19": "class is a property of a rock and includes values of sedimentary / metamorphic / igneous", "sent20": "a kind of something is classified as that something", "sent21": "exposure to extreme heat and pressure changes / metamorphoses sedimentary / igneous rock into metamorphic rock", "sent22": "sediment is formed by rocks weathering", "sent23": "metamorphic rock is harder than sedimentary rock", "sent24": "igneous rocks are formed by magma cooling", "sent25": "igneous rock is a kind of rock"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent19 -> int1: organisms are mainly made of carbon; int1 & sent21 -> int2: organisms are mainly made of carbon; int2 & sent4 -> int3: int: organisms contain high amounts of carbon; int3 & sent3 -> int4: organisms contain high amounts of carbon; sent5 & sent2 -> int5: if something contains something else then that something contains that something else; int5 & int4 -> int6: high amounts of carbon in organisms are a feature of organic material; int6 & sent17 -> int7: organic material is a source of high amounts of carbon; sent11 & sent20 -> int8: organic material is a source of organic material; int8 & int7 -> int9: organic material is a source of high amounts of carbon in sediments; sent1 & sent13 -> int10: if something is formed from sediment then that something is made of sediment; int10 & sent9 -> int11: organic sedimentary is made of sediment; int11 & sent7 -> int12: organic sedimentary rock is made of sediment; int12 & int9 -> int13: organic sedimentary rock contains high amounts of carbon; sent8 & int13 -> hypothesis", "score": 0.831828773021698, "hypothesis": "a sedimentary deposit formed from organic material includes high amounts of carbon", "context": {"sent1": "if something is formed from a material then that something is made of that material", "sent2": "if something is made of something / a material then that something contains that something / that material", "sent3": "an organism is made of organic matter", "sent4": "if something is mainly made of something else then that something contains high amounts of that something else", "sent5": "if something is made of something; a material then that something contains that something; that material", "sent6": "sedimentary rocks are formed by sediment; materials that settle compacting; cementing together", "sent7": "sediment is a kind of material", "sent8": "a sedimentary deposit formed from organic material", "sent9": "organic sedimentary is a kind of sedimentary rock", "sent10": "sedimentary rocks are formed by deposition", "sent11": "an organism is a source of organic material", "sent12": "high means a lot of something", "sent13": "sedimentary rock is made of sediment", "sent14": "organic sedimentary is formed by the remains of organims and sediments compressed together", "sent15": "deposition is when moving water; wind moves; deposits an object; sediment from one location to a different location", "sent16": "sediment means deposited materials", "sent17": "an organism is a source of organic material", "sent18": "including means containing", "sent19": "organisms are made of carbon", "sent20": "an organism is made of organic matter", "sent21": "organisms are made of organic compounds", "sent22": "organic compounds mainly are made of carbon; hydrogen; oxygen; nitrogen", "sent23": "to contain something means to include something", "sent24": "organic material is a kind of material", "sent25": "sedimentary rocks are formed by deposition; cementation"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent22 -> int1: forming sedimentary rock requires burying sediments; sent3 & sent4 -> int2: sedimentary rocks are formed by sediment being deposited and compacted; sent16 & int2 -> int3: sedimentary rocks are formed by sediment being buried and compacted; sent9 & sent21 -> int4: sedimentary rock is made of materials; sent19 & int3 -> int5: sedimentary rocks are formed by sediment being buried and cemented together; int4 & 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; sent13 & sent25 -> int8: sedimentary rock is a kind of structure; int8 & int7 -> hypothesis", "score": 0.7967461347579956, "hypothesis": "sedimentary rocks are a kind of structure that is formed by materials being deposited then buried then cemented together", "context": {"sent1": "sedimentary rocks are formed in layers", "sent2": "erosion causes deposition", "sent3": "sedimentary rocks are formed by sediment; materials that settle compacting; cementing together", "sent4": "sedimentary rocks are formed by sediment compacting / cementing together", "sent5": "sedimentary is a class of rock", "sent6": "sediment means deposited materials", "sent7": "sedimentary rocks are formed by deposition; cementation", "sent8": "rocks are a kind of structure", "sent9": "sediment is a kind of material", "sent10": "sediment is formed by rocks weathering", "sent11": "in the formation of sedimentary rock , burying the sediments follows depositing the sediments", "sent12": "deposition is when wind deposits sediments", "sent13": "rocks are a kind of structure", "sent14": "sedimentary rocks are formed by sediment compacting together", "sent15": "the sediment from the granite is buried and compacted", "sent16": "forming sedimentary rocks requires compacting the materials", "sent17": "as rocks are buried deeper below other rocks , the pressure; heat on that rock will increase", "sent18": "rock is a kind of deposit", "sent19": "sedimentary rocks are formed by sediment cementing together", "sent20": "deposition is when moving water; wind moves; deposits an object; sediment from one location to a different location", "sent21": "sedimentary rock is made of sediment", "sent22": "in the formation of sedimentary rock , burying the sediments follows depositing the sediments", "sent23": "sediment is formed by rocks weathering", "sent24": "sedimentary rocks are formed by deposition", "sent25": "sedimentary rock is a kind of rock"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent9 -> int1: burning fossil fuels increases the amount of carbon in the atmosphere; sent4 & int1 -> int2: burning fossil fuels increases the amount of carbon in the air; sent22 & sent24 -> int3: carbon dioxide can be found in the atmosphere; sent17 & int3 -> int4: burning fossil fuels adds carbon to the atmosphere; int2 & int4 -> hypothesis", "score": 0.6845716238021851, "hypothesis": "burning fossil fuels adds carbon into the atmosphere", "context": {"sent1": "fire causes burning", "sent2": "the emission of something is when something is added into the atmosphere", "sent3": "to add means to increase", "sent4": "burning fossil fuels increases the carbon in the atmosphere", "sent5": "atmospheric means of the atmosphere", "sent6": "atmosphere means air", "sent7": "burning something is a kind of action", "sent8": "fire causes burning", "sent9": "releasing something into the atmosphere increases the amount of that something in the atmosphere", "sent10": "burning fossil fuels releases carbon dioxide into the atmosphere", "sent11": "a source of something emits / produces / generates / provides that something", "sent12": "a process is a kind of event", "sent13": "burning is a kind of action", "sent14": "something that happens is a kind of event", "sent15": "a source of something emits; produces; generates; provides that something", "sent16": "to perform a process can mean to use a process", "sent17": "carbon dioxide contains carbon", "sent18": "an event is a kind of action", "sent19": "combustion is a kind of activity", "sent20": "if a process is used by something then that something causes that process", "sent21": "burning fossil fuel is a kind of human activity", "sent22": "carbon dioxide can be found in the air", "sent23": "burning is similar to combustion", "sent24": "the atmosphere is made of air", "sent25": "burning is a kind of action"}, "proof_gt": ""}, {"proof_pred": "sent21 & sent18 -> int1: fossil fuel contains chemical energy; int1 & sent23 & sent14 -> hypothesis", "score": 0.9310827851295471, "hypothesis": "chemical energy can be found in fossil fuels", "context": {"sent1": "to be found in means to be contained in", "sent2": "fossil fuels are a kind of energy resource", "sent3": "chemical energy is a kind of energy", "sent4": "a kind of is similar to a form of", "sent5": "if something is made of something else, then that something else can be found in that something", "sent6": "form means kind", "sent7": "oil is a kind of fossil fuel", "sent8": "coal is a kind of fossil fuel", "sent9": "fuel is a kind of energy source", "sent10": "fossil fuels are a kind of energy resource", "sent11": "chemicals means substances", "sent12": "oil is a kind of fossil fuel", "sent13": "fuel is a kind of energy source", "sent14": "if something contains something else then that something else can be found in that something", "sent15": "petroleum is a kind of fossil fuel", "sent16": "a type is synonymous with a kind", "sent17": "fuel is a source of energy", "sent18": "fuel contains chemical energy", "sent19": "if something is found in something else then that something else contains that something", "sent20": "coal is a kind of fossil fuel", "sent21": "fossil fuel is a kind of fuel", "sent22": "found in means existing in", "sent23": "fossil fuel contains chemical energy", "sent24": "a class of something means a type of something", "sent25": "if something is found in something else, then that something else contains that something"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent9 -> hypothesis", "score": 0.9502071142196655, "hypothesis": "geothermal energy has the potential to produce renewable electric energy", "context": {"sent1": "a source of something produces that something", "sent2": "high is similar to increase", "sent3": "energy is a kind of resource", "sent4": "a source of something emits / produces / generates / provides that something", "sent5": "generate means produce", "sent6": "potential energy means stored energy", "sent7": "electricity means electrical energy", "sent8": "to provide something can mean to produce something", "sent9": "producing renewable electric energy requires renewable resources", "sent10": "converting is similar to producing", "sent11": "renewable is the opposite of nonrenewable", "sent12": "electricity is a kind of electrical energy", "sent13": "to produce means to provide", "sent14": "to produce something means to make something", "sent15": "geothermal energy is a renewable resource", "sent16": "electrical energy is a kind of energy", "sent17": "development is similar to production", "sent18": "a source of something emits; produces; generates; provides that something", "sent19": "to generate something means to produce something", "sent20": "potential energy is a kind of energy", "sent21": "an energy source is a kind of resource", "sent22": "increase means more", "sent23": "potential is a kind of ability", "sent24": "renewable is the opposite of nonrenewable", "sent25": "electrical energy is a kind of energy"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent10 -> int1: an advantage is when a resource is available for a long time; int1 & sent3 -> hypothesis", "score": 0.8611648082733154, "hypothesis": "an advantage of renewable resources is they are often available for many years", "context": {"sent1": "resources becoming available has a positive impact on the things that need those resources", "sent2": "how long something lasts is a measure of how long that something is available", "sent3": "renewable resources are often available for many years", "sent4": "a renewable resource is a kind of naturally replaced resource", "sent5": "renewable is the opposite of nonrenewable", "sent6": "fossil fuels are a nonrenewable resource", "sent7": "wind is a renewable; inexhaustible resource", "sent8": "to be inexhaustible means to always be available", "sent9": "renewable is the opposite of nonrenewable", "sent10": "something that has a positive impact on something else is a kind of benefit", "sent11": "advantage has a positive impact on something", "sent12": "resources becoming available has a positive impact on the things that need those resources", "sent13": "resources being available has a positive impact on the things that need those resources", "sent14": "the amount of something is similar to the availability of something", "sent15": "renewable is a property of resources", "sent16": "an inexhaustible resource is a kind of renewable resource", "sent17": "to last longer means to be available longer", "sent18": "a positive impact is a benefit", "sent19": "years are a kind of unit for measuring time", "sent20": "inexhaustible means always available", "sent21": "a renewable resource can be renewed", "sent22": "fossil fuels are a nonrenewable resource", "sent23": "renewability is a property of resource and includes values of renewable; nonrenewable", "sent24": "help means advantage", "sent25": "a renewable resource is a kind of natural resource"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.8714795112609863, "hypothesis": "the supply of solar energy will not change over billions of years", "context": {"sent1": "a supply of something is a source of that something", "sent2": "stay the same means not changing", "sent3": "a change is a kind of difference", "sent4": "another means different", "sent5": "solar energy is a kind of energy", "sent6": "solar energy is a kind of resource", "sent7": "to change means to become different", "sent8": "sunlight is a kind of solar energy", "sent9": "billions of years is a longer period of time than 10 years", "sent10": "sunlight is a kind of solar energy", "sent11": "the supply of an inexhaustible resource does not change over a long period of time", "sent12": "an increase is a kind of change", "sent13": "a nonrenewable resource is limited in supply", "sent14": "if something changes , then that something is not the same", "sent15": "a source of something supplies that something", "sent16": "if something is not the same as something else then that something is different from that something else", "sent17": "solar energy is a kind of energy", "sent18": "an energy source is a kind of resource", "sent19": "an increase is a kind of change", "sent20": "to be used for something means to be required by that something", "sent21": "solar energy is a renewable; inexhaustible resource", "sent22": "a source of energy is a kind of energy resource", "sent23": "different is the opposite of the same", "sent24": "opposite is a kind of different", "sent25": "a supply of something is a source of that something"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent15 -> int1: a source of heat can be used to heat a home; int1 & sent10 -> int2: solar energy can be used to heat a home; sent24 & sent4 -> int3: solar energy is a kind of renewable resource; sent6 & int2 -> int4: an example of using renewable energy is using solar energy to heat a home; int4 & int3 -> hypothesis", "score": 0.8189716935157776, "hypothesis": "solar energy is a kind of renewable resource that is used for heating a home", "context": {"sent1": "a source of heat can be used to heat something", "sent2": "renewable is the opposite of nonrenewable", "sent3": "solar energy is a kind of energy", "sent4": "solar energy is a kind of resource", "sent5": "a house is a kind of building", "sent6": "an example of using renewable energy is using solar energy to heat the house", "sent7": "alternative fuel is usually a renewable resource", "sent8": "renewable is the opposite of nonrenewable", "sent9": "solar power means solar energy", "sent10": "a source of heat can be used to heat something", "sent11": "sunlight is a kind of solar energy", "sent12": "best means most positive", "sent13": "solar energy is a kind of energy", "sent14": "a renewable resource is a kind of natural resource", "sent15": "a home is a kind of building", "sent16": "solar energy is a kind of heat energy", "sent17": "sunlight means solar energy", "sent18": "a house is a kind of home", "sent19": "sunlight is a kind of solar energy", "sent20": "a renewable resource is a kind of naturally replaced resource", "sent21": "an energy source is a kind of resource", "sent22": "a homeowner is a kind of human", "sent23": "energy is a kind of resource", "sent24": "solar energy is a renewable; inexhaustible resource", "sent25": "better means good"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent12 -> int1: soil erosion caused by moving water is when water moves soil from fields / environments; int1 & sent6 -> int2: soil erosion caused by moving water is when soil is washed away; sent1 & sent16 -> int3: soil erosion caused by moving water is a kind of erosion; sent25 & sent23 -> int4: plants roots prevent soil erosion; int4 & int3 & int2 -> int5: plants roots prevent soil from being washed away; sent14 & sent9 -> int6: roots are a part of a tree; sent10 & int6 -> int7: roots of trees are a part of a tree; int5 & int7 -> hypothesis", "score": 0.8241350650787354, "hypothesis": "planting trees prevents soil from washing away", "context": {"sent1": "soil erosion is a kind of erosion", "sent2": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent3": "a landslide is when water; gravity rapidly moves rocks; soil downhill especially after a rain storm", "sent4": "tree roots decrease / reduce soil erosion", "sent5": "soil erosion means soil loss through wind;water; animals", "sent6": "to wash away is a kind of movement by moving water", "sent7": "a decrease in plants roots will increase soil erosion", "sent8": "if soil is held in place, then soil erosion can be prevented", "sent9": "a tree is a kind of plant", "sent10": "a tree is a kind of plant", "sent11": "best means most positive", "sent12": "soil erosion is when moving water moves soil from fields / environments", "sent13": "to inhibit means to prevent", "sent14": "roots are a part of a plant; tree", "sent15": "tree roots reduce soil erosion", "sent16": "soil erosion is when wind; moving water; gravity moves soil from fields; environments", "sent17": "washing out means being moved from by water", "sent18": "inhibitor means something that prevents something from happening", "sent19": "negative impact is the opposite of positive impact", "sent20": "negative impact is the opposite of positive impact", "sent21": "tree roots decrease; reduce soil erosion", "sent22": "soil erosion is when wind and moving water moves soil from fields / environments", "sent23": "plants roots prevent soil from erosion", "sent24": "pouring water onto soil causes that soil to wash away", "sent25": "in the erosion process roots of plants are an inhibitor"}, "proof_gt": ""}, {"proof_pred": "sent18 & sent16 -> int1: sunlight is a kind of resource; sent20 & sent7 -> int2: photovoltaic cells convert solar energy into electrical energy; sent13 & sent2 -> int3: photovoltaic cells convert solar energy into electricity; int3 & int2 -> int4: photovoltaic cells use sunlight as a resource to produce electricity; sent24 & sent1 -> int5: solar energy is a kind of renewable resource; int1 & int4 -> int6: photovoltaic cells use sunlight as a resource by producing electricity; int6 & int5 -> hypothesis", "score": 0.7103824019432068, "hypothesis": "solar energy is a kind of renewable resource that is used by photovoltaic cells to produce electricity", "context": {"sent1": "solar energy is a renewable; inexhaustible resource", "sent2": "electricity is a kind of electrical energy", "sent3": "to generate something means to produce something", "sent4": "electricity means electrical energy", "sent5": "solar cell is similar to photovoltaic cell", "sent6": "solar energy is a kind of energy", "sent7": "solar cells convert solar energy into electrical energy", "sent8": "a source of something emits / produces / generates / provides that something", "sent9": "photovoltaic cells convert light energy into electricity", "sent10": "converting is similar to producing", "sent11": "energy is a kind of resource", "sent12": "to provide something can mean to produce something", "sent13": "solar energy is a source of electricity", "sent14": "a solar panel converts sunlight; solar energy into electrical energy; electricity", "sent15": "solar energy is a kind of energy", "sent16": "sunlight is a kind of solar energy", "sent17": "producing renewable electric energy requires renewable resources", "sent18": "sunlight is a kind of solar energy", "sent19": "an energy source is a kind of resource", "sent20": "solar energy is a source of electricity", "sent21": "a renewable resource is a kind of natural resource", "sent22": "generate means produce", "sent23": "a source of something emits; produces; generates; provides that something", "sent24": "solar energy is a kind of resource", "sent25": "a source of something produces that something"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent7 & sent13 -> int1: runoff is when cropland water enters a lake; sent18 & sent19 & sent9 -> int2: algae is a kind of organism found in lakes; int2 & sent1 & sent11 -> int3: algae is a kind of organism that can grow in lakes; int3 & sent23 -> int4: fertilizers have a positive impact on algae growth in lakes; sent11 & sent4 & int1 & sent6 -> int5: runoff from a cropland can enter a lake; int4 & sent8 -> int6: runoff from cropland can have a positive impact on algae growth in lakes; int6 & int5 -> int7: runoff entering a lake can have a positive impact on algae growth in lakes; sent12 & sent16 -> int8: an impact can mean to affect something; int8 & sent5 -> int9: impact can mean to affect something; int9 & int7 -> hypothesis", "score": 0.7532191872596741, "hypothesis": "runoff entering a lake affects that lake by causing algae to grow in it", "context": {"sent1": "an algae is a kind of organism", "sent2": "algae is a kind of plant", "sent3": "algae is a kind of living thing", "sent4": "a lake is a kind of body of water", "sent5": "to impact means to affect", "sent6": "runoff is a kind of water", "sent7": "runoff enters a lake", "sent8": "runoff contains fertilizers from cropland", "sent9": "algae is found in bodies of water", "sent10": "cropland is used for farming by humans", "sent11": "a lake is a kind of body of water", "sent12": "to impact something means to affect something", "sent13": "runoff is when cropland water enters; runs off into bodies of water", "sent14": "farming is when a human plants crops for food", "sent15": "runoff is when cropland water enters bodies of water", "sent16": "an impact means an effect", "sent17": "runoff contains chemicals; fertilizer; pollutants; pesticides from cropland", "sent18": "an algae is a kind of organism", "sent19": "algae is a kind of organism", "sent20": "if fertilizer is used on a land, then the runoff from that land will contain fertilizer", "sent21": "runoff from a cropland causes water pollution", "sent22": "returning is similar to entering", "sent23": "fertilizers have a positive impact on algae growth", "sent24": "farming is when a human plants crops for food", "sent25": "fertilizers have a negative impact on the environment; natural resources"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent17 -> int1: acid rain can change the ph of water; sent23 & sent20 -> int2: a tadpole is a kind of organism that lives in water; int1 & int2 -> int3: acid rain can change the ph of water so that tadpoles can live in acidic water; sent14 & sent19 -> int4: a tadpole is a kind of young; int4 & int3 -> int5: acid rain can change the PH of water so that tadpoles can live in acidic water; sent3 & sent18 -> int6: a tadpole is a kind of organism; int6 & sent10 -> int7: if something has a negative impact on the survival of a tadpole then that tadpole may be unable to survive; int5 & int7 -> hypothesis", "score": 0.8312976956367493, "hypothesis": "if acid rain changes the ph of water then tadpoles may by unable to survive", "context": {"sent1": "a frog is a kind of aquatic animal", "sent2": "a tadpole is a kind of animal", "sent3": "a frog is a kind of animal", "sent4": "if something has a negative impact on the survival of an organism then that organism may be unable to survive", "sent5": "changing the ph of water can cause animals live in the water not be able to survive", "sent6": "a frog is a kind of amphibian", "sent7": "decreasing in population can cause the population to be low", "sent8": "frogs / turtles / fish / mice / birds are kinds of animals", "sent9": "a frog is a kind of aquatic animal", "sent10": "if something has a negative impact on the survival of an organism then that organism may be unable to survive", "sent11": "toad is a kind of animal", "sent12": "the mature; adult form of a tadpole is called a frog", "sent13": "acid rain is acidic", "sent14": "the immature; young; baby form of a frog is called a tadpole", "sent15": "negative impacts on organisms; species will decrease the population of the organisms; the species", "sent16": "acidic rainwater contains acid", "sent17": "acid rain changes the ph of water", "sent18": "a frog is a kind of animal", "sent19": "a tadpole is a kind of young; baby frog", "sent20": "a tadpole lives in water", "sent21": "decreasing in population will cause the population to be low", "sent22": "the adult form of a tadpole is called a frog", "sent23": "a tadpole lives in water", "sent24": "the immature form of a frog is called a tadpole", "sent25": "an amphibian is a kind of animal"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent11 & sent24 -> int1: a car is a kind of vehicle; sent16 & int1 & sent18 -> hypothesis", "score": 0.9034640789031982, "hypothesis": "many automobiles increase the pollution in the air", "context": {"sent1": "a problem; a concern has a possible negative impact on a thing", "sent2": "the use of automobiles causes pollution to the environment", "sent3": "pollution has a negative impact on the environment; air quality; water quality; society", "sent4": "high is similar to increase", "sent5": "a tool is a kind of invention", "sent6": "an electric car is a kind of invention", "sent7": "problem is similar to issue", "sent8": "the automobile is a kind of technology", "sent9": "using a car causes pollution", "sent10": "pollution has a negative impact on the environment / air quality / water quality / society", "sent11": "an automobile is a kind of vehicle", "sent12": "if something / an invention / a discovery is invented / discovered then that something / that invention / that discovery can be used", "sent13": "causing problems is a kind of negative impact", "sent14": "pollution is a source of pollutants", "sent15": "pollutants have a negative impact on the environment; air quality", "sent16": "a car is a kind of automobile", "sent17": "automobiles; industrialization are a source of carbon dioxide", "sent18": "many vehicles emit pollution into the air", "sent19": "an automobile is a kind of vehicle", "sent20": "developing means creating; inventing", "sent21": "if something; an invention; a discovery is invented; discovered then that something; that invention; that discovery can be used", "sent22": "to be a source of something means to cause that something", "sent23": "pollution is a kind of environmental problem", "sent24": "a car is a kind of vehicle", "sent25": "to make means to invent"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent18 -> int1: starvation causes organisms to starve; int1 & sent9 -> int2: starvation causes organisms to decrease in population; sent1 & int2 -> int3: starvation of animals can cause those animals to decrease in population; int3 & sent14 -> int4: starvation of the animals that eat fish can cause those animals to lack food; int4 & sent22 -> int5: starving animals that eat fish can cause those animals to lack food; sent6 & sent8 -> int6: a decrease of something required by an organism has a negative impact on that organism's survival; int6 & sent5 -> int7: a decrease of nutrients has a negative impact on organisms; int7 & sent16 -> int8: a lack of nutrients has a negative impact on animals; int8 & sent21 -> int9: a lack of nutrients has a negative effect on animals; int5 & int9 -> int10: starving animals that eat fish can have a negative effect on those animals; int10 & sent13 -> hypothesis", "score": 0.8918852210044861, "hypothesis": "starvation of the animals that eat fish can endanger those animals", "context": {"sent1": "starvation can decrease animal population", "sent2": "too much is similar to increase", "sent3": "too much fishing causes the fish population to decrease in an area", "sent4": "a lack of something that a living thing requires prevents the survival of that living thing", "sent5": "the decrease of something required by an organism has a negative impact on that organism 's survival", "sent6": "the decrease of something required by an organism has a negative impact on the survival of the organism", "sent7": "fishing has a negative impact on ecosystems", "sent8": "the decrease of something required by an organism has a negative impact on that organism's survival; that organism's ability", "sent9": "if an organism dies then the population of that organism will decrease", "sent10": "if something has a negative impact on the survival of an organism then that organism may be unable to survive", "sent11": "harming an organism can cause that organism to die", "sent12": "if the amount of something decreases then that something might be depleted", "sent13": "if something has a negative impact on the survival of an organism then that organism may be unable to survive", "sent14": "some animals eat fish for food", "sent15": "a food shortage can cause the population of a species to decrease", "sent16": "an animal; living thing requires nutrients for survival", "sent17": "harming an organism can cause that organism to die", "sent18": "lack of food causes starvation", "sent19": "fishing is when a human kills; catches fish for food", "sent20": "endangered means low in population", "sent21": "causing an animal to die has a negative effect on that animal", "sent22": "if the food that an animal eats decreases in amount then that animal will lack food", "sent23": "lack of food causes starvation", "sent24": "if something is decreased then that something is depleted", "sent25": "endangered means low in population"}, "proof_gt": ""}, {"proof_pred": "sent7 & sent25 -> int1: paper can be recycled many times; sent16 & int1 -> hypothesis", "score": 0.833364725112915, "hypothesis": "notebook paper can be recycled many times", "context": {"sent1": "can be means able to be", "sent2": "to recycle means return", "sent3": "recycling is similar to reusing", "sent4": "recycling means using over again", "sent5": "recycling has a positive impact on the environment", "sent6": "replacing is similar to recycling", "sent7": "recyclable means a material can be recycled / reused many times", "sent8": "recyclability is a property of a material and includes ordered values of nonrecyclable; recyclable", "sent9": "objects are made of materials", "sent10": "going to school occurs during the day", "sent11": "usually people learn how to read and write in school", "sent12": "paper is recyclable", "sent13": "if an object is made of a material then that object has the properties of that material", "sent14": "recycling resources; nonrenewable resources has a positive impact on the environment; conservation of those resources", "sent15": "a paper is a kind of object", "sent16": "notebook paper is a kind of paper", "sent17": "objects are made of materials; substances; matter", "sent18": "if an object is made of a material then that object has the properties of that material", "sent19": "paper is a kind of object", "sent20": "recyclable means a material can be recycled; reused many times", "sent21": "a material is a kind of resource", "sent22": "paper is a kind of material", "sent23": "a student is a kind of human", "sent24": "recycling means reusing", "sent25": "recyclable means a material can be recycled many times"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent15 -> int1: glass is a kind of material that is recyclable; sent24 & int1 -> int2: glass bottles are recyclable; sent2 & sent18 -> int3: recyclable materials can be recycled many times; sent7 & sent17 -> int4: a glass bottle is a kind of material; int2 & int3 & int4 -> hypothesis", "score": 0.8643807172775269, "hypothesis": "glass bottles can be reused many times", "context": {"sent1": "a glass contains water", "sent2": "recyclable means a material can be recycled / reused many times", "sent3": "recycling means using over again", "sent4": "if an object is made of a material then that object has the properties of that material", "sent5": "metal is a kind of material", "sent6": "a container contains objects; material; substances", "sent7": "glass bottles are made of glass", "sent8": "something reusable can be used more than once", "sent9": "objects are made of materials", "sent10": "a bottle is a kind of object", "sent11": "recyclable means a material can be recycled many times", "sent12": "a glass is a kind of object", "sent13": "glass is a kind of object", "sent14": "reusing is similar to using many times", "sent15": "glass is a kind of material", "sent16": "objects are made of materials; substances; matter", "sent17": "a glass bottle is a kind of bottle", "sent18": "recyclable means a material can be recycled; reused many times", "sent19": "recycling is similar to reusing", "sent20": "glass is a kind of object", "sent21": "a bottle is a kind of container", "sent22": "recycling means reusing", "sent23": "glass is recyclable", "sent24": "glass is a kind of material", "sent25": "metal is a kind of material"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent20 -> hypothesis", "score": 0.9882349967956543, "hypothesis": "an earthquake changes earth 's surface quickly", "context": {"sent1": "weathering occurs at the the surface of the earth", "sent2": "weathering is a kind of erosion", "sent3": "weathering; mechanical weathering means breaking down rocks; surface materials from a larger whole into smaller pieces by weather; mechanical means", "sent4": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent5": "erosion; weathering changes the earth's surface", "sent6": "soil erosion is a kind of slow; natural process", "sent7": "rapidly means quickly", "sent8": "if an event changes something then that event causes that change", "sent9": "an earthquake changes earth's surface quickly", "sent10": "a landslide is a kind of natural event", "sent11": "something that happens is a kind of event", "sent12": "weathering is a kind of geologic process", "sent13": "weathering is a kind of geologic process", "sent14": "shaking the ground of the earth can change earth's surface", "sent15": "a natural process is performed by nature", "sent16": "a change is a kind of event", "sent17": "weathering is a kind of erosion", "sent18": "shaking is a kind of moving", "sent19": "erosion is a kind of slow process", "sent20": "an earthquake is a kind of natural; geological event", "sent21": "the ground means earth's surface", "sent22": "an earthquake causes the ground to shake", "sent23": "erosion changes the earth 's surface", "sent24": "a process is a kind of event", "sent25": "natural events usually cause changes to earth's surface"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent24 -> int1: nitrogen makes up 99% of the earth's atmosphere by mass; sent17 & int1 -> hypothesis", "score": 0.8780739903450012, "hypothesis": "element nitrogen makes up most of the earth's atmosphere", "context": {"sent1": "majority means over 50% of something", "sent2": "to breathe in means to absorb air", "sent3": "the earth 's atmosphere is made of 78 percent nitrogen by mass", "sent4": "an animal requires oxygen to breathe", "sent5": "most means over 50% of something", "sent6": "the majority of is similar to the largest amount", "sent7": "the earth 's atmosphere is made of 21 percent oxygen by volume", "sent8": "breathing in is when animals inhale air into their lungs", "sent9": "the earth's atmosphere is made of 23133 percent oxygen by mass", "sent10": "air is made of nitrogen, oxygen, carbon dioxide, water vapor, and argon", "sent11": "usually means most of the time", "sent12": "the parts of something make up that something", "sent13": "breathing out is when animals exhale carbon dioxide from their lungs into the air", "sent14": "in order to breath air you must take in air", "sent15": "most means over 50% of something", "sent16": "to inhale means to breathe in", "sent17": "nitrogen is a kind of element", "sent18": "oxygen  can be found in air", "sent19": "the earth 's atmosphere is made of 78 percent nitrogen by volume", "sent20": "an animal requires oxygen for to breathe", "sent21": "all animals breathe", "sent22": "mostly means being the most", "sent23": "the atmosphere is made of air", "sent24": "the earth's atmosphere is made of 78 percent nitrogen by mass", "sent25": "atmosphere means air"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent13 -> int1: soil is formed by weathering rocks; sent9 & sent12 -> int2: weathering rocks is a kind of erosion; int2 & sent11 -> int3: soil is formed by weathering soil; int1 & int3 -> int4: soil is formed by weathering rocks and forming soil; sent2 & sent24 -> int5: lichens can break down rocks by chemical reaction; int5 & int4 -> hypothesis", "score": 0.7467123866081238, "hypothesis": "lichens breaking down rocks can form soil", "context": {"sent1": "the formation of something is a kind of process", "sent2": "lichens can produce acid to break down rocks", "sent3": "building up is similar to forming", "sent4": "erosion is a kind of process", "sent5": "the formation of something is a kind of process", "sent6": "acid can cause rocks to weather by chemical reaction", "sent7": "construction means building", "sent8": "erosion is a kind of process", "sent9": "weathering is a kind of erosion", "sent10": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent11": "soil erosion is a kind of erosion", "sent12": "weathering is a kind of erosion", "sent13": "soil is formed by weathering", "sent14": "soil is formed by rocks eroding", "sent15": "soil is formed by rocks weathering", "sent16": "to make means to build", "sent17": "soil erosion is a kind of slow; natural process", "sent18": "a plant's roots slowly break down rocks as the roots grow", "sent19": "soil erosion is when wind; moving water; gravity moves soil from fields; environments", "sent20": "breaking down is a kind of forming", "sent21": "to cause the formation of means to form", "sent22": "soil erosion means soil loss through wind;water; animals", "sent23": "if something is formed by a process then that something is formed as a result of that process", "sent24": "acid can cause rocks to weather by chemical reaction", "sent25": "weathering; mechanical weathering means breaking down rocks; surface materials from a larger whole into smaller pieces by weather; mechanical means"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent10 -> int1: sierra nevada is a kind of mountain range; int1 & sent24 & sent3 -> hypothesis", "score": 0.8345186710357666, "hypothesis": "sierra nevada mountains can limit the water vapor reaching nevada", "context": {"sent1": "water vapor condensing in clouds causes rain", "sent2": "water vapor is a kind of gas", "sent3": "sierra nevada mountains are located in nevada", "sent4": "water is in the gas state , called water vapor; steam , for temperatures between 373; 212; 100 and 100000000000 k; f; c", "sent5": "precipitation is water that falls to the ground from clouds", "sent6": "water is in the gas state , called water vapor, for temperatures above 100 c", "sent7": "as the amount of water in air condensing into clouds decreases , the amount of precipitation will decrease", "sent8": "precipitation is when water falls from the sky", "sent9": "water vapor is water in gas state", "sent10": "a mountain range contains mountains", "sent11": "a restriction can be used to limit something; keep something low", "sent12": "precipitation is when water falls from the sky", "sent13": "rain is a kind of precipitation", "sent14": "to limit means to decrease", "sent15": "if water vapor is limited to reach a location , then that location  will be dry", "sent16": "raining is when rain falls from clouds to the earth;ground as a liquid", "sent17": "rain is a kind of precipitation", "sent18": "a mountain is a kind of land feature", "sent19": "a mountain is a kind of environment", "sent20": "a restriction can be used to limit something / keep something low", "sent21": "nevada is a state located in the united states of america", "sent22": "a mountain is high in altitude", "sent23": "the sierra nevada is a kind of mountain range", "sent24": "mountains can limit the water vapor reaching a location", "sent25": "a mountain; mountain range is a kind of environment"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent22 -> int1: when a river floods, that river deposits soil in flood plains; sent23 & int1 -> hypothesis", "score": 0.9531359076499939, "hypothesis": "the soil deposited by a river in flood plains are rich in nutrients", "context": {"sent1": "a flood is a kind of moving water", "sent2": "a river is a kind of flowing body of water", "sent3": "high is similar to increase", "sent4": "high quality; rich; good soil has a high number of nutrients; amount of nitrogen", "sent5": "when a river floods , that river deposits soil in flood plains", "sent6": "deposition is when moving water; wind moves; deposits an object; sediment from one location to a different location", "sent7": "to enrich something means to cause an enrichment of that something", "sent8": "a river is a kind of a moving body of water", "sent9": "mineral nutrients can be found in soil", "sent10": "high quality / rich / good soil has a high amount of nitrogen", "sent11": "flood plains are located near rivers", "sent12": "a river is a kind of body of water", "sent13": "a river is a kind of flowing; moving body of water", "sent14": "erosion causes deposition", "sent15": "renewing soil increases the nutrients in soil", "sent16": "soil provides nutrients for plants", "sent17": "decomposition increases the amount of nutrients; nitrogen in the soil", "sent18": "old is the opposite of new", "sent19": "soil contains nutrients for plants", "sent20": "generally means usually", "sent21": "high quality / rich / good soil has a high number of nutrients", "sent22": "when a river floods , that river deposits soil; sediment in flood plains", "sent23": "soil and sediment deposited by a river are usually high; rich in nutrients", "sent24": "a river is a kind of moving body of water", "sent25": "fertile soil has a high number of nutrients"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent20 & sent16 -> int1: a landslide often occurs on mountains; sent23 & sent21 & int1 -> hypothesis", "score": 0.8083711862564087, "hypothesis": "a landslide after a rainstorm can move rocks downhill from the mountain", "context": {"sent1": "landslides often occur on mountains", "sent2": "a storm is a source of heavy rain", "sent3": "sliding is a kind of motion", "sent4": "to wash away is a kind of movement by moving water", "sent5": "a landslide is a kind of natural event", "sent6": "something that happens is a kind of event", "sent7": "a motion is a kind of event; action", "sent8": "motion; movement means moving; to move", "sent9": "rain causes erosion", "sent10": "flowing is a kind of motion", "sent11": "a road is a kind of object", "sent12": "erosion; storms can cause a landslide", "sent13": "a process is a kind of event", "sent14": "rain is a kind of precipitation", "sent15": "rainstorm means rain storm", "sent16": "a mountain is made of rocks", "sent17": "wind and rain; storms cause erosion", "sent18": "storm is a kind of weather; weather event", "sent19": "sliding is a kind of moving", "sent20": "a mountain is made of rocks; soil", "sent21": "a landslide is when water; gravity rapidly moves rocks; soil downhill especially after a rain storm", "sent22": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent23": "a landslide is when water rapidly moves rocks downhill especially after a rain storm", "sent24": "pile is a kind of motion", "sent25": "wind and rain cause erosion"}, "proof_gt": ""}, {"proof_pred": "sent18 & sent12 -> int1: the grand canyon was formed by flowing rivers through erosion over long periods of time; sent15 & sent6 -> int2: weathering is when water moving over long periods of time causes soil erosion; int2 & sent23 -> int3: water moving over long periods of time causes soil erosion; sent25 & sent13 -> int4: an example of movement is water washing away soil; int4 & int3 -> int5: water washing away soil is an example of movement; int5 & sent4 -> int6: pouring water onto soil causes soil to wash away; sent11 & sent17 -> int7: the grand canyon is formed by flowing rivers through erosion over long periods of time; sent20 & sent3 -> int8: moving water over long periods of time causes soil erosion; int8 & int1 & int7 -> int9: the grand canyon was formed by moving water over long periods of time; int9 & sent14 -> int10: pouring water onto soil causes erosion; int6 & int10 -> hypothesis", "score": 0.8238414525985718, "hypothesis": "pouring water onto soil is similar to the erosion on the canyon formation", "context": {"sent1": "a canyon is a kind of landform", "sent2": "a process is a kind of event", "sent3": "soil erosion is when wind; moving water; gravity moves soil from fields; environments", "sent4": "pouring water onto soil causes that soil to wash away", "sent5": "weathering is a kind of geologic process", "sent6": "weathering is a kind of erosion", "sent7": "weathering is a kind of geologic process", "sent8": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent9": "a canyon is made of rock", "sent10": "a canyon is a very big crack in the ground", "sent11": "most canyons are formed by flowing rivers through erosion over long periods of time", "sent12": "most canyons are formed by flowing rivers", "sent13": "an example of movement is washing away", "sent14": "flowing is similar to pouring", "sent15": "weathering is a kind of erosion", "sent16": "a landslide is when water; gravity rapidly moves rocks; soil downhill especially after a rain storm", "sent17": "a river is a kind of flowing; moving body of water", "sent18": "the grand canyon was formed by the colorado river flowing over long periods of time", "sent19": "a canyon is a very deep valley", "sent20": "water can cause erosion", "sent21": "erosion is a kind of process", "sent22": "erosion is a kind of process", "sent23": "water causes soil and rock erosion", "sent24": "soil erosion means soil loss through wind;water; animals", "sent25": "to wash away is a kind of movement by moving water"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.9332771301269531, "hypothesis": "if water freezes in the crack of the rock, then the rock will break apart by water expanding when it freezes", "context": {"sent1": "cracking is a kind of breaking", "sent2": "freezing means a substance changes from a liquid to a solid", "sent3": "freezing means matter; a substance changes from a liquid into a solid by decreasing heat energy", "sent4": "ice wedging is when ice causes rocks to crack by expanding in openings", "sent5": "break down means change from a whole into pieces", "sent6": "freezing means cold temperatures", "sent7": "a part of; piece of an object is smaller in size than the entire object; whole object", "sent8": "freezing means a substance changes from a liquid into a solid by decreasing heat energy", "sent9": "if there is a crack in a rock, then water can get into the crack", "sent10": "cycles of freezing and thawing water cause ice wedging", "sent11": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c", "sent12": "fractured is similar to cracked", "sent13": "to break down means to break into smaller pieces", "sent14": "frozen means solid", "sent15": "weathering means breaking down rocks from a larger whole into smaller pieces", "sent16": "ice wedging is similar to ice fracturing", "sent17": "weathering means breaking down rocks from a larger whole into smaller pieces by weather / mechanical means", "sent18": "freezing is when a substance reaches its freezing point", "sent19": "weathering means breaking down rocks from a larger whole into smaller pieces by mechanical means", "sent20": "cracking something may cause that something to break apart", "sent21": "if water expands in a crack in a rock, then the rock will break apart", "sent22": "break apart means break down", "sent23": "weathering; mechanical weathering means breaking down rocks; surface materials from a larger whole into smaller pieces by weather; mechanical means", "sent24": "freezing means substance changes from a liquid into a solid by decreasing heat energy", "sent25": "when something breaks , a crack may form in that something"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.8838058114051819, "hypothesis": "the ice formed by water freezing causes rocks to crack by expanding in openings", "context": {"sent1": "cracking something may cause that something to break apart", "sent2": "water is in the solid state , called ice", "sent3": "cycles of freezing and thawing water cause ice wedging", "sent4": "when something breaks , a crack may form in that something", "sent5": "to cause means to make", "sent6": "if water expands in a crack in a rock, then the rock will break apart", "sent7": "water is a kind of liquid at room temperature", "sent8": "freezing point means temperature at which a liquid freezes; below which a liquid freezes", "sent9": "water is a kind of liquid", "sent10": "freezing means a substance changes from a liquid to a solid", "sent11": "water is a kind of liquid at room temperature", "sent12": "fractured is similar to cracked", "sent13": "freezing is when a substance reaches its freezing point", "sent14": "ice wedging is when ice causes rocks to crack by expanding in openings", "sent15": "freezing causes a solid to form", "sent16": "if there is a crack in a rock, then water can get into the crack", "sent17": "frozen means solid", "sent18": "liquid water cooling causes that liquid water to freeze", "sent19": "an example of rock contraction is rock freezing", "sent20": "cracking is a kind of breaking", "sent21": "crumble means break down", "sent22": "freezing means a substance changes from a liquid into a solid by decreasing heat energy", "sent23": "freezing means substance changes from a liquid into a solid by decreasing heat energy", "sent24": "freezing means matter; a substance changes from a liquid into a solid by decreasing heat energy", "sent25": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent21 -> hypothesis", "score": 0.895108699798584, "hypothesis": "glacial movement often causes bedrock to appear polished and leaves scratches in rocks", "context": {"sent1": "ice wedging is a kind of mechanical weathering", "sent2": "bedrock is a kind of rock", "sent3": "glaciers moving causes mechanical weathering", "sent4": "rocks; soil; materials interacting with wind; moving water over long periods of time causes weathering", "sent5": "rocks interacting with moving water over long periods of time causes weathering", "sent6": "a scratch is a kind of wound", "sent7": "if rocks in an area have many scratches then that area was once covered by glaciers", "sent8": "weathering; mechanical weathering means breaking down rocks; surface materials from a larger whole into smaller pieces by weather; mechanical means", "sent9": "appear is similar to apparent", "sent10": "glacial movement often causes bedrock to appear polished", "sent11": "occur is similar to appear", "sent12": "appearance is a property of objects; materials", "sent13": "an example of breaking something down is scratching something", "sent14": "glacier may scrape rocks when it moves", "sent15": "rocks interacting with wind and moving water over long periods of time causes weathering", "sent16": "motion; movement means moving; to move", "sent17": "to scrape means to scratch", "sent18": "weathering is a kind of erosion", "sent19": "inspect; observe means examine", "sent20": "sometimes weathering smooths rocks", "sent21": "glaciers moving cause scratches in rocks", "sent22": "appearing is similar to seeming", "sent23": "how something appears is how that something looks", "sent24": "weathering is a kind of erosion", "sent25": "sometimes weathering smooths; rounds rocks"}, "proof_gt": ""}, {"proof_pred": "sent2 & sent24 -> hypothesis", "score": 0.9162800312042236, "hypothesis": "an anemometer is an instrument used to measure wind speed", "context": {"sent1": "a tool is a kind of object", "sent2": "an anemometer is used to measure wind speed", "sent3": "a human is a kind of living thing", "sent4": "a human is a kind of object", "sent5": "if a unit for something is being measured, then it requires a measurement tool for measuring that something", "sent6": "a thermometer is a kind of instrument for measuring temperature", "sent7": "a human is a kind of animal", "sent8": "speed is a property of an object and includes values of slow; fast", "sent9": "device means tool", "sent10": "speed is a measure of distance travelled by an object divided by time", "sent11": "speed is a measure of distance travelled by an object over time; divided by time; per unit of time", "sent12": "a student is a kind of object", "sent13": "instrument means tool", "sent14": "a student is a kind of human", "sent15": "a barometer is a kind of instrument", "sent16": "tool means instrument", "sent17": "velocity is a measure of a speed in a direction", "sent18": "a human is a kind of animal", "sent19": "measuring requires reading a measurement", "sent20": "an anemometer is a kind of instrument for measuring wind speed", "sent21": "wind means moving air", "sent22": "measuring sometimes requires recording; learning an amount", "sent23": "instrument means device", "sent24": "an anemometer is a kind of instrument", "sent25": "speed is a measure of how fast an object is moving"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent17 -> hypothesis", "score": 0.9405537247657776, "hypothesis": "sleet is the precipitation when raindrops freeze as they fall", "context": {"sent1": "freezing means substance changes from a liquid into a solid by decreasing heat energy", "sent2": "sleet is made of ice", "sent3": "freezing means a substance changes from a liquid to a solid", "sent4": "freezing is when a substance reaches its freezing point", "sent5": "sleet is a kind of ice", "sent6": "precipitation is a kind of weather", "sent7": "ice is a kind of solid", "sent8": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c", "sent9": "precipitation is when rain;snow;hail fall from clouds to the earth;ground", "sent10": "to happen means to occur", "sent11": "sleet is a kind of precipitation", "sent12": "rain is a kind of precipitation", "sent13": "rain droplets are a kind of water droplets", "sent14": "freezing means matter; a substance changes from a liquid into a solid by decreasing heat energy", "sent15": "freezing means a substance changes from a liquid into a solid by decreasing heat energy", "sent16": "water is in the solid state , called ice", "sent17": "sleet is when raindrops freeze as they fall", "sent18": "rain is a kind of precipitation", "sent19": "a type is synonymous with a kind", "sent20": "raining is when rain falls from clouds to the earth;ground as a liquid", "sent21": "frozen means solid", "sent22": "rain is a kind of water", "sent23": "water is in the solid state , called ice , for temperatures between -273 and 0 c", "sent24": "ice is a kind of solid", "sent25": "a drop; droplet is a kind of liquid of small amount"}, "proof_gt": ""}, {"proof_pred": "sent24 & sent15 -> hypothesis", "score": 0.9469820857048035, "hypothesis": "in the water cycle the sun has the role of causing evaporation", "context": {"sent1": "the sun is a kind of star", "sent2": "evaporation means a substance changes from a liquid into a gas by increasing heat energy", "sent3": "the sun transfers solar energy; light energy; heat energy from itself to the planets;earth through sunlight", "sent4": "a star produces light and heat", "sent5": "the sun is a source of light; light energy called sunlight", "sent6": "boiling;evaporation means matter; a substance changes from a liquid into a gas by increasing heat energy", "sent7": "the sun is the source of energy for physical cycles on earth", "sent8": "the sun causes water to evaporate more quickly by adding heat", "sent9": "sunlight produces heat", "sent10": "role means function", "sent11": "evaporative means of evaporation", "sent12": "the sun is the source of energy for physical cycles on earth", "sent13": "a star produces light and heat", "sent14": "if something plays a large role in a process, then that something is required for that process", "sent15": "evaporation is a stage in the water cycle process", "sent16": "the sun is the source of solar energy called sunlight", "sent17": "evaporation is a stage in the water cycle process", "sent18": "the sun is a source of solar energy called sunlight", "sent19": "the sun is a source of radiation / heat called sunlight", "sent20": "the sun is a source of heat energy called sunlight", "sent21": "water absorbs solar energy in the water cycle", "sent22": "water absorbs solar energy in the water cycle", "sent23": "the sun is a kind of star", "sent24": "in the water cycle the sun has the role of causing evaporation", "sent25": "the sun is the source of solar energy called sunlight"}, "proof_gt": ""}, {"proof_pred": "sent14 & sent9 -> int1: a person is a kind of animal that shivers; sent17 & sent2 -> int2: an animal and a human are kinds of living things; sent1 & sent8 & int2 -> int3: a human and an animal are kinds of living things; int3 & int1 -> int4: a person and an animal both shiver; sent12 & sent25 -> int5: shivering is when an animal makes the body warm by shaking; int5 & int4 -> int6: an animal shivers to keep warm; int6 & sent3 -> int7: muscular movement helps animals shiver; sent18 & int7 -> int8: muscular movement helps a human shiver; sent23 & int8 -> int9: muscular movement helps an animal shiver; sent10 & sent16 -> int10: when an animal moves, chemical energy is converted to mechanical energy; int9 & int10 -> hypothesis", "score": 0.7594882249832153, "hypothesis": "when a person shivers, chemical energy is converted to mechanical energy", "context": {"sent1": "a person is a kind of living thing", "sent2": "an animal is a kind of living thing", "sent3": "a human is a kind of animal", "sent4": "a human is a kind of organism", "sent5": "mechanical energy is a kind of energy", "sent6": "to move something can mean to transfer something", "sent7": "convert is similar to transfer", "sent8": "a human is a kind of living thing", "sent9": "a person shivers", "sent10": "when an animal moves , chemical energy is converted to mechanical energy", "sent11": "chemical energy is a kind of energy", "sent12": "shivering is a kind of shaking", "sent13": "mechanical energy is a kind of energy", "sent14": "a person is a kind of animal", "sent15": "active transport converts chemical energy into mechanical energy", "sent16": "mechanical energy is used to move something by animals", "sent17": "an animal is a kind of living thing", "sent18": "a human is a kind of animal", "sent19": "humans are a kind of organism", "sent20": "energy conversion is similar to energy transformation", "sent21": "mechanical energy can cause objects to move", "sent22": "energy transformation means energy conversion", "sent23": "muscular movement helps animals move", "sent24": "muscles push; pull bones to move the bones", "sent25": "shivering is when an animal creates heat by shaking to keep the body warm"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent9 -> int1: electrical devices convert electrical energy into other forms of energy; sent2 & int1 -> int2: a hand dryer converts electrical energy into other forms of energy; sent1 & sent5 & int2 -> hypothesis", "score": 0.8876440525054932, "hypothesis": "a hand dryer converts electrical energy into heat energy", "context": {"sent1": "a hand dryer produces heat", "sent2": "a hand dryer is a kind of electrical device for drying hair", "sent3": "heat is a kind of energy", "sent4": "electrical devices convert from electrical energy into other forms of energy", "sent5": "heat is a kind of heat energy", "sent6": "instrument means device", "sent7": "to convert means to change", "sent8": "household appliances are a kind of electrical device", "sent9": "electrical devices convert from electrical energy into other forms of energy", "sent10": "heat is a kind of thermal energy", "sent11": "an object is an item", "sent12": "instrument means tool", "sent13": "electrical energy is a kind of energy", "sent14": "electricity means electrical energy", "sent15": "temperature is a measure of heat energy", "sent16": "electrical devices convert from electrical energy; electricity into other forms of energy", "sent17": "temperature is a measure of heat energy", "sent18": "tool is similar to appliance", "sent19": "heat means heat energy", "sent20": "electricity is a kind of electrical energy", "sent21": "heat energy is synonymous with thermal energy", "sent22": "electrical energy is a kind of energy", "sent23": "tool means instrument", "sent24": "a tool is a kind of object", "sent25": "device means tool"}, "proof_gt": ""}, {"proof_pred": "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 & sent18 & int2 & sent1 -> int3: a lamp converts electrical energy into light and heat energy; int3 -> hypothesis", "score": 0.8792588710784912, "hypothesis": "a lamp converts electrical energy to light and heat energy", "context": {"sent1": "light is a kind of light energy", "sent2": "electrical devices convert from electrical energy into other forms of energy", "sent3": "to transform means to convert", "sent4": "heat means heat energy", "sent5": "energy conversion is similar to energy transformation", "sent6": "electricity is a kind of electrical energy", "sent7": "electrical devices convert from electrical energy; electricity into other forms of energy", "sent8": "heat energy is synonymous with thermal energy", "sent9": "heat is a kind of thermal energy", "sent10": "electrical energy is a kind of energy", "sent11": "temperature is a measure of heat energy", "sent12": "to turn means to convert", "sent13": "electricity means electrical energy", "sent14": "energy transformation means energy conversion", "sent15": "heat is a kind of energy", "sent16": "electrical energy is a kind of energy", "sent17": "light is a kind of energy", "sent18": "light is a kind of energy", "sent19": "temperature is a measure of heat", "sent20": "electrical devices convert from electrical energy into other forms of energy", "sent21": "temperature is a measure of heat energy", "sent22": "heat is a kind of heat energy", "sent23": "to happen means to occur", "sent24": "energy transformation means one kind of energy changes into another kind of energy", "sent25": "an electrical device requires electricity to turn on"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent10 -> hypothesis", "score": 0.9905993342399597, "hypothesis": "electrical current running through a wire causes that wire to become warm", "context": {"sent1": "warmer means greater; higher in temperature; warmth", "sent2": "warming means an increase in temperature", "sent3": "heat means temperature increases", "sent4": "a wire is a part of an electrical circuit for conducting electricity", "sent5": "heat means temperature increases", "sent6": "a change is a kind of event", "sent7": "to happen means to occur", "sent8": "to become something is a kind of change", "sent9": "warming means heat is added", "sent10": "a conducting wire is a conductor", "sent11": "warm up means increase temperature", "sent12": "if something increases in temperature, then that something will be warm", "sent13": "heat means increase in temperature", "sent14": "warmer means greater / higher in temperature", "sent15": "an increase is a kind of change", "sent16": "becoming is similar to changing", "sent17": "when an electrical circuit is working properly , electrical current runs through that circuit; the wires in that circuit", "sent18": "when an electrical circuit is working properly , electrical current runs through the wires", "sent19": "to work means to function", "sent20": "heat means temperature increase", "sent21": "temperature is a measure of heat", "sent22": "electrical current running through a wire causes that wire to heat up; to become warm", "sent23": "warm; becoming warm means heat is added", "sent24": "warm means warm temperature", "sent25": "an increase is a kind of change"}, "proof_gt": ""}, {"proof_pred": "sent2 & sent20 -> hypothesis", "score": 0.9666061997413635, "hypothesis": "a larger power source will increase the strength of the electromagnet", "context": {"sent1": "larger means increased size", "sent2": "a larger power source provides more current to an electromagnet", "sent3": "to add means to increase", "sent4": "increase means more", "sent5": "larger; bigger is the opposite of smaller", "sent6": "size of the object attracted by the electromagnet has no impact on the strength of the electromagnet", "sent7": "a doorbell is a kind of bell", "sent8": "strong means high in strength", "sent9": "ringing is a kind of function of a doorbell", "sent10": "a magnet is magnetic", "sent11": "high is similar to increase", "sent12": "larger means greater; higher; more; increase in size", "sent13": "greater means higher; more in value", "sent14": "largest means greatest in size", "sent15": "an increase is a kind of change", "sent16": "an electromagnet is a kind of electric magnet", "sent17": "greatest means largest; highest; most amount of something", "sent18": "more means an increase in the amount of something", "sent19": "a source of something increases the amount of that something", "sent20": "as the current supplied to an electromagnet increases , the strength of the electromagnet will increase", "sent21": "larger means greater / higher / more / increase in size", "sent22": "an increase is a kind of change", "sent23": "a larger power source provide more current to a wire; a conductor; an electromagnet", "sent24": "as the size of a source of something increases , the amount of something that source produces will decrease", "sent25": "a doorbell is a kind of electric device"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent15 -> int1: the car engine in cars converts chemical energy from gasoline into mechanical energy and moves; int1 & sent16 -> int2: the car engine converts chemical energy from gasoline into mechanical energy and moves; sent25 & sent23 -> int3: an internal combustion engine; int3 & int2 -> int4: the car engine converts chemical energy from gasoline into mechanical energy; sent13 & sent12 -> int5: a car is a kind of object; sent17 & int5 -> int6: an example of mechanical energy is the mechanical energy of the car; int4 & sent19 -> int7: the car engine is a kind of machine that converts gasoline into mechanical energy; int7 & sent5 -> int8: the car engine converts chemical energy into mechanical energy for the car; sent8 & int8 & int6 -> hypothesis", "score": 0.6222859025001526, "hypothesis": "the mechanical energy converted by the car engine causes the car to move", "context": {"sent1": "gasoline is a kind of chemical power source", "sent2": "to transform means to convert", "sent3": "mechanical energy is a kind of energy", "sent4": "gasoline is a source of chemical energy", "sent5": "a car is a kind of automobile", "sent6": "an automobile is a kind of vehicle", "sent7": "a simple machine requires mechanical energy to function", "sent8": "mechanical energy can cause objects to move", "sent9": "mechanical energy is a kind of energy", "sent10": "a kind of is similar to a form of", "sent11": "an automobile is a kind of vehicle", "sent12": "a car is a kind of object", "sent13": "a car is a kind of object", "sent14": "if something is converted into something else then that something is turned into that something else", "sent15": "the car engine in cars converts chemical energy from gasoline into mechanical energy", "sent16": "fuel is a source of mechanical energy for cars to move", "sent17": "an example of mechanical energy is an object in motion", "sent18": "when an animal moves , chemical energy is converted to mechanical energy", "sent19": "a car is a kind of vehicle", "sent20": "fuel contains chemical energy", "sent21": "chemical energy is a kind of energy", "sent22": "form means kind", "sent23": "an internal combustion engine usually converts fuel / chemical energy into mechanical energy and heat energy through combustion", "sent24": "motion; movement means moving; to move", "sent25": "a internal combustion engine; car engine; automobile engine usually converts fuel; chemical energy into mechanical energy and heat energy through combustion"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent2 & sent16 -> int1: the block of ice is touching the hot sidewalk; int1 & sent11 & sent14 -> int2: the block of ice will increase temperature by absorbing heat energy from the sidewalk; sent5 & sent22 -> int3: hot means high in heat energy; int3 & int2 -> int4: the block of ice will increase heat energy; sent6 & sent25 -> int5: ice is a solid solid substance; int5 & int4 & sent9 -> hypothesis", "score": 0.904869794845581, "hypothesis": "the block of ice will melt", "context": {"sent1": "melting is when solids are heated above their melting point", "sent2": "a block of ice is placed on a hot sidewalk", "sent3": "flowing is a kind of movement for energy", "sent4": "if something is placed on something else then that something is touching that something else", "sent5": "hot means high in temperature", "sent6": "ice is a kind of solid", "sent7": "if one surface; one substance; one object touches something then one is exposed to that something", "sent8": "heat is a kind of thermal energy", "sent9": "melting means a substance changes from a solid into a liquid by increasing heat energy", "sent10": "heat is a kind of energy", "sent11": "if an object is hot and it touches something, that something will increase temperature by absorbing heat energy from the object", "sent12": "a hot; warm something is a source of heat", "sent13": "melting means substance changes from a solid into a liquid by increasing heat energy", "sent14": "the sidewalk is a kind of object", "sent15": "warm is similar to hot", "sent16": "the sidewalk is a kind of object", "sent17": "melting means matter; a substance changes from a solid into a liquid by increasing heat energy", "sent18": "heat is a kind of heat energy", "sent19": "a sidewalk is located outside", "sent20": "sidewalk means pavement", "sent21": "a thermal energy conductor transfers heat from warmer objects; hotter objects to cooler objects", "sent22": "hot means high in heat energy; temperature", "sent23": "thermal conduction is when heat flows from warmer object to cooler object", "sent24": "being on something; placed in something; placed over something means touching that something", "sent25": "ice is a kind of solid"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent24 & sent2 -> hypothesis", "score": 0.8186206221580505, "hypothesis": "the blue block reflects blue light", "context": {"sent1": "how something appears is how that something looks", "sent2": "a blue block is a kind of object", "sent3": "if something is in the sunlight then that something will absorb solar energy", "sent4": "if an object reflects a light of a certain color then the object appears to be that color", "sent5": "if an object is blue , then that object absorbs all the lights except blue light", "sent6": "if an object; something is in the sunlight then that object; that something will absorb solar energy", "sent7": "sunlight is a kind of light", "sent8": "light reflecting off of an object causes that object to be visible to the observer", "sent9": "reflection is a property of light", "sent10": "if an object is in the sunlight then that object will absorb solar energy", "sent11": "if an object reflects light toward the eye then that object can be seen", "sent12": "light is a kind of color", "sent13": "blue is a kind of color", "sent14": "sunlight means solar energy", "sent15": "refracting sunlight; light causes sunlight; light to split into different colors", "sent16": "blue is a kind of color", "sent17": "appear is similar to apparent", "sent18": "a mirror reflects light", "sent19": "a blue object reflects only blue light", "sent20": "reflection is when light is reflected from one object; one place to another object; another place", "sent21": "a block is a kind of object", "sent22": "to receive sunlight means to absorb sunlight", "sent23": "sunlight is a kind of light", "sent24": "if an object is blue then that object reflects only blue light", "sent25": "a block is a kind of object"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent16 & sent15 -> int1: a leaf is a green color; sent5 & sent9 -> int2: sunlight is a kind of color; int1 & int2 -> int3: a green leaf is a kind of color; sent19 & sent12 -> int4: a green plant is a kind of object; sent2 & sent20 -> int5: a leaf is a part of a green plant; sent25 & int5 & int3 -> int6: a green leaf is a kind of green object; sent11 & sent8 & int4 -> int7: a green leaf is a kind of object; sent14 & int7 & int6 -> hypothesis", "score": 0.8399097919464111, "hypothesis": "leaves reflect green color", "context": {"sent1": "reflection is when light is reflected from one object; one place to another object; another place", "sent2": "a leaf is a part of a plant", "sent3": "to see means to look", "sent4": "a leaf is a part of a tree", "sent5": "light is a kind of color", "sent6": "a leaf is a part of a tree", "sent7": "a tree is a kind of plant", "sent8": "a leaf is a kind of object", "sent9": "sunlight is a kind of light", "sent10": "leaves are a part of trees", "sent11": "a leaf is a kind of object", "sent12": "green plants are a kind of plant", "sent13": "a living thing is a kind of object", "sent14": "if an object reflects a light of a certain color then the object appears to be that color", "sent15": "green is a kind of color", "sent16": "a leaf is often green in color", "sent17": "sunlight is a kind of light", "sent18": "a living thing is a kind of object", "sent19": "green plant is a kind of plant", "sent20": "a leaf is a kind of plant", "sent21": "a green plant absorbs light", "sent22": "a tree is a kind of plant", "sent23": "a leaf is often green in color", "sent24": "to look like means to have the visual properties of", "sent25": "a leaf is a part of a green plant"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent25 -> int1: a car and a bicycle are kinds of objects; int1 & sent16 & sent24 -> int2: a bicycle and a car are kinds of objects; sent22 & sent9 & sent13 -> int3: a reflector can be used on a bicycle to reflect light; int3 & sent17 & int2 -> int4: the reflector on the bicycle can be used to reflect light toward the eye; sent23 & int4 -> hypothesis", "score": 0.7360497713088989, "hypothesis": "if the reflector reflects the light toward the eye, then the reflector can be seen", "context": {"sent1": "refractions of light can be used to help a person see", "sent2": "bouncing something back means reflecting that something", "sent3": "helping something has a positive impact on that something", "sent4": "seeing requires light", "sent5": "when light hits a reflective object , that light bounces off that object", "sent6": "to bounce back means to reflect", "sent7": "light reflecting off of an object causes that object to be visible to the observer", "sent8": "if something comes from something else then that something else is a source of that something", "sent9": "a car is a kind of object", "sent10": "something comes from a source of that something", "sent11": "reflection is when light is reflected from one object; one place to another object; another place", "sent12": "if something is a source of something else then that something else comes from that something", "sent13": "a bicycle is a kind of vehicle", "sent14": "a mirror is used for reflecting light", "sent15": "reflection is when a wave bounces off a surface and travels in the opposite direction relative to the angle of incidence", "sent16": "a bicycle is a kind of object", "sent17": "light shines on a bicycle's reflector", "sent18": "if something comes from something else then that something else is a source of that something", "sent19": "a car is a kind of vehicle", "sent20": "a mirror reflects light", "sent21": "reflection is when particles bounce off a surface", "sent22": "a reflector is used to reflect light especially on vehicles", "sent23": "if an object reflects light toward the eye then that object can be seen", "sent24": "a bicycle is a kind of object", "sent25": "a car is a kind of object"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent14 -> 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", "score": 0.8817940354347229, "hypothesis": "looking at an image in a mirror is an example of light being reflected by a mirror", "context": {"sent1": "a mirror reflects light", "sent2": "to see means to look", "sent3": "an image in a mirror is formed by reflecting light", "sent4": "a human is a kind of object", "sent5": "light means light energy", "sent6": "a mirror has a shiny surface", "sent7": "if an object reflects light toward the eye then that object can be seen", "sent8": "a kind of something is an example of that something", "sent9": "someone is looking into a mirror", "sent10": "light reflecting off of an object causes that object to be visible to the observer", "sent11": "a mirror is a kind of reflective object", "sent12": "light is a kind of wave", "sent13": "a mirror is reflective in opacity", "sent14": "a mirror is used for reflecting light", "sent15": "shiny things reflect light", "sent16": "sunlight is a kind of light", "sent17": "shiny objects reflect light", "sent18": "reflection is a property of light", "sent19": "reflecting light; sound is the opposite of absorbing light; sound", "sent20": "looking is similar to observing", "sent21": "reflection is when light is reflected from one object; one place to another object; another place", "sent22": "light is a kind of light energy", "sent23": "shiny things; objects reflect light", "sent24": "sunlight is a kind of light", "sent25": "seeing requires light"}, "proof_gt": ""}, {"proof_pred": "sent24 & sent2 -> int1: the person in the dark room and the person outside do not see each other; sent3 & int1 -> hypothesis", "score": 0.8938536643981934, "hypothesis": "the person outside cannot see the person in the dark room", "context": {"sent1": "if an object reflects light toward the eye then that object can be seen", "sent2": "there is a person outside in the day looking into the dark room", "sent3": "if something is in a dark place , then that something will not reflect enough light to be seen", "sent4": "reflection is when light is reflected from one object; one place to another object; another place", "sent5": "a person is a kind of animal", "sent6": "an animal is a kind of organism", "sent7": "a human is a kind of animal", "sent8": "if light is reflected, then the light is not absorbed", "sent9": "sunlight can shine through a window", "sent10": "light reflecting off of an object causes that object to be visible to the observer", "sent11": "when light hits a reflective object , that light bounces off that object", "sent12": "if an object is in the light then that object is blocking the light", "sent13": "dark means a low amount of light", "sent14": "sunlight can shine through a window", "sent15": "if an object reflects more light then that object is more easily seen", "sent16": "if something is outside during the day , then that something will reflect enough light to be seen", "sent17": "if something is outside during the day then that something will receive sunlight", "sent18": "a person is a kind of object", "sent19": "more light gets reflected on highly reflective things", "sent20": "an animal is a kind of organism", "sent21": "dark is the opposite of light", "sent22": "reflecting light; sound is the opposite of absorbing light; sound", "sent23": "a person is a kind of living thing", "sent24": "there is a person in a dark room looking out a window in the day", "sent25": "if something is outside during the day then that something will receive sunlight"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent19 -> int1: a prism is a tool for refracting light; sent15 & int1 -> int2: a prism refractes light and splits light into different colors; int2 & sent11 & sent5 -> hypothesis", "score": 0.7267777323722839, "hypothesis": "a prism refracts light and splits light into lights of different color", "context": {"sent1": "to be made of means to consist of", "sent2": "if something contains something else, then that something is made of that something else", "sent3": "a prism refracts light", "sent4": "white light is made of all colors of visible light combined", "sent5": "white is light in color", "sent6": "if something is made of something else, then that something contains at least one of that something else", "sent7": "made up of means contains; made of", "sent8": "to be made of something means to be formed of that something", "sent9": "white is light in color", "sent10": "a prism is a kind of object", "sent11": "white is a kind of color", "sent12": "if something is made of something else then that something can be broken down into that something else", "sent13": "if an object is made of something then the parts of that object are made of that something", "sent14": "a rainbow is formed by refraction of light by separating light; splitting light into all different colors", "sent15": "a prism is used for refracting light", "sent16": "sunlight is made of all colors in the rainbow", "sent17": "a prism is made of glass", "sent18": "to discover means to find", "sent19": "a prism is a kind of tool for refracting light", "sent20": "the parts of something make up that something", "sent21": "something is composed of its components", "sent22": "composed of means made of", "sent23": "if something is made of something else then that something can be broken down into that something else", "sent24": "to discover means to make a discovery", "sent25": "the rainbow is made of all different colors in visible light"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent5 -> hypothesis", "score": 0.9352994561195374, "hypothesis": "a rainbow is formed by refraction of light by separating light / splitting light into all different colors", "context": {"sent1": "refraction of light can split light into lights of different color", "sent2": "refracting sunlight; light causes sunlight; light to split into different colors", "sent3": "visible light is made of lights of different colors including violet, blue, green, yellow, orange, red light", "sent4": "a white object reflects all visible light", "sent5": "a rainbow is formed by refraction of light by splitting light into all different colors", "sent6": "white light is made of all colors of visible light combined", "sent7": "visible light is a part of the electromagnetic spectrum", "sent8": "white is light in color", "sent9": "light is a kind of color", "sent10": "a disperser disperses", "sent11": "refraction is a property of light", "sent12": "to disperse means to separate", "sent13": "if an object is white then that object reflects all visible light", "sent14": "spectrum means a range of colors", "sent15": "white is a kind of color", "sent16": "visible light is a kind of light", "sent17": "refraction is when light passes from one medium to another medium", "sent18": "a range of a spectrum means a part of a spectrum", "sent19": "refraction is when light bends", "sent20": "white is light in color", "sent21": "the rainbow is made of all different colors in visible light", "sent22": "a rainbow is formed by refraction of light by separating light; splitting light into all different colors", "sent23": "refracting light causes light to split into different colors", "sent24": "visible means able to be seen", "sent25": "sunlight is made of all colors in the rainbow"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent1 -> hypothesis", "score": 0.8676677942276001, "hypothesis": "sound cannot travel through a vacuum", "context": {"sent1": "light travels fastest through a vacuum", "sent2": "waves can travel through matter", "sent3": "electromagnetic waves can travel through a vacuum and matter", "sent4": "sound travels slowest through gas", "sent5": "sound cannot travel through a vacuum", "sent6": "sound travels through vibrations of particles", "sent7": "light can travel through a vacuum", "sent8": "a vacuum has no matter in it", "sent9": "electromagnetic waves can travel through a vacuum", "sent10": "vibrations are a source of sound", "sent11": "space is a vacuum", "sent12": "sound is a kind of sound energy", "sent13": "sound requires matter to travel", "sent14": "sound is made of sound waves", "sent15": "sound is a kind of air vibration", "sent16": "moving is similar to travelling", "sent17": "sound is a kind of energy", "sent18": "not is similar to the opposite of", "sent19": "media; medium means the material something travel through", "sent20": "transport means to move; to make travel", "sent21": "waves usually cannot travel through a vacuum", "sent22": "travel means to move", "sent23": "the space is a vacuum between the sun and the earth", "sent24": "air is a vehicle for sound", "sent25": "sound means sound energy"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.8735774755477905, "hypothesis": "the water will increase in temperature and the egg will decrease in temperature", "context": {"sent1": "hot means high in heat energy; temperature", "sent2": "an egg is a kind of food", "sent3": "a cup of cold water is a kind of cold substance", "sent4": "colder means lower in temperature", "sent5": "a hot; warm something is a source of heat", "sent6": "a hot boiled egg is put into a cup of cold water", "sent7": "if one surface; one substance; one object touches something then one is exposed to that something", "sent8": "water is boiling in the pot", "sent9": "warmer means greater; higher in temperature; warmth", "sent10": "an egg is a kind of object", "sent11": "if an object is put inside; poured into another object , then two objects are touching", "sent12": "being in something means touching that something", "sent13": "colder; cooler means lower in temperature", "sent14": "boiling;evaporation means matter; a substance changes from a liquid into a gas by increasing heat energy", "sent15": "if an object is placed in a substance; in a location that is colder then that object will cool to the same temperature of that substance; of that location", "sent16": "boiling means a substance changes from a liquid into a gas by increasing heat energy", "sent17": "if liquid is boiling then that liquid is hot", "sent18": "a hot boiled egg is a kind of hot object", "sent19": "temperature; heat energy is a property of objects; weather and includes ordered values of cold; cool; warm; hot", "sent20": "if a hot object; substance is exposed to; touches a cold object; substance then that object; that substance will likely cool", "sent21": "water is boiling", "sent22": "if a substance is exposed to a source of heat then that substance may become hot / warm", "sent23": "if an object is hot and it touches something, that something will increase temperature by absorbing heat energy from the object", "sent24": "boiling means matter / a substance changes from a liquid into a gas by increasing heat energy", "sent25": "being on something; placed in something; placed over something means touching that something"}, "proof_gt": ""}, {"proof_pred": "sent17 & sent14 -> int1: a pot is a kind of container for cooking; sent7 & sent20 -> int2: a pot is used for cooking by generating heat; sent2 & int2 -> int3: a pot becomes hot when it is used for cooking; sent6 & sent9 -> int4: a pan; sent21 & sent4 -> int5: a pan and a pot are both made of metal for cooking; sent16 & int5 -> int6: a pot and a pan are both made of metal for cooking; int1 & int6 -> int7: a pot and a pan are used for cooking in the same pot; int3 & int7 -> int8: the pot becomes hot; int4 & int8 -> int9: the handle of the pot becomes hot; sent8 & sent24 -> int10: if a pot becomes hot, then that pot will become hot; int9 & int10 -> hypothesis", "score": 0.8027250170707703, "hypothesis": "if a pot become hot, then the handle of the pot will become hot", "context": {"sent1": "becoming hot means increasing in heat energy", "sent2": "a stove generates heat for cooking", "sent3": "a thermal energy conductor conducts heat", "sent4": "a pan is made of metal for cooking", "sent5": "electrical conduction is when metals; electrical conductors conduct electricity through a wire;electrical conductor;metal", "sent6": "a pan;frying pan is a kind of container for cooking; food", "sent7": "a pot is used for cooking food", "sent8": "if something is heated on a stove, that thing will become hot", "sent9": "a pan;frying pan;pot is used for cooking food by heating food in it on a stove", "sent10": "thermal conduction is when heat flows from warmer object to cooler object", "sent11": "the heat energy in the cooler object increases in thermal conduction", "sent12": "when a cooler object touches a warmer object , thermal conduction occurs", "sent13": "a pot is a kind of object", "sent14": "a pot is a kind of container", "sent15": "pot;pan;frying pan is made of metal for cooking", "sent16": "a pot is made of metal for cooking", "sent17": "a pot is a kind of container", "sent18": "thermal conduction is when heat is transfer from a warmer object to a colder object", "sent19": "to get hot means become hot", "sent20": "a stove is used for cooking by generating heat", "sent21": "pot is made of metal for cooking", "sent22": "if heat is conducted to an object then that object will become hot", "sent23": "if a thermal conductor is exposed to a source of heat, then thermal conduction will make the thermal conductor become hot", "sent24": "a pot is a kind of object", "sent25": "conduction is a kind of process"}, "proof_gt": ""}, {"proof_pred": "sent21 & sent4 -> int1: a pan; sent12 & sent25 -> int2: a pan is used for cooking food on a stove; sent19 & sent18 -> int3: a stove generates heat for frying food; int2 & int3 -> int4: a pan and a stove both generate heat for cooking food; sent7 & sent9 -> int5: a pan and a burner are kinds of objects; sent2 & sent20 -> int6: a burner is a kind of object; int1 & int4 -> int7: a pan and a stove both generate heat for cooking; sent15 & sent11 -> int8: a frying pan and a burner are both made of metal; int7 & int5 -> int9: a pan and a burner are kinds of objects that generate heat for cooking; sent3 & sent6 -> int10: thermal conduction causes the heat to flow from a warmer object to a cooler object; sent17 & int9 -> int11: a pan and a burner are kinds of objects used for cooking; int8 & int11 -> int12: a frying pan and a burner are kinds of objects used for cooking; int6 & int12 -> int13: a frying pan and a burner are kinds of objects; int13 & int10 -> hypothesis", "score": 0.8511437773704529, "hypothesis": "thermal conduction causes the heat flows from the burner to the frying pan", "context": {"sent1": "a thermal energy conductor transfers heat", "sent2": "a burner is a kind of object / surface", "sent3": "thermal conduction is when heat flows from warmer object to cooler object", "sent4": "a pan is made of metal for cooking", "sent5": "if two things are touching then heat energy will be transferred between those things", "sent6": "thermal conduction is when heat is transfer from a warmer object to a colder object", "sent7": "a pan is a kind of object", "sent8": "a thermal energy conductor conducts heat", "sent9": "a pan is a kind of object", "sent10": "thermal conduction is when materials conduct heat through those materials through collision of particles", "sent11": "a frying pan is put on the stove", "sent12": "a stove is used for cooking by generating heat", "sent13": "being on something; placed in something; placed over something means touching that something", "sent14": "to conduct is similar to to transfer", "sent15": "a burner is made of metal", "sent16": "heat means the transfer of thermal energy", "sent17": "a pan;frying pan is a kind of container for cooking; food", "sent18": "frying food is a kind of cooking", "sent19": "a stove generates heat for cooking", "sent20": "a burner is a kind of object; surface", "sent21": "pot;pan;frying pan is made of metal for cooking", "sent22": "metal is an electrical; electrical energy conductor", "sent23": "electrical conduction is when metals; electrical conductors conduct electricity through a wire;electrical conductor;metal", "sent24": "an electric stove changes electrical energy into heat energy", "sent25": "a pan;frying pan;pot is used for cooking food by heating food in it on a stove"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent19 & sent17 -> hypothesis", "score": 0.8706193566322327, "hypothesis": "compression waves cause object to move in the same direction of the wave", "context": {"sent1": "waves travel differently in different media", "sent2": "matter is a kind of material", "sent3": "the opposite of the same is different", "sent4": "gas is a kind of object", "sent5": "to pass through means to move through", "sent6": "air is a kind of medium", "sent7": "waves are made of moving water", "sent8": "different is the opposite of the same", "sent9": "moving is similar to travelling", "sent10": "compression wave means longitudinal wave", "sent11": "same means identical; equal in value; amount; number; quantity", "sent12": "medium is made of a kind of material", "sent13": "to compact something means to compress something", "sent14": "gas is a kind of material", "sent15": "waves travel at different speed in different medium", "sent16": "travel means to move", "sent17": "longitudinal waves cause object to move in the same direction of the wave", "sent18": "waves can travel through matter", "sent19": "longitudinal waves cause object to move in the same direction of the wave", "sent20": "media; medium means the material something travel through", "sent21": "compressing is the opposite of expand", "sent22": "a wave is a kind of object", "sent23": "compression waves produces compressions and rarefactions", "sent24": "transport means to move; to make travel", "sent25": "compressing is similar to compacting"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent24 & sent3 -> int1: a soccer ball and a ball are kinds of objects; sent21 & sent4 & sent10 -> int2: friction occurs between two objects when their surfaces are touching; int2 & int1 -> int3: friction occurs between the soccer ball and the ball; sent11 & sent20 -> int4: as the friction between two objects increases, the speed of the object will decrease; int4 & int3 & sent1 -> hypothesis", "score": 0.8575190305709839, "hypothesis": "friction will cause the speed of the rolling soccer ball to decrease", "context": {"sent1": "as the friction increases, friction will decrease the speed of the object more", "sent2": "an object being pushed across another object causes their surfaces to move against each other", "sent3": "a soccer ball is a kind of ball", "sent4": "friction occurs when two object 's surfaces touch each other", "sent5": "a soccer ball is a kind of ball", "sent6": "as the friction increases, the speed of objects will decrease more", "sent7": "a force is a kind of push or pull on an object", "sent8": "to slow; to slow down decreases speed", "sent9": "friction exerts force on moving objects", "sent10": "friction occurs when two objects move against each other", "sent11": "friction causes the speed of an object to decrease", "sent12": "friction acts to counter the motion of two objects when their surfaces are touching", "sent13": "friction exerts force on moving objects", "sent14": "as the resistance on the object to move increase, the object will move slower", "sent15": "rubbing against something is a kind of contact", "sent16": "force causes the speed of an object to increase; to decrease", "sent17": "friction is a kind of force", "sent18": "as the friction increases, the resistance on the object to move will increase", "sent19": "reducing is similar to slowing", "sent20": "friction causes speed to decrease", "sent21": "friction occurs when two object's surfaces move against each other", "sent22": "a pull is a kind of force", "sent23": "to touch means to contact", "sent24": "a soccer ball is a kind of object", "sent25": "friction acts to counter the motion of two objects when their surfaces are touching"}, "proof_gt": ""}, {"proof_pred": "sent17 & sent9 -> int1: as the roughness of a surface increases, the friction of that something will increase when it moves against another surface; sent6 & sent23 -> int2: when friction occurs between two objects, both objects' surfaces touch each other; sent3 & sent8 -> int3: a vehicle and a gear are kinds of objects; sent1 & int3 & int2 -> int4: friction occurs between the wheels and gears; sent24 & int1 -> int5: friction occurs between the wheels and gears when they move against other surfaces; sent12 & sent13 -> int6: as the smoothness of a surface increases, the friction of that something will decrease when it moves against another surface; int6 & int5 & int4 -> int7: as the smoothness of a surface increases, the friction on the wheels and gears moving on other surfaces will decrease; sent5 & int2 -> int8: when the roughness of a surface increases, friction on the wheels and gears will increase; int8 & int7 -> int9: when the smoothness of a surface increases, friction on the wheels and gears moving on other surfaces will decrease; sent4 & int9 -> hypothesis", "score": 0.8960367441177368, "hypothesis": "grease is used to decrease the friction on the wheels and gears moving on other surfaces", "context": {"sent1": "a vehicle is a kind of object", "sent2": "to lower means to decrease", "sent3": "a gear is a kind of object", "sent4": "grease is used to make an object's surface more smooth", "sent5": "as roughness of a surface increases , friction will increase", "sent6": "friction occurs when two objects move against each other", "sent7": "is something decrease something else then increasing that something will decrease that something else", "sent8": "a vehicle is a kind of object", "sent9": "as the roughness of something increases , the friction of that something will increase when its surface moves against another surface", "sent10": "if something increases something else, then decreasing that something will decrease that something else", "sent11": "to decrease something means to reduce something", "sent12": "as the smoothness of something increases , the friction of that something will decrease when its surface moves against another surface", "sent13": "as the smoothness of something increases , the friction of that something will decrease", "sent14": "if something decreases something else, then increases that something will decrease that something else", "sent15": "an increase is the opposite of a decrease", "sent16": "if something increases something else then decreasing that something will decrease that something else", "sent17": "friction occurs when two object's surfaces move against each other", "sent18": "oil is used to decrease the friction among parts in the car engine", "sent19": "to reduce means to decrease", "sent20": "decreasing something that reduces something else causes that something else to increase", "sent21": "to decrease something means to reduce that something", "sent22": "less is similar to decrease", "sent23": "friction occurs when two object 's surfaces touch each other", "sent24": "wheels; gears usually move against other surfaces", "sent25": "decreasing something decreases the parts of that something"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent16 & sent7 & sent2 -> hypothesis", "score": 0.851708173751831, "hypothesis": "gravity is the force that pulls the ball towards the planet", "context": {"sent1": "upward is the opposite of downward", "sent2": "gravity is a kind of force", "sent3": "a pull is a kind of force", "sent4": "gravity;gravitational force causes objects that have mass; substances to be pulled down; to fall on a planet", "sent5": "weight means the force of gravity acting on an object", "sent6": "gravity causes objects that have mass / substances to be pulled down / to fall on a planet", "sent7": "a ball is a kind of object", "sent8": "low means down", "sent9": "come down is similar to falling", "sent10": "objects are made of matter", "sent11": "weight is the force of gravity acting on an object", "sent12": "surface gravity is a kind of gravity", "sent13": "the mass of an object causes the gravitational force exerted by that object", "sent14": "due to means caused by", "sent15": "to return means to get back", "sent16": "a ball is a kind of object", "sent17": "surface gravity is a kind of force of gravity", "sent18": "falling means moving downward", "sent19": "gravitational force is similar to force of gravity", "sent20": "downward means down", "sent21": "to drop means to fall", "sent22": "drawing back up; into is similar to returning", "sent23": "up means upward", "sent24": "weight is a measure of the force of the gravity on the mass of an object", "sent25": "gravity means gravitational pull; gravitational energy; gravitational force; gravitational attraction"}, "proof_gt": ""}, {"proof_pred": "sent17 & sent5 & sent13 -> hypothesis", "score": 0.9117274284362793, "hypothesis": "the mass of earth causes the pull of gravity on earth", "context": {"sent1": "a pull is a kind of force", "sent2": "a force is a kind of push or pull on an object", "sent3": "to be a source of something means to cause that something", "sent4": "gravitational force is similar to force of gravity", "sent5": "earth is a kind of planet", "sent6": "a planet is a kind of celestial object; body", "sent7": "as mass of a planet; of a celestial body increases , the force of gravity on that planet will increase", "sent8": "a planet is a kind of celestial object / body", "sent9": "as the mass of an object increases , the force of gravity on that object will increase", "sent10": "earth is a kind of celestial object", "sent11": "surface gravity is a kind of gravity", "sent12": "mass is a property of objects", "sent13": "the mass of a planet causes the pull of gravity on that planet", "sent14": "gravity;gravitational force causes objects that have mass; substances to be pulled down; to fall on a planet", "sent15": "surface gravity is a kind of force of gravity", "sent16": "gravity causes objects that have mass / substances to be pulled down / to fall on a planet", "sent17": "earth is a kind of planet", "sent18": "due to means caused by", "sent19": "the mass of an object causes the gravitational force exerted by that object", "sent20": "as mass of a planet increases , the force of gravity on that planet will increase", "sent21": "gravity means gravitational pull; gravitational energy; gravitational force; gravitational attraction", "sent22": "gravity is a kind of force", "sent23": "mass is a property of objects; matter", "sent24": "weight is a measure of the force of the gravity on the mass of an object", "sent25": "mass is a property of matter"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent2 -> hypothesis", "score": 0.7820608019828796, "hypothesis": "a pulley is a kind of simple machine that can be used to lift a flag on a flagpole", "context": {"sent1": "up means upward", "sent2": "a pulley is a kind of simple machine", "sent3": "raising is a kind of motion", "sent4": "to lift means to move up", "sent5": "a flagpole is a kind of object", "sent6": "helping something has a positive impact on that something", "sent7": "a pulley is used for lifting; lowering objects", "sent8": "rising means moving upward", "sent9": "to be used for something means to help to do that something", "sent10": "if a process requires something then that something helps that process", "sent11": "to travel up means to rise", "sent12": "moving parts of something helps to move that something", "sent13": "a flagpole is a kind of object", "sent14": "helping means something can be done; completed more easily; better", "sent15": "rising is a kind of motion", "sent16": "a pulley is a kind of simple machine", "sent17": "helping something has a positive impact on that something", "sent18": "motion; movement means moving; to move", "sent19": "if something is required for a process then that something helps in that process", "sent20": "if something is used for a process, then that something helps that process", "sent21": "a machine is a kind of object", "sent22": "a pulley is used to lift a flag on a flagpole", "sent23": "to help means to aid", "sent24": "pulling is a kind of motion", "sent25": "a simple machine is a kind of tool"}, "proof_gt": ""}, {"proof_pred": "sent8 & sent23 -> int1: only plant cells contain chloroplast; int1 & sent24 -> int2: only plant cells contain a cell nucleus and chloroplast; sent22 & int2 -> int3: that organism is made up of a cell nucleus, chloroplasts, and a cell wall; sent15 & sent21 -> int4: plants are part of the biological kingdom plantae; int3 & int4 -> hypothesis", "score": 0.8192961812019348, "hypothesis": "that organism is a part of the biological kingdom plantae", "context": {"sent1": "a cell nucleus is a part of a cell", "sent2": "a microscope is used to see small things by making them appear bigger", "sent3": "a cell wall is a part of a plant cell for supporting and protecting the cell membrane", "sent4": "the nucleus is a kind of cell organelle", "sent5": "to categorize means to classify", "sent6": "a kind of something is classified as that something", "sent7": "classifying is when one sorts something by kind; type", "sent8": "chloroplast is a part of a plant cell", "sent9": "a microscope is used to see small things by scientists by making them appear bigger", "sent10": "a cell nucleus is a part of a cell", "sent11": "a microscope is used to see microscope things by scientists by making them appear bigger", "sent12": "chlorophyll is a part of chloroplasts", "sent13": "to belong to a group means to be classified in that group", "sent14": "a chloroplast is a kind of plant cell structure", "sent15": "plants are part of the bilogical kingdom plantae", "sent16": "to belong to a class means to be a kind of something", "sent17": "a chloroplast contains chlorophyll", "sent18": "a microscope is used to see small things; microscopic things; specimens by scientists by making them appear bigger", "sent19": "a microscope is used to see microscopic things by scientists by making them appear bigger", "sent20": "a kingdom is a kind of taxonomic rank", "sent21": "plantae is a kind of biological kingdom", "sent22": "if an organism is made up of cells that contain a nucleus, chloroplasts, and a cell wall", "sent23": "a plant cell contains chloroplasts", "sent24": "only plant cells have chloroplast", "sent25": "a cell nucleus is a kind of organelle"}, "proof_gt": ""}, {"proof_pred": "sent25 & sent11 & 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", "score": 0.8595924973487854, "hypothesis": "the insect has undergone incomplete metamorphosis", "context": {"sent1": "an animal is a kind of living thing", "sent2": "a cycle is a kind of process", "sent3": "animal is a kind of organism", "sent4": "an animal is a kind of organism", "sent5": "incomplete is the opposite of complete", "sent6": "a cycle is a kind of process", "sent7": "an insect is a kind of animal", "sent8": "living thing is a kind of organism", "sent9": "metamorphosis is a stage in the life cycle process of some animals", "sent10": "adult is similar to mature", "sent11": "metamorphosis is when an insect changes from an immature form to an adult form", "sent12": "adulthood is a stage in the life cycle process", "sent13": "incomplete metamorphosis is when an insect reaches the adult stage without being a pupa", "sent14": "metamorphosis is when an amphibian changes from an immature form to an adult form", "sent15": "the life cycle of a moth is different from other insects that undergo incomplete metamorphosis", "sent16": "an animal is a kind of organism", "sent17": "all living things have life cycles", "sent18": "metamorphosis means complete metamorphosis", "sent19": "if something undergoes a process without going through a certain stage in that process, then that process was incomplete", "sent20": "an insect changed from an immature form to an adult form", "sent21": "metamorphosis is when an amphibian; insect changes from an immature form to an adult form", "sent22": "the pupa stage is a stage in the metamorphosis process of some animals", "sent23": "metamorphosis is a kind of process", "sent24": "an animal is a kind of living thing", "sent25": "an insect is never a pupa"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent24 -> int1: a fire gives off heat; sent19 & int1 -> int2: a wildfire gives off heat; sent7 & sent14 -> int3: a pine tree is a kind of plant; int2 & int3 -> int4: a wildfire gives off heat energy; sent24 & sent12 -> int5: fire causes smoke; sent23 & int5 & sent4 -> int6: fire causes heat; int4 & int6 -> int7: a wildfire causes heat; sent21 & int7 -> int8: a wildfire causes smoke; sent14 & sent10 -> int9: a jack pine tree is a kind of plant; sent22 & int9 & sent8 -> int10: the seeds of a jack pine tree will be dispersed after a wildfire; int10 & int8 -> hypothesis", "score": 0.7079958915710449, "hypothesis": "a jack pine tree will disperse seeds after a wildfire", "context": {"sent1": "to emit means to release", "sent2": "fire causes burning on objects", "sent3": "producing is similar to releasing", "sent4": "to combust means to catch fire", "sent5": "heat means heat energy", "sent6": "a flame are a part of a fire", "sent7": "a tree is a kind of plant", "sent8": "seed dispersal is when the seeds of a plant are moved; are carried; are spread; are dropped; from the parent plant to another area; new environment", "sent9": "produce is similar to release", "sent10": "a pine tree is a kind of tree", "sent11": "a plant is a kind of organism", "sent12": "fire causes burning", "sent13": "a tree is a kind of plant", "sent14": "a pine tree is a kind of plant", "sent15": "burning is similar to combustion", "sent16": "a plant is a kind of organism", "sent17": "a source of something releases that something", "sent18": "a tree is a kind of living thing", "sent19": "fire gives off heat", "sent20": "the cones of a jack pine tree are serotinous cones", "sent21": "fire gives off light; heat; smoke", "sent22": "a seed is a part of a plant", "sent23": "heat is a kind of heat energy", "sent24": "a flame are a part of a fire", "sent25": "fire causes burning"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent4 -> int1: dark is a kind of dark color; sent21 & sent9 -> int2: thick fur is a kind of adaptation for hiding; int2 & sent12 -> int3: thick fur is a kind of protection for hiding; int3 & sent25 -> int4: thick fur is a kind of protection against predators; int4 & sent8 -> int5: thick fur is a kind of protection from predators; int5 & sent10 -> int6: thick fur is a kind of protection against predators; int6 & sent15 -> int7: thick fur is a kind of protection against predators; int7 & sent5 -> int8: thick fur is used for hiding; int8 & sent16 -> int9: thick fur is used for hiding in an environment; int9 & sent23 -> int10: coloration is a kind of adaptation for hiding; sent14 & sent20 -> int11: a bear is dark in color; int1 & sent18 & int11 -> int12: a forest is dark in color; sent13 & sent11 -> int13: coloration is a kind of adaptation for hiding in an environment; sent19 & sent1 -> int14: camouflage is a kind of adaptation for hiding from predators; int14 & sent3 -> int15: hiding has a positive impact on an animal's survival; sent17 & sent4 -> int16: dark is dark in color; int10 & sent7 -> int17: coloration is a kind of adaptation for hiding; int15 & int17 -> int18: coloration has a positive impact on an animal's survival; int13 & int18 -> int19: coloration is a kind of adaptation for survival in an environment; int12 & int19 -> hypothesis", "score": 0.6391201019287109, "hypothesis": "having dark fur has a positive impact on an animal's survival in a forest", "context": {"sent1": "camouflage is a kind of adaptation for hiding in an environment", "sent2": "a bear is a kind of predator", "sent3": "being protected from predators has a positive impact on an animal's survival", "sent4": "dark is a kind of color", "sent5": "camouflage is used for protection by animals against predators", "sent6": "dark means dark in color", "sent7": "coloration is a kind of adaptation for hiding;camouflage", "sent8": "hiding is a kind of protection against predators; from predators", "sent9": "fur is often a part of an animal", "sent10": "hiding is a kind of protection against predators / from predators", "sent11": "camouflage is a kind of adaptation for hiding in an environment", "sent12": "thick fur is a kind of fur", "sent13": "coloration is a kind of adaptation for camouflage", "sent14": "a bear is a kind of animal", "sent15": "camouflage is a kind of protection against predators", "sent16": "camouflage is used for protection; hiding by prey; animals against predators; from predators", "sent17": "dark means dark in color", "sent18": "a forest is dark in color", "sent19": "camouflage is used for hiding by animals from predators", "sent20": "a bear is dark in color", "sent21": "fur is often part of an animal", "sent22": "fur is often part of an animal", "sent23": "coloration is a kind of adaptation for hiding / camouflage", "sent24": "hiding means visibility; ability to be seen decreases for camouflage", "sent25": "hiding is a kind of protection against predators"}, "proof_gt": ""}, {"proof_pred": "sent7 & sent18 -> int1: some predators eat other animals for food; sent10 & int1 -> int2: some animals are prey to predators who eat other animals; sent14 & int2 -> int3: birds are prey to predators who eat other animals; sent24 & int3 -> int4: birds are predators to other birds; sent1 & sent25 -> int5: a claw is sometimes a part of a bird; sent17 & int5 -> int6: claws are used to catch prey by some birds; int4 & int6 -> hypothesis", "score": 0.8486220240592957, "hypothesis": "claws are used by some birds to catch food", "context": {"sent1": "a claw is often part of a bird", "sent2": "catching something is synonymous with obtaining that something", "sent3": "a bird is a kind of animal", "sent4": "prey is a kind of food for predators", "sent5": "an animal is a kind of living thing", "sent6": "an animal requires food", "sent7": "predators eat prey", "sent8": "a bird is a kind of organism", "sent9": "an animal needs to eat food for nutrients", "sent10": "a predator eats other animals for food", "sent11": "pair is a kind of combination", "sent12": "eating; taking in food is used to get nutrients;energy by animals; living things", "sent13": "a bird is a kind of living thing", "sent14": "birds sometimes eat other animals", "sent15": "to gain means to obtain", "sent16": "an animal needs to eat food for nutrients", "sent17": "claws are used to catch prey by some predators", "sent18": "predators eat prey", "sent19": "a predator is a kind of animal", "sent20": "an animal is a kind of living thing", "sent21": "in order to eat food an animal must find food", "sent22": "prey is a kind of food for predators", "sent23": "a bird is a kind of animal", "sent24": "if an animal eats other animals for food , then the animal is the predator", "sent25": "a claw sometimes is a part of a predator"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent13 & sent23 -> int1: dryness means low in amount of water; int1 & sent4 -> int2: a dry environment means a low availability of water; int2 & sent18 -> int3: as the availability of water decreases in an environment, the available water in that environment will decrease; sent11 & int3 -> int4: as dryness in an environment increases, the available water in that environment will decrease; sent20 & sent8 -> int5: drying out means the amount of water decreases; int5 & sent7 -> int6: plants drying out means they do not have enough water to survive; int6 & sent16 -> int7: storing water can increase the water available to plants in a dry environment; int7 & int4 -> int8: storing water in a dry environment can increase the water available to plants; sent12 & sent10 -> int9: as dryness increases in an environment, the available water in that environment will decrease; int8 & int9 -> int10: storing water in a dry environment increases the water available to plants; int10 & sent1 -> hypothesis", "score": 0.7000111937522888, "hypothesis": "storing water is an adaptation to a dry environment", "context": {"sent1": "storing water is a kind of adaptation", "sent2": "a type is synonymous with a kind", "sent3": "an adaptation is an adaptive feature", "sent4": "dry means low in amount of water; wetness; moisture", "sent5": "dry means low in amount of water", "sent6": "an adaptation; an ability has a positive impact on an animal's; living thing's survival; health; ability to reproduce", "sent7": "plants drying out means plants do not have enough water to survive", "sent8": "drying means the amount of liquid decreases", "sent9": "drought is when amount of precipitation decreases", "sent10": "as dryness increases in an environment , the available water in that environment will decrease", "sent11": "as dryness increases in an environment , the available water in that environment will decrease", "sent12": "as the availability of water decreases, the environment will become more dry", "sent13": "drier means lower in amount of water; wetness; moisture", "sent14": "to contain something can mean to store something", "sent15": "changes in an environment cause animals; plants to adapt to survive", "sent16": "storing water increases the water available to organisms in a dry environment", "sent17": "drought is when available water decreases in an environment", "sent18": "a dry environment is low in availability of water", "sent19": "storing water is a kind of adaptation", "sent20": "drying means amount of water; amount of liquid; wetness decreases", "sent21": "a stem is used to store water by some plants", "sent22": "drought is when available water decreases in an environment", "sent23": "drier means lower in amount of water", "sent24": "adapting is when a living thing responds to a change in an environment", "sent25": "a water reservoir stores water"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent14 -> int1: a leaf is a kind of organism; int1 & sent12 -> int2: the decrease of something required by a leaf has a negative impact on that leaf's survival; sent17 & sent23 & sent20 -> int3: leaves undergo growth at a rate ranging from slow to fast; int2 & int3 -> hypothesis", "score": 0.8541805148124695, "hypothesis": "slow leaf growth has a negative impact on a plant's survival", "context": {"sent1": "a leaf is a part of a green plant", "sent2": "the decrease of something required by an organism has a negative impact on that organism's survival; that organism's ability", "sent3": "more quickly is similar to increased rate", "sent4": "to slow; to slow down decreases speed", "sent5": "fast is the opposite of slow", "sent6": "when a plant grows , the size of; number of the leaves of that plant may increase", "sent7": "an increase is the opposite of a decrease", "sent8": "changes in an environment cause animals; plants to adapt to survive", "sent9": "rate is similar to speed", "sent10": "an adaptation has a positive impact on a living thing 's survival", "sent11": "when a plant grows , the size of the leaves of that plant may increase", "sent12": "the decrease of something required by an organism has a negative impact on the survival of the organism", "sent13": "an adaptation; an ability has a positive impact on an animal's; living thing's survival; health; ability to reproduce", "sent14": "a leaf is a kind of plant", "sent15": "slowest means lowest in speed", "sent16": "fast is the opposite of slow", "sent17": "a leaf is a part of a plant", "sent18": "faster means increased rate", "sent19": "slowly is similar to decreased rate", "sent20": "leaves undergo growth", "sent21": "reducing is similar to slowing", "sent22": "faster means an increase; higher in speed", "sent23": "growth occurs at a rate ranging from slow to fast", "sent24": "some environments contain leaves", "sent25": "the decrease of something required by an organism has a negative impact on that organism 's survival"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent16 -> int1: flooding increases the amount of water in an environment; sent5 & sent20 -> int2: a salamander is a kind of aquatic animal; int2 & sent1 -> int3: a salamander requires great amounts of water to survive; int3 & sent6 -> int4: as water increases in an environment, the population of salamanders will increase; int1 & int4 -> hypothesis", "score": 0.8652758598327637, "hypothesis": "a flood may cause the population of salamander to increase in an environment", "context": {"sent1": "an aquatic animal; aquatic plant requires great amounts of water to survive; thrive", "sent2": "ocean water level rising causes seawater to flood coastal area", "sent3": "ocean water level rising causes seawater to flood coastal area", "sent4": "high is similar to increase", "sent5": "a fish is a kind of aquatic animal", "sent6": "as water increases in an environment , the population of aquatic animals will increase", "sent7": "flood is the water that overflows the river bank", "sent8": "an increase is a kind of change", "sent9": "when a body of water receives more water than it can hold , a flood occurs", "sent10": "a fish is a kind of organism", "sent11": "salamanders are sometimes aquatic animals", "sent12": "a fish is a kind of animal", "sent13": "heavy rains cause flooding", "sent14": "animal is a kind of organism", "sent15": "a fish is a kind of aquatic animal", "sent16": "when a body of water receives more water than it can hold , a flood occurs", "sent17": "flooding is a kind of change", "sent18": "positive impacts on organisms; species will increase the population of the organisms; the species", "sent19": "a flood is a kind of moving water", "sent20": "a salamander is a kind of aquatic animal", "sent21": "flooding decreases the availability of food", "sent22": "an increase is a kind of change", "sent23": "as the available water in an environment increases , the populations of organisms in that environment will increase", "sent24": "a salamander is a kind of amphibian", "sent25": "a fish is a kind of animal"}, "proof_gt": ""}, {"proof_pred": "sent24 & sent10 -> int1: drought causes available water to decrease in an environment; sent1 & int1 -> int2: hot weather causes the environment to be dry; sent5 & sent18 -> int3: a dry environment means a low in amount of water; sent4 & sent21 -> int4: fish are a kind of organism; int4 & sent3 -> int5: hot weather has a negative impact on fish; int2 & int3 -> int6: hot weather causes the environment to be dry in the summer; sent12 & int6 -> int7: hot weather causes the environment to be dry in the summer; sent20 & sent8 -> int8: a pond is a kind of environment; int7 & sent19 -> int9: hot weather causes the pond to be dry in the summer; int9 & int8 & int5 -> hypothesis", "score": 0.6013084053993225, "hypothesis": "hot weather has a negative impact on the survival of fish", "context": {"sent1": "dry and hot weather for a long time can cause drought", "sent2": "a fish is a kind of animal", "sent3": "negative impacts on organisms; species will decrease the population of the organisms; the species", "sent4": "fish is a kind of organism", "sent5": "dry means low in amount of water", "sent6": "aquatic animals; plants live in bodies of water", "sent7": "if the population of an animal decreases then the amount of that animal will decrease", "sent8": "a pond is a kind of body of water", "sent9": "water contains dissolved oxygen", "sent10": "drought is when available water decreases in an environment", "sent11": "a fish lives in water", "sent12": "a dry environment is low in availability of water", "sent13": "a fish is a kind of living thing", "sent14": "a drought occurs over a period of months; years", "sent15": "a fish is a kind of aquatic animal", "sent16": "a fish is a kind of aquatic animal", "sent17": "warm water contains less dissolved oxygen than cold water", "sent18": "drier means lower in amount of water; wetness; moisture", "sent19": "a pond is a kind of body of water", "sent20": "a pond is a kind of environment", "sent21": "a fish is a kind of organism", "sent22": "a fish is a kind of animal", "sent23": "a fish lives in water", "sent24": "drought is when available water decreases in an environment", "sent25": "dry means low in amount of water; wetness; moisture"}, "proof_gt": ""}, {"proof_pred": "sent14 & sent12 -> hypothesis", "score": 0.8733039498329163, "hypothesis": "the type of soil may have the greatest impact on plant growth", "context": {"sent1": "crop rotation has a positive impact on soil quality", "sent2": "high quality; rich; good soil has a high number of nutrients; amount of nitrogen", "sent3": "farming is when a human plants crops for food", "sent4": "soil is a renewable resource for growing plants", "sent5": "a farmer farms crops; plants for food", "sent6": "fruit trees are a kind of crop", "sent7": "low quality soil has a small; a low number of nutrients", "sent8": "soil is usually part of an environment", "sent9": "crops; farming cause nutrients in the soil to decrease", "sent10": "crops grow in soil", "sent11": "a farmer farms crops; plants for food", "sent12": "a plant requires soil for survival; to grow", "sent13": "soil is usually part of an environment", "sent14": "the type of soil has the greatest impact on plant growth", "sent15": "planting crops requires growing crops", "sent16": "corn is a kind of plant", "sent17": "corn is a kind of crop", "sent18": "overproduction of crops can cause soil fertility to decrease", "sent19": "corn is a kind of plant", "sent20": "a plant requires soil for to grow", "sent21": "planting crops is synonymous with growing crops", "sent22": "fruit trees are a kind of crop", "sent23": "a natural resource is a kind of environmental factor", "sent24": "farming is when a human plants crops for food", "sent25": "tomato is a kind of crop"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent21 -> int1: a frog and a bird are kinds of animals; sent3 & sent25 -> int2: skin is used for breathing by frogs; sent10 & sent7 -> int3: a bird and a frog are kinds of animals; int3 & int2 & int1 -> int4: skin is used for breathing by birds on frogs; sent22 & sent22 -> int5: lungs are a kind of organ for breathing air; sent20 & int5 -> int6: lungs are a kind of organ for breathing air in birds; int4 & int6 -> int7: lungs on frogs and lungs in birds are both used for breathing air; sent16 & sent8 -> int8: skin is a part of an organism; sent23 & int8 -> int9: skin is a kind of organ that is used for breathing; int9 & int7 -> int10: lungs on frogs and lungs in birds are both used for breathing; sent2 & int10 -> hypothesis", "score": 0.8577118515968323, "hypothesis": "the function of skin on frogs is similar to the function of lungs in birds", "context": {"sent1": "a bird is a kind of organism", "sent2": "breathing is a kind of function", "sent3": "skin is a part of a frog for breathing; protection; absorbing moisture", "sent4": "lungs are used for breathing air by land animals; birds", "sent5": "a lung is a kind of internal organ", "sent6": "a frog is a kind of animal", "sent7": "a frog is a kind of animal", "sent8": "skin is usually a part of an organism", "sent9": "frogs / turtles / fish / mice / birds are kinds of animals", "sent10": "a bird is a kind of animal", "sent11": "the respiratory system performs respiration", "sent12": "human skin is a kind of object", "sent13": "a frog is a kind of amphibian", "sent14": "the lungs are a part of the body of an animal used for breathing air", "sent15": "the respiratory system is a kind of human; organ; body system", "sent16": "skin is a part of an animal; plant", "sent17": "an amphibian has smooth skin", "sent18": "the lungs are a part of the respiratory system", "sent19": "a bird is a kind of living thing", "sent20": "lungs are used for breathing air by birds", "sent21": "a bird is a kind of animal", "sent22": "a lung is a kind of organ for breathing air", "sent23": "skin is a kind of organ", "sent24": "an amphibian is a kind of animal", "sent25": "skin is used for breathing air by frogs"}, "proof_gt": ""}, {"proof_pred": "sent20 & sent3 -> int1: the circulatory system brings oxygen to the body; sent5 & sent17 -> int2: the respiratory system transports oxygen to the circulatory system; int1 & int2 -> int3: the respiratory system and circulatory system bring oxygen to the body; sent4 & sent8 -> int4: the respiratory system and the circulatory system are kinds of human; sent11 & sent6 -> int5: a human is a kind of body; sent16 & int5 -> int6: bringing oxygen to the body is a kind of function for a human; int3 & int4 -> int7: the respiratory system and circulatory system are kinds of human that bring oxygen to the body; sent10 & sent24 -> int8: the respiratory system and the circulatory system are parts of the body; int6 & int7 -> int9: the respiratory system and circulatory system both bring oxygen to the body; sent19 & sent22 -> int10: the respiratory system brings oxygen to the body; int9 & int10 -> int11: the respiratory system and circulatory system both bring oxygen to the body; sent15 & sent13 -> int12: breathing is a kind of function for an animal; int12 & sent12 -> int13: the respiratory system performs the function of breathing; int13 & sent25 -> int14: the respiratory system is a part of the body used for breathing; int14 & int8 -> int15: the respiratory system and circulatory system are parts of the body used for breathing; sent21 & int11 -> int16: the respiratory system and circulatory system are similar because they both bring oxygen to the body; int16 & int15 -> hypothesis", "score": 0.7921919226646423, "hypothesis": "the respiratory system and circulatory system are similar because they bring oxygen to the body", "context": {"sent1": "returning is similar to bringing", "sent2": "the respiratory system takes in oxygen from the air", "sent3": "circulation the circulatory system transports blood throughout the body", "sent4": "the circulatory system is a kind of human; organ; body system", "sent5": "the respiratory system transfers oxygen to the circulatory system", "sent6": "the body is a part of an animal", "sent7": "to bring means to transport", "sent8": "the respiratory system is a kind of human; organ; body system", "sent9": "to transfer means to bring; to get something to", "sent10": "the respiratory system is a part of the body", "sent11": "a human is a kind of animal", "sent12": "the respiratory system performs respiration", "sent13": "an animal requires oxygen for to breathe", "sent14": "breathing is a process in animal respiration", "sent15": "breathing is a kind of function", "sent16": "bringing oxygen to the body is a kind of function", "sent17": "the lungs are a part of the respiratory system", "sent18": "a body system is a part of the body; an animal", "sent19": "the circulatory system brings oxygen from the lungs; the respiratory system to the rest of the body", "sent20": "the circulatory system transports blood throughout the body", "sent21": "if two things perform the same function then those two things are similar", "sent22": "an animal requires oxygen to breathe", "sent23": "breathing is when a lung converts from oxygen in air into oxygen in blood", "sent24": "lungs are a part of the body", "sent25": "the lungs are a part of the body of an animal used for breathing air"}, "proof_gt": ""}, {"proof_pred": "sent18 & sent15 -> int1: digestion of proteins occurs in the stomach; int1 & sent20 -> int2: the small intestine is a part of the digestive system for the digestion of proteins; sent25 & sent19 -> int3: an organism takes in nutrients from food by eating; int3 & sent6 -> int4: an organism absorbs nutrients from food by eating; int4 & sent8 -> int5: an example of digestion is when the body absorbs nutrients from food; sent5 & sent2 -> int6: the small intestine is a part of a human's digestive system; int2 & int6 -> int7: the small intestine is a part of a human's digestive system for the digestion of proteins; int5 & int7 -> hypothesis", "score": 0.8381538391113281, "hypothesis": "nutrients are absorbed from food in the small intestine", "context": {"sent1": "digestion is performed by the digestive system", "sent2": "if an organ digests food then the food must pass through that organ", "sent3": "to happen means to occur", "sent4": "absorbing is a kind of function", "sent5": "a small intestine is a part of a human's; animal's digestive system for the digestion of proteins", "sent6": "eating;digestion is when an organism takes in nutrients from food into itself by eating", "sent7": "take in means absorb", "sent8": "digestion is when the body absorbs nutrients from food", "sent9": "take place means happen", "sent10": "a protein is a kind of nutrient", "sent11": "the small intestine is a kind of organ", "sent12": "digestion is when food is absorbed into the blood stream", "sent13": "absorption is a kind of event", "sent14": "digestion is when the body breaks down food for nutrients", "sent15": "a stomach is a part of a human's; animal's digestive system for the digestion of proteins", "sent16": "to pass means to occur", "sent17": "something that happens is a kind of event", "sent18": "digestion of proteins occurs in the stomach; small intestine", "sent19": "digestion is when an organism takes in nutrients from food into itself by eating", "sent20": "the small intestine is a part of the digestive system", "sent21": "to absorb something can mean to take something in", "sent22": "a process is a kind of event", "sent23": "to take something in can mean to absorb something", "sent24": "a protein is a kind of nutrient", "sent25": "eating is when an organism takes in nutrients from food into itself by eating"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent3 -> hypothesis", "score": 0.9470322132110596, "hypothesis": "the excretory system removes waste from the body", "context": {"sent1": "if something cause something else to happen then that something is responsible for that something else", "sent2": "eliminate means remove", "sent3": "excretion is when the excretory system removes waste from the body", "sent4": "if something causes a process then that something is required for that process", "sent5": "if something is required for a process then that something is used for that process", "sent6": "the excretory system is a kind of body system", "sent7": "to be used for something means to be required by that something", "sent8": "if something performs a task then that task is that something's function", "sent9": "to cause means to be responsible for", "sent10": "a body system is a part of the body; an animal", "sent11": "get rid of means eliminate; remove", "sent12": "an organ is a part of a body system", "sent13": "to have a function is similar to to be responsible for", "sent14": "the digestive system is a kind of body; organ system", "sent15": "if something plays a large role in a process, then that something is required for that process", "sent16": "the digestive system is a kind of body; human system", "sent17": "waste must be removed", "sent18": "if something causes a process then that something is required for that process", "sent19": "a body system is a part of the body", "sent20": "waste must be eliminated from the body", "sent21": "removing waste is a kind of function", "sent22": "organ system means body system", "sent23": "the excretory system performs excretion", "sent24": "waste must be removed", "sent25": "if a part of a system can control that system, then that part is a major part of that system"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent19 -> int1: kidney removes bodily waste; sent2 & sent11 -> int2: waste must be removed from the body; int1 & int2 -> int3: the kidneys remove waste from the body; int3 & sent14 -> int4: the kidneys remove waste from the body; int4 & sent9 -> int5: the kidneys are a kind of organ in an animal; sent5 & sent13 -> int6: an animal is a kind of organism; sent23 & int6 -> int7: waste must be removed from an animal's body; int7 & int5 -> int8: the kidneys are a kind of organ that removes waste from the body; int8 & sent18 -> int9: the kidneys are a kind of organ that remove waste from the body; int9 & sent12 -> hypothesis", "score": 0.6667320728302002, "hypothesis": "the kidneys help remove waste from the body", "context": {"sent1": "get rid of means eliminate; remove", "sent2": "waste must be removed", "sent3": "to be helpful means to help to do", "sent4": "kidney removes; filters bodily waste; cell waste; byproducts from the blood", "sent5": "an animal is a kind of organism", "sent6": "if something is required for a process then that something helps in that process", "sent7": "to be used for something means to help to do that something", "sent8": "having a positive impact on something helps that something", "sent9": "a kidney is a kind of organ in an animal", "sent10": "eliminate means remove", "sent11": "waste must be eliminated from the body", "sent12": "helping something has a positive impact on that something", "sent13": "animals are a kind of organism", "sent14": "kidney is a vehicle for removing bodily waste; cell waste; byproducts from the blood", "sent15": "animal is a kind of organism", "sent16": "products are formed; are produced; are created", "sent17": "helping something has a positive impact on that something", "sent18": "removing waste is a kind of function", "sent19": "kidney filter bodily waste / cell waste / byproducts from the blood", "sent20": "eliminating waste means getting rid of waste materials", "sent21": "mammal is a kind of class of animal", "sent22": "all living things eliminate waste", "sent23": "waste must be removed", "sent24": "a mammal is a kind of animal", "sent25": "to help means to aid"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent23 -> hypothesis", "score": 0.931510865688324, "hypothesis": "the main function of the vomiting reflex is to remove toxic material from the stomach before it is absorbed", "context": {"sent1": "a human is a kind of animal", "sent2": "an animal is a kind of living thing", "sent3": "material means substance", "sent4": "a reflex is a kind of action", "sent5": "the stomach is a part of the digestive system", "sent6": "to absorb something can mean to take something in", "sent7": "toxic means poisonous", "sent8": "remove means decrease", "sent9": "the vomiting reflex is used to remove toxic material from the stomach before it is absorbed", "sent10": "eliminate means remove", "sent11": "a stomach is a part of a human's; animal's digestive system for the digestion of proteins", "sent12": "get rid of means eliminate; remove", "sent13": "clearing is similar to removing", "sent14": "the stomach is a kind of organ", "sent15": "to take something in can mean to absorb something", "sent16": "take in means absorb", "sent17": "removing something means removing the things that something contains", "sent18": "absorbing something harmful has a negative impact on a thing", "sent19": "a human is a kind of animal", "sent20": "toxic chemicals are poisonous", "sent21": "a poison is a kind of substance", "sent22": "when something is absorbed from a place that something is removed from that place", "sent23": "absorbing is a kind of function", "sent24": "the function of something is what that something is used to do", "sent25": "an animal is a kind of living thing"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent8 -> int1: rheumatoid arthritis is an autoimmune disease; sent16 & sent18 & int1 -> int2: a disordered immune system causes rheumatoid arthritis; sent3 & int2 -> hypothesis", "score": 0.8831301927566528, "hypothesis": "the immune system becomes disordered first before rheumatoid arthritis occurs", "context": {"sent1": "the immune system defends the body against disease", "sent2": "a human is a kind of animal", "sent3": "if something is caused by something else, then that something else will happen first before that something", "sent4": "to happen means to occur", "sent5": "organ system means body system", "sent6": "becoming is similar to changing", "sent7": "disease means illness", "sent8": "rheumatoid arthritis occurs when the body attacks its own tissues", "sent9": "increasing is a kind of order", "sent10": "an autoimmune disease is when the body attacks its own tissues", "sent11": "the body is a part of an animal", "sent12": "harming something has a negative impact on; effect on that something", "sent13": "an organ is a part of a body system", "sent14": "a body system is a part of the body", "sent15": "a body system is a part of the body; an animal", "sent16": "a disordered immune system causes autoimmune diseases", "sent17": "a human is a kind of animal", "sent18": "rheumatoid arthritis is a kind of autoimmune disease", "sent19": "a human is a kind of living thing", "sent20": "a body is a part of a living thing", "sent21": "an animal is a kind of thing", "sent22": "an animal is a kind of living thing", "sent23": "a kind of is similar to a form of", "sent24": "an animal is a kind of living thing", "sent25": "the immune system is a kind of body; human body system"}, "proof_gt": ""}, {"proof_pred": "sent20 & sent14 -> hypothesis", "score": 0.8965076804161072, "hypothesis": "an example of an adaptation for flight in birds is feathers / wings / hollow bones", "context": {"sent1": "an animal is a kind of living thing", "sent2": "an animal is a kind of organism", "sent3": "a bird is a kind of organism", "sent4": "wings are a part of a bird", "sent5": "a kind of something is an example of that something", "sent6": "animal is a kind of organism", "sent7": "the skeletal system is used to provide protection; shape; support for animals", "sent8": "a bird is a kind of animal", "sent9": "animals are organisms", "sent10": "some birds use flight to avoid predators", "sent11": "feathers are a part of a bird", "sent12": "a bird is a kind of animal", "sent13": "a bird is a kind of thing", "sent14": "feathers are a part of some wings", "sent15": "an animal is a kind of organism", "sent16": "bones are part of some animals", "sent17": "an adaptation is an adaptive feature", "sent18": "an adaptation; an ability has a positive impact on an animal's; living thing's survival; health; ability to reproduce", "sent19": "wings are used to fly through air by birds", "sent20": "an example of an adaptation for flight in birds is feathers; wings; hollow bones", "sent21": "an animal is a kind of thing", "sent22": "flying is a kind of motion through air; space", "sent23": "a bird is a kind of living thing", "sent24": "animals are a kind of organism", "sent25": "an animal is a kind of living thing"}, "proof_gt": ""}, {"proof_pred": "sent17 & sent21 -> int1: the muscular system is a part of the body; sent20 & int1 -> int2: muscles are a part of the muscular system; sent12 & sent7 -> int3: the muscular system push bones to move the bones; int3 & int2 -> hypothesis", "score": 0.8068447113037109, "hypothesis": "the muscular system pulls bones to move the bones", "context": {"sent1": "muscular movement helps animals move", "sent2": "the interaction of the skeletal and muscular systems produces locomotion", "sent3": "to create means to make", "sent4": "the skeleton is a part of the skeletal system", "sent5": "a body system is a part of the body; an animal", "sent6": "if a part of a system performs a function then that system performs that function through that part", "sent7": "the muscular system contains muscles", "sent8": "creating is similar to causing", "sent9": "the muscular system contains muscles", "sent10": "a pull is a kind of force", "sent11": "pulling is a kind of motion", "sent12": "muscles push; pull bones to move the bones", "sent13": "the skeletal system is a kind of body system", "sent14": "a bone is a part of a body", "sent15": "skeletal system is made of bones", "sent16": "to generate means to create", "sent17": "the muscular system is a kind of body system", "sent18": "a body system is a part of the body", "sent19": "a skeletal system is a part of an animal", "sent20": "muscles are a part of the body", "sent21": "the muscular system is a kind of body; organ system", "sent22": "an organ system is made of different parts of the body working together", "sent23": "a bone is a part of a body", "sent24": "an organ is a part of a body system", "sent25": "motion; movement means moving; to move"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent18 -> int1: eyes are part of an animal for seeing; int1 & sent1 -> int2: a brain is a part of an animal for seeing; sent8 & int2 -> int3: eyes are a kind of sense organ for animals; sent2 & int3 -> hypothesis", "score": 0.7705782055854797, "hypothesis": "nerves carry messages from the eyes to the brain", "context": {"sent1": "a brain is a part of an animal", "sent2": "nerves carry messages from sensory organs to the brain", "sent3": "the nervous system contains nerves", "sent4": "eyes are used for seeing by animals by sensing light", "sent5": "an animal is a kind of living thing", "sent6": "eyes are usually part of an animal for seeing", "sent7": "a human is a kind of animal", "sent8": "sight is a kind of sense", "sent9": "eyes can sense;detect light energy for seeing", "sent10": "eyes are a part of a human for seeing", "sent11": "person is synonymous with human", "sent12": "eyes are part of a human for seeing", "sent13": "a brain is a kind of internal organ", "sent14": "a person is a kind of animal", "sent15": "to transport can mean to carry", "sent16": "the eyes are part of the head used for seeing", "sent17": "a human is a kind of animal", "sent18": "an animal is a kind of living thing", "sent19": "the brain is a part of the central nervous system", "sent20": "nerve cells conduct messages in the body", "sent21": "nerves are made of nerve cells", "sent22": "a human is a kind of living thing", "sent23": "seeing is used for sensing visual things", "sent24": "carrier means the ones that carry", "sent25": "a person is a kind of living thing"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent8 -> int1: the skeletal system is used to provide protection; sent11 & sent6 -> int2: the skeletal system is a part of the body; int2 & sent4 -> int3: the skeletal system is a part of an animal for providing protection; int3 & int1 -> int4: the skeletal system is used for providing protection and support; sent17 & int4 -> hypothesis", "score": 0.9148282408714294, "hypothesis": "protection and support are jobs of the skeletal system", "context": {"sent1": "a bone is a part of a body", "sent2": "to do a job means to perform a job", "sent3": "providing support is a kind of function", "sent4": "a skeletal system is a part of an animal", "sent5": "protecting something means preventing harm to that something", "sent6": "a body system is a part of the body; an animal", "sent7": "the skeletal system is used to give structure for the body of animals", "sent8": "the skeletal system is used to provide protection; shape; support for animals", "sent9": "role means function", "sent10": "something's purpose is that something's main function", "sent11": "the skeletal system is a kind of body system", "sent12": "a bone is a part of a body", "sent13": "function means job", "sent14": "the skeleton is a part of the skeletal system", "sent15": "providing structure is a kind of function", "sent16": "the skeletal system protects internal organs", "sent17": "if something is used for something else, then that something else is the job of that something", "sent18": "to protect means to defend", "sent19": "protecting part of something helps to protect that something", "sent20": "if something performs a task then that task is that something's function", "sent21": "skeletal system is made of bones", "sent22": "the skeletal system is used to provide protection / shape / support for animals", "sent23": "protecting is a kind of function", "sent24": "something hard; something strong can be used for protection", "sent25": "purpose means role"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent1 -> hypothesis", "score": 0.9229840636253357, "hypothesis": "scales are used for protection by fish", "context": {"sent1": "scales are used for protection by scaled animals", "sent2": "an animal is a kind of living thing", "sent3": "a fish is a kind of living thing", "sent4": "something hard; something strong can be used for protection", "sent5": "the body is a part of an animal", "sent6": "a fish is a kind of animal", "sent7": "a scale is a part of a fish", "sent8": "scales are a covering around the body of a scaled animal", "sent9": "animals are a kind of organism", "sent10": "covering something is a kind of protection", "sent11": "a fish is a kind of organism", "sent12": "a fish is a kind of scaled animal", "sent13": "an animal is a kind of living thing", "sent14": "protecting part of something helps to protect that something", "sent15": "a fish is a kind of aquatic animal", "sent16": "scales are found on the skin of scaled animals", "sent17": "a fish is a kind of aquatic animal", "sent18": "an animal is a kind of organism", "sent19": "something that is protected against something else is safe from that something else", "sent20": "a fish is a kind of animal", "sent21": "if something has a negative impact on an organism then that organism must protect itself from that something", "sent22": "protecting something means preventing harm to that something", "sent23": "fish is a kind of organism", "sent24": "animal is a kind of organism", "sent25": "an animal is a kind of organism"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent2 -> hypothesis", "score": 0.9378180503845215, "hypothesis": "all human cells take in energy", "context": {"sent1": "a human is a kind of animal", "sent2": "all cells take in energy", "sent3": "eating; taking in food is used to get nutrients;energy by animals; living things", "sent4": "a human cell is a kind of cell", "sent5": "all cells require energy", "sent6": "in common is similar to the same", "sent7": "all cells perform cellular respiration", "sent8": "taking in something means receiving; absorbing; getting something", "sent9": "cellular respiration is a source of energy for cell activities", "sent10": "eating;digestion is when an organism takes in nutrients from food into itself by eating", "sent11": "human is a kind of organism", "sent12": "similar means in common", "sent13": "a living thing is made of cells", "sent14": "a human is a kind of living thing", "sent15": "to take something in can mean to absorb something", "sent16": "cellular respiration is when a cell converts from oxygen and carbohydrates into carbon dioxide, water, and energy", "sent17": "human is a kind of organism", "sent18": "a human is a kind of animal", "sent19": "if a living thing takes in something to perform a process then that something is required for that process", "sent20": "take in means absorb", "sent21": "a cell is a kind of thing", "sent22": "humans are a kind of organism", "sent23": "if something requires something else then that something else may be common in that something", "sent24": "to absorb something can mean to take something in", "sent25": "a human is a kind of organism"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent19 -> hypothesis", "score": 0.925632119178772, "hypothesis": "the number of cells in the adult elephant will be more than the number of cells in the baby elephant", "context": {"sent1": "if something causes something else to increase then increasing that something will cause that something else to increase", "sent2": "high is similar to increase", "sent3": "an animal is a kind of living thing", "sent4": "cell division often causes growth; healing", "sent5": "if the number of cells in a living thing increases then more cells are produced in that living thing", "sent6": "growth is when a living thing grows", "sent7": "an animal is a kind of organism", "sent8": "an elephant is a kind of animal", "sent9": "increase means more", "sent10": "an elephant is a kind of animal species", "sent11": "the body is a part of an organism", "sent12": "baby elephant will grow into adult elephant", "sent13": "growth means size;number;value;strength increases", "sent14": "amount is similar to number", "sent15": "growth means size increases", "sent16": "growing larger is when size increases", "sent17": "cell division increases the number of cells in the body", "sent18": "an animal is a kind of organism", "sent19": "adult organisms have more cells than baby organisms", "sent20": "animals are a kind of organism", "sent21": "an animal is a kind of living thing", "sent22": "animal is a kind of organism", "sent23": "the body is a part of an animal", "sent24": "cells are a part of the body", "sent25": "cells are a part of the body"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent10 -> hypothesis", "score": 0.9411259889602661, "hypothesis": "mitosis produces cells that are identical to the parent cell and meiosis produces cells that are different from the parent cell", "context": {"sent1": "product means result", "sent2": "mitosis produces two cells with the same number of chromosomes as the parent cell", "sent3": "identical means copy", "sent4": "cell division produces cells", "sent5": "a change is a kind of difference", "sent6": "products are produced", "sent7": "if something is not the same as something else then that something is different from that something else", "sent8": "to change means to become different", "sent9": "same means identical; equal in value; amount; number; quantity", "sent10": "mitosis produces cells that are identical to the parent cell", "sent11": "the parent cell is the original cell", "sent12": "meiosis produces cells that are different from the parent cell", "sent13": "the opposite of the same is different", "sent14": "if two things are both something else, then they are different kinds of that something else", "sent15": "if two things are opposites then those two things are different", "sent16": "if something changes , then that something is not the same", "sent17": "another means different", "sent18": "opposite is a kind of different", "sent19": "if something is copied then that something will be the same; similar; identical", "sent20": "products are formed; are produced; are created", "sent21": "identical is the opposite of different", "sent22": "a cell is a kind of thing", "sent23": "different is the opposite of the same", "sent24": "mitosis produces two diploid cells from a diploid parent cell", "sent25": "the opposite of same / alike is different"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent4 -> hypothesis", "score": 0.9576060771942139, "hypothesis": "mitosis is a source of two identical nuclei", "context": {"sent1": "the nucleus is the center of an atom", "sent2": "a cell nucleus is a kind of organelle", "sent3": "identical is the opposite of different", "sent4": "mitosis is a source of two identical nuclei", "sent5": "to cause means to result in", "sent6": "a cell nucleus is a part of a cell", "sent7": "nucleus is a part of an atom", "sent8": "the nucleus is a kind of cell organelle", "sent9": "identical means copy", "sent10": "same means identical; equal in value; amount; number; quantity", "sent11": "mitosis produces cells that are identical to the parent cell", "sent12": "if something is formed by a process then that something is formed as a result of that process", "sent13": "result means outcome", "sent14": "if something is caused by something else then that something resulted from that something else", "sent15": "to produce means to result in", "sent16": "product means result", "sent17": "to be formed by is to be the result of", "sent18": "if something causes something else then that something else results from that something", "sent19": "if something causes something else then that something else is a result of that something", "sent20": "if something causes something else then that something results in that something else", "sent21": "a cell nucleus is a part of a cell", "sent22": "both means two", "sent23": "mitosis produces two cells with the same number of chromosomes as the parent cell", "sent24": "the nucleus is the core; center of an atom", "sent25": "nucleus is synonymous with core; center"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.821742594242096, "hypothesis": "the heart, blood vessels, kidneys, and bladder working together makes them an organ system", "context": {"sent1": "the body of an animal contains arteries; veins", "sent2": "kidney filter bodily waste / cell waste / byproducts from the blood", "sent3": "a heart is a part of the body", "sent4": "veins; arteries are a part of the circulatory system", "sent5": "organ system means body system", "sent6": "the heart is a part of the circulatory system", "sent7": "a heart is a kind of organ", "sent8": "a body system is a part of the body", "sent9": "an organ system is made of different parts of the body working together", "sent10": "the heart, blood vessels, kidneys, and bladder working together", "sent11": "heart pumps blood to the rest of the body", "sent12": "the blood vessels are a part of the body", "sent13": "kidney removes; filters bodily waste; cell waste; byproducts from the blood", "sent14": "the circulatory system is a kind of human; organ; body system", "sent15": "the bladder is a part of the body", "sent16": "a kidney is a kind of organ in an animal", "sent17": "blood vessels are a kind of organ", "sent18": "an organ is a part of a body system", "sent19": "a mechanism is a kind of system that performs a function", "sent20": "to work means to function", "sent21": "the heart, blood vessels, kidneys, and bladder work together", "sent22": "a body system is a part of the body; an animal", "sent23": "a bladder is a kind of organ", "sent24": "if a part of a system performs a function then that system performs that function through that part", "sent25": "kidney is a vehicle for removing bodily waste; cell waste; byproducts from the blood"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent5 & sent6 -> hypothesis", "score": 0.9107813239097595, "hypothesis": "chloroplast can only be found in a plant cell", "context": {"sent1": "plants are made up of plant cells", "sent2": "to be found in means to be contained in", "sent3": "a chloroplast is a kind of plant cell structure", "sent4": "if something contains something else then that something else can be found in that something", "sent5": "chloroplast is a part of a plant cell", "sent6": "only plant cells have chloroplast", "sent7": "a plant is a kind of organism", "sent8": "a living thing is made of cells", "sent9": "a plant cell contains chloroplasts", "sent10": "a chloroplast contains chlorophyll", "sent11": "a plant is made of plant cells", "sent12": "if something is a part of something then that something can be found in that something", "sent13": "if something is found in something else then that something else contains that something", "sent14": "if something is found in something else, then that something else contains that something", "sent15": "found in means existing in", "sent16": "if something is made of something else, then that something else can be found in that something", "sent17": "a cell is a kind of thing", "sent18": "a plant cell is a kind of cell", "sent19": "a plant is a kind of living thing", "sent20": "green plants are made of plant cells", "sent21": "a plant is a kind of organism", "sent22": "a plant is a kind of living thing", "sent23": "plants are a kind of organism", "sent24": "chlorophyll is a part of chloroplasts", "sent25": "a plant is made of plant cells"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent21 -> int1: the bark of a tree is a part of a plant for protecting the plant cell; int1 & sent14 -> int2: the cell wall of a plant cell is a part of the plant cell for protecting the plant cell; sent22 & int2 -> int3: the cell wall of a plant cell provides support; int3 & sent20 -> int4: the cell wall of a plant cell provides structure; sent19 & sent21 -> int5: a tree and a plant are both kinds of plants; sent16 & int4 -> int6: the cell wall of a plant cell has the function of providing structure; int5 & int6 -> int7: the cell wall of a tree has the function of protecting the tree; sent1 & int7 -> int8: the bark of a tree has the function of protecting the tree; sent9 & sent5 -> int9: a tree and a plant are both kinds of things; sent23 & int8 -> int10: the bark of a tree and a cell wall both have the function of protecting the tree; sent6 & sent15 -> int11: a plant cell is a kind of thing; int11 & int9 -> int12: a tree and a plant cell are both kinds of things; int12 & int10 -> int13: a cell wall and the bark of a tree both have the function of protecting the tree; int13 & sent18 -> hypothesis", "score": 0.8672643899917603, "hypothesis": "a cell wall has a similar function to the bark of a tree", "context": {"sent1": "bark is a protective covering around the trunk of; branches of a tree", "sent2": "the function of something is what that something is used to do", "sent3": "bark is a part of a tree", "sent4": "a cell membrane is a kind of cell structure", "sent5": "a living thing is made of cells", "sent6": "a cell is a kind of thing", "sent7": "if something performs a task then that task is that something's function", "sent8": "the cell membrane is the membrane around the cell of all living things", "sent9": "a tree is a kind of living thing", "sent10": "a wall is a kind of object", "sent11": "the cell wall causes the plant cell to be more rigid than the animal cell", "sent12": "the cell membrane provides support; protection for a cell", "sent13": "a wall is a kind of surface", "sent14": "a cell wall is a part of a plant cell for supporting and protecting the cell membrane", "sent15": "a plant cell is a kind of cell", "sent16": "providing structure is a kind of function", "sent17": "a structure of something is synonymous with a part of that something", "sent18": "if two things perform the same function then those two things are similar", "sent19": "a tree is a kind of plant", "sent20": "a cell wall is the outermost structure of a plant cell", "sent21": "a tree is a kind of plant", "sent22": "a cell wall provides support; protection; shape; structure for a plant cell", "sent23": "protecting is a kind of function", "sent24": "a plant is a kind of organism", "sent25": "a plant is a kind of organism"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent21 & sent4 -> int1: a multicellular organism contains many cells; sent24 & sent18 -> int2: chromosomes are part of a living thing; int2 & sent7 -> int3: chromosomes are part of a multicellular organism; int3 & sent23 & int1 -> int4: a multicellular organism has many chromosomes; sent16 & int4 -> hypothesis", "score": 0.813758909702301, "hypothesis": "the number of chromosomes of two somatic cells will most likely be the same", "context": {"sent1": "the body is a part of an organism", "sent2": "a scientist is a kind of human", "sent3": "a scientist is comparing two body cells of a multicellular organism", "sent4": "a multicellular organism has more than one cell", "sent5": "a living thing is an organism", "sent6": "chromosomes are located in the cells", "sent7": "a multicellular organism is a kind of living thing", "sent8": "a human body cell contains 46 chromosomes", "sent9": "if something is copied then that something will be the same; similar; identical", "sent10": "a body cell means a somatic cell", "sent11": "identical is the opposite of different", "sent12": "amount is similar to number", "sent13": "things that are identical will have the same number of parts", "sent14": "identical means copy", "sent15": "a cell is a kind of thing", "sent16": "two somatic cells from the same multicellular organism will have the same number of chromosomes", "sent17": "chromosome is made of dna", "sent18": "a chromosome is a part of a cell", "sent19": "a body is a part of a living thing", "sent20": "same means identical; equal in value; amount; number; quantity", "sent21": "a multicellular organism contains more than one cell", "sent22": "the body is a part of an organism", "sent23": "a multicellular organism is made of many cells", "sent24": "a living thing is made of cells", "sent25": "the number of parts of something is a property of that something"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent16 -> hypothesis", "score": 0.8953642249107361, "hypothesis": "the cell nucleus is part of the cell that controls many of the functions of the cell", "context": {"sent1": "unit is similar to part", "sent2": "action means activity", "sent3": "a cell is a kind of thing", "sent4": "controlling is a kind of function", "sent5": "cell activity means cell process", "sent6": "a cell nucleus is a part of a cell", "sent7": "the function of something is what that something is used to do", "sent8": "if something performs a task then that task is that something's function", "sent9": "to control something can mean to coordinate something", "sent10": "the nucleus is a kind of cell organelle", "sent11": "an event is a kind of action", "sent12": "role means function", "sent13": "nucleus is synonymous with core; center", "sent14": "the nucleus is the core; center of an atom", "sent15": "part means role", "sent16": "the cell nucleus controls many of the functions of the cell", "sent17": "a motion is a kind of event; action", "sent18": "a cell nucleus is a part of a cell", "sent19": "to have a function is similar to to be responsible for", "sent20": "pair means two", "sent21": "neutrons are a part of the nucleus", "sent22": "a cell nucleus is a kind of organelle", "sent23": "coordinate is similar to control", "sent24": "pair is a kind of combination", "sent25": "a function is an activity"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent11 -> int1: water and starch are kinds of substances; sent5 & sent18 -> int2: a potato is a kind of plant cell; int1 & int2 -> int3: water and starch are kinds of substances found in potato cells; sent20 & sent14 -> int4: vacuoles are organelles that are found in cells; int4 & sent19 -> int5: vacuoles are the organelles that store water and starch in cells; int3 & int5 -> hypothesis", "score": 0.9023389220237732, "hypothesis": "vacuoles are the organelles that store water and starch for potato cells", "context": {"sent1": "to be found in means to be contained in", "sent2": "substances are made of molecules", "sent3": "to contain something can mean to store something", "sent4": "water is a kind of substance", "sent5": "a potato is a kind of plant", "sent6": "starch is a kind of food", "sent7": "organelle are a part of a cell", "sent8": "to store means to hold", "sent9": "keeping is similar to storing", "sent10": "a plant cell is a kind of cell", "sent11": "water is a kind of substance", "sent12": "substances are made of molecules", "sent13": "a vacuum has no matter in it", "sent14": "vacuoles are found in cells", "sent15": "starch is a kind of complex carbohydrate", "sent16": "contains means located in", "sent17": "water is a kind of matter", "sent18": "a potato cell is a kind of plant cell found in potatoes", "sent19": "vacuoles are used for storing water; food by cells", "sent20": "a vacuole is a kind of organelle", "sent21": "contain is similar to store", "sent22": "a potato is a kind of food", "sent23": "a living thing is made of cells", "sent24": "water is a kind of material", "sent25": "an animal cell is a kind of cell"}, "proof_gt": ""}, {"proof_pred": "sent8 & sent5 -> hypothesis", "score": 0.9442330598831177, "hypothesis": "a nucleus cannot be found in prokaryotic cells", "context": {"sent1": "dna are found in the nucleus of the cell", "sent2": "if something is found in something else then that something is a part of that something else", "sent3": "if something is found in something else then that something else contains that something", "sent4": "nucleus is synonymous with core; center", "sent5": "a prokaryotic cell does not contain a nucleus", "sent6": "rna are found in the nucleus of the cell", "sent7": "the nucleus is made of neutrons and protons", "sent8": "if something does not contain something else, then that something else cannot be found in that something", "sent9": "if something is made of something else, then that something else can be found in that something", "sent10": "a cell nucleus is a part of a cell", "sent11": "a part of something is present in that something", "sent12": "neutrons are a part of the nucleus", "sent13": "the cell nucleus controls many of the functions of the cell", "sent14": "the nucleus is a kind of cell organelle", "sent15": "a cell nucleus is a part of a cell", "sent16": "not is similar to the opposite of", "sent17": "if something is found in something else, then that something else contains that something", "sent18": "a cell is a kind of thing", "sent19": "to be found in means to be contained in", "sent20": "a living thing is made of cells", "sent21": "the nucleus is the core; center of an atom", "sent22": "a cell nucleus is a kind of organelle", "sent23": "if something contains something else then that something else can be found in that something", "sent24": "found in means existing in", "sent25": "if something is a part of something then that something can be found in that something"}, "proof_gt": ""}, {"proof_pred": "sent16 & sent1 -> hypothesis", "score": 0.8795771598815918, "hypothesis": "a leaf makes food for the plant by converting sunlight into carbohydrates", "context": {"sent1": "photosynthesis makes food for the plant by converting carbon dioxide, water, and sunlight into carbohydrates", "sent2": "to have a function is similar to to be responsible for", "sent3": "plants use energy directly from the sun", "sent4": "a leaf is a part of a tree", "sent5": "if something is a part of a process then that something is required for that process", "sent6": "a leaf absorbs sunlight to perform photosynthesis", "sent7": "if something causes a process then that something is required for that process", "sent8": "a leaf performs photosynthesis; gas exchange", "sent9": "a leaf is a part of a plant used for absorbing sunlight to perform photosynthesis", "sent10": "if an organism uses a process to convert something to something else, then that something is required by that organism for that process", "sent11": "to cause means to be responsible for", "sent12": "a leaf performs photosynthesis", "sent13": "in the food chain process a green plant has the role of producer; primary producer", "sent14": "if something plays a large role in a process, then that something is required for that process", "sent15": "to be used for something means to be required by that something", "sent16": "photosynthesis makes food for the plant", "sent17": "if something has the role of raw material in a process then that something is required for that process", "sent18": "if something is required for a process then that something is used in that process", "sent19": "photosynthesis is a source of food for the plant by converting carbon dioxide, water, and sunlight into carbohydrates", "sent20": "if something is required for a process then that something is used for that process", "sent21": "if something causes a process then that something is required for that process", "sent22": "if a thing uses something that comes from a source then that thing uses the source of that something", "sent23": "green plants perform photosynthesis to provide food for themselves", "sent24": "photosynthesis is a source of; makes food; energy for the plant by converting carbon dioxide, water, and sunlight into carbohydrates", "sent25": "a leaf is a part of a plant"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent14 -> hypothesis", "score": 0.9661707878112793, "hypothesis": "chlorophyll is used for absorbing light energy by plants", "context": {"sent1": "absorbing is a kind of function", "sent2": "photosynthesis is a source of; makes food; energy for the plant by converting carbon dioxide, water, and sunlight into carbohydrates", "sent3": "photosynthesizing means performing photosynthesis", "sent4": "to absorb something can mean to take something in", "sent5": "take in means absorb", "sent6": "chlorophyll is a part of chloroplasts", "sent7": "light is a kind of energy", "sent8": "to take something in can mean to absorb something", "sent9": "sunlight is a kind of light", "sent10": "chlorophyll is used for absorbing light energy by plants", "sent11": "photosynthesis means green plants convert from solar energy into carbohydrates and food and oxygen", "sent12": "plants perform photosynthesis", "sent13": "photosynthesis means green plants convert solar energy to food", "sent14": "light is a kind of light energy", "sent15": "part means role", "sent16": "to absorb means to capture", "sent17": "photosynthesis means producers; green plants convert from carbon dioxide and water and solar energy into carbohydrates and food and oxygen for themselves", "sent18": "if something receives sunlight, it will absorb the sunlight", "sent19": "light is a kind of energy", "sent20": "purpose means role", "sent21": "sunlight is a kind of light", "sent22": "to be involved in something means to have a role in something", "sent23": "chlorophyll is a part of a plant used to perform photosynthesis", "sent24": "role means function", "sent25": "a green plant absorbs light"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent2 -> hypothesis", "score": 0.9425286054611206, "hypothesis": "an acorn may sprout when buried in soil", "context": {"sent1": "an acorn is a kind of seed", "sent2": "seeds may sprout when buried in soil", "sent3": "chance means likelihood", "sent4": "an example of seed dispersal is is an animal hiding; gathering; burying seeds", "sent5": "an animal is a kind of living thing", "sent6": "squirrels gather nuts", "sent7": "a squirrel is a kind of animal", "sent8": "animals are organisms", "sent9": "events occur at a specific place; at a specific time; with a specific frequency", "sent10": "an animal is a kind of organism", "sent11": "if a plant sprouts from a seed then that plant is born", "sent12": "may happen means having a chance of happening", "sent13": "an animal is a kind of living thing", "sent14": "sprouting means germinating", "sent15": "animal is a kind of organism", "sent16": "seeds sprouting causes plants to grow", "sent17": "an animal is a kind of thing", "sent18": "a squirrel is a kind of animal", "sent19": "a plant is a kind of organism", "sent20": "to happen means to occur", "sent21": "a living thing is an organism", "sent22": "animals are a kind of organism", "sent23": "an animal is a kind of organism", "sent24": "something that happens is a kind of event", "sent25": "a plant is a kind of organism"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent15 -> int1: energy for animals comes from food; sent3 & sent19 -> int2: an animal needs to eat food to get nutrients; int2 & 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; int1 & int7 -> hypothesis", "score": 0.744810163974762, "hypothesis": "energy for healing comes from food", "context": {"sent1": "a human is a kind of animal", "sent2": "eating;digestion is when an organism takes in nutrients from food into itself by eating", "sent3": "an animal needs to eat food for nutrients", "sent4": "eating food is used to get nutrients / energy by animals", "sent5": "eating food is used to get energy by animals", "sent6": "food is a source of energy for animals; plants", "sent7": "an animal requires food", "sent8": "tommy is a name for a human", "sent9": "to require something means to need something", "sent10": "something comes from a source of that something", "sent11": "where something comes from is a source of that something", "sent12": "food is what an animal eats", "sent13": "one can get something from a source", "sent14": "to repair means to heal", "sent15": "if something is a source of something else then that something else comes from that something", "sent16": "if something comes from something else then that something else is a source of that something", "sent17": "a human is a kind of animal", "sent18": "food is a source of energy for animals / plants", "sent19": "an animal needs to eat food for nutrients", "sent20": "healing requires rest; nutrients; energy", "sent21": "eating; taking in food is used to get nutrients;energy by animals; living things", "sent22": "food is a source of energy for animals", "sent23": "a cut is a kind of wound", "sent24": "if something comes from something else then that something else is a source of that something", "sent25": "food is a source of energy for living things"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent14 -> hypothesis", "score": 0.7760621309280396, "hypothesis": "leafy vegetables are a good source of minerals", "context": {"sent1": "an animal needs to eat food for nutrients", "sent2": "a vegetable is a kind of plant", "sent3": "a human is a kind of animal", "sent4": "food contains nutrients for living things", "sent5": "leafy vegetables are a good source of minerals", "sent6": "a human is a kind of animal", "sent7": "a vegetable is a kind of food", "sent8": "a human is a kind of organism", "sent9": "human is a kind of organism", "sent10": "having food has a positive impact on an organism's health", "sent11": "plants are a source of food for animals", "sent12": "mineral nutrient is a kind of nutrient", "sent13": "a vegetable is a kind of plant", "sent14": "an animal needs to eat food for nutrients", "sent15": "food contains nutrients", "sent16": "a source of something provides that something", "sent17": "humans are a kind of organism", "sent18": "some minerals are nutrients", "sent19": "to be good for means to have a positive impact on", "sent20": "a human is a kind of living thing", "sent21": "food contains nutrients for living things", "sent22": "eating leafy vegetables is important for human health", "sent23": "an animal requires enough nutrients to maintain good health; survive", "sent24": "some minerals are nutrients", "sent25": "to provide something means to be the source of that something"}, "proof_gt": ""}, {"proof_pred": "sent25 & sent2 -> int1: infection can cause throat tissues to swell; sent12 & int1 -> hypothesis", "score": 0.9532262682914734, "hypothesis": "the swelling of throat tissues is a kind of condition that can result from infection", "context": {"sent1": "due to means caused by", "sent2": "throat tissue is a kind of bodily tissue", "sent3": "if something is caused by something else then that something resulted from that something else", "sent4": "bacteria is a kind of pathogen sometimes", "sent5": "condition means the state of the property", "sent6": "an animal is a kind of living thing", "sent7": "a human is a kind of animal", "sent8": "bacteria sometimes cause disease", "sent9": "an animal is a kind of living thing", "sent10": "pathogens can cause disease", "sent11": "high is similar to increase", "sent12": "the swelling of bodily tissues is a kind of condition", "sent13": "if something causes something else then that something else is a result of that something", "sent14": "a human is a kind of living thing", "sent15": "increase means more", "sent16": "to produce means to result in", "sent17": "to cause means to result in", "sent18": "product means result", "sent19": "a human is a kind of animal", "sent20": "an impact is a kind of result", "sent21": "if something causes something else then that something results in that something else", "sent22": "microorganisms can cause infections", "sent23": "if something causes something else then that something else results from that something", "sent24": "infection often requires medical treatment", "sent25": "infection can cause bodily tissues to swell"}, "proof_gt": ""}, {"proof_pred": "sent7 & sent16 -> hypothesis", "score": 0.921096920967102, "hypothesis": "exercise can help a human maintain good health", "context": {"sent1": "poor health / bad health / unhealthy is the opposite of good health / healthy", "sent2": "having a positive impact on health; survival is synonymous with helping to keep healthy", "sent3": "humans are a kind of organism", "sent4": "exercise increases a body's strength", "sent5": "a human is a kind of animal", "sent6": "a person is a kind of living thing", "sent7": "exercise has a positive impact on a human's health", "sent8": "an animal is a kind of living thing", "sent9": "an animal is a kind of living thing", "sent10": "good means positive", "sent11": "a human is a kind of living thing", "sent12": "human is a kind of organism", "sent13": "poor health;bad health;unhealthy is the opposite of good health;healthy", "sent14": "exercise is a kind of physical activity", "sent15": "a human is a kind of organism", "sent16": "if something has a positive impact on health then that something can help to maintain good health", "sent17": "to be good for means to have a positive impact on", "sent18": "everyday means daily", "sent19": "exercise means physical fitness", "sent20": "exercise has a positive impact on a the strength of a body", "sent21": "a human is a kind of animal", "sent22": "daily means every day; once per day", "sent23": "exercising causes the body to become stronger", "sent24": "human is a kind of organism", "sent25": "being stronger usually has a positive impact on an organism's; living thing's health"}, "proof_gt": ""}, {"proof_pred": "sent14 & sent8 -> int1: the tundra is a kind of area; sent1 & int1 -> hypothesis", "score": 0.9129917621612549, "hypothesis": "a tundra is a kind of area that is usually very cold in temperature", "context": {"sent1": "the tundra environment usually is very cold in temperature", "sent2": "place means area", "sent3": "an environment is a kind of thing", "sent4": "if the environmental temperature; air temperature is too cold then an animal; a living thing in that environment may become cold", "sent5": "cold temperatures; cool temperatures cause animals to shiver", "sent6": "ice is cold in temperature", "sent7": "freezing means cold temperatures", "sent8": "an environment is a kind of area", "sent9": "area means a place", "sent10": "cold is a kind of weather", "sent11": "to lower means to decrease", "sent12": "cooling;colder means removing;reducing;decreasing heat;temperature", "sent13": "an environment is a kind of place", "sent14": "the tundra is a kind of environment", "sent15": "colder; cooler means lower in temperature", "sent16": "temperature; heat energy is a property of objects; weather and includes ordered values of cold; cool; warm; hot", "sent17": "ice is cold in temperature", "sent18": "cold environments have cold weather / temperatures", "sent19": "low is similar to decrease", "sent20": "an environment means an area", "sent21": "cold environments have cold temperatures / weather", "sent22": "if the environmental temperature is too cold then an animal in that environment may become cold", "sent23": "cold means low in temperature", "sent24": "cooler means colder", "sent25": "colder means lower in temperature"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent25 -> int1: a human is a kind of consumer; sent15 & sent20 -> int2: an animal has the role of consumer in the food chain process; int1 & int2 -> hypothesis", "score": 0.8187596797943115, "hypothesis": "in the food chain process a human has the role of consumer", "context": {"sent1": "a human is a kind of living thing", "sent2": "a seed is a part of a plant", "sent3": "a consumer is a kind of living thing", "sent4": "peas are a kind of plant", "sent5": "a human is a kind of organism", "sent6": "an animal is a kind of consumer", "sent7": "pea plants are a kind of living thing", "sent8": "humans sometimes eat seeds", "sent9": "a human is a kind of animal", "sent10": "a consumer is a kind of role in the food chain process", "sent11": "corn is a kind of seed", "sent12": "a consumer is a kind of organism", "sent13": "corn is a kind of plant", "sent14": "corn is a kind of plant", "sent15": "in the food chain process an animal has the role of consumer which eats other organisms for food", "sent16": "peas is a kind of seed", "sent17": "a consumer is a kind of organism", "sent18": "part means role", "sent19": "a human is a kind of animal", "sent20": "in the food chain process an animal has the role of consumer which eats producers;other animals for food", "sent21": "humans eat seeds", "sent22": "green plants provide food for themselves; animals; consumers by performing photosynthesis", "sent23": "a food web is made of organisms that consume other organisms; that produce their own food", "sent24": "food web is synonymous with food chain", "sent25": "an animal is a kind of consumer"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent19 -> hypothesis", "score": 0.9787566065788269, "hypothesis": "an eagle is a kind of carnivore", "context": {"sent1": "carnivores; omnivores; herbivores are a kind of animal", "sent2": "carnivores only eat animals", "sent3": "if an animal eats particles then that animal is a carnivore or omnivore or predator", "sent4": "an eagle is a kind of carnivore", "sent5": "a bird is a kind of animal", "sent6": "a bird is a kind of organism", "sent7": "hawks;eagles eat snakes;lizards; rats; rabbits; mice", "sent8": "eagles do not eat plants", "sent9": "a bird is a kind of living thing", "sent10": "predators; carnivores; omnivores eat other animals", "sent11": "an eagle is a kind of bird", "sent12": "hawks eat snakes / rats / rabbits", "sent13": "eagles eat rabbits", "sent14": "eagles eat fish", "sent15": "a predator is a kind of animal", "sent16": "animal is a kind of organism", "sent17": "an eagle is a kind of animal", "sent18": "owls eat other animals", "sent19": "carnivores are a kind of animal", "sent20": "a predator is a kind of animal", "sent21": "a predator eats other animals for food", "sent22": "food web is synonymous with food chain", "sent23": "a bird is a kind of animal", "sent24": "a predator is a kind of organism", "sent25": "eagles eat snakes / lizards / rats / rabbits / mice"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent23 -> int1: decomposition increases the amount of nutrients in soil; sent12 & sent22 -> int2: decomposers are kinds of organisms; int1 & int2 -> int3: decomposition increases the number of nutrients in soil; int3 & sent19 -> int4: decomposition causes fertile soil to have a high number of nutrients; sent10 & sent4 -> int5: a decomposer is a kind of organism that breaks down dead organisms; int5 & sent3 -> int6: bacteria is a kind of decomposer; int4 & int6 -> int7: bacteria causes fertile soil to have a high number of nutrients; int7 & sent5 -> int8: bacteria causes soil to become more fertile by breaking down dead organisms; sent8 & sent1 -> int9: plants and animals are made of plant matter; int9 & int8 -> hypothesis", "score": 0.8694229125976562, "hypothesis": "bacteria causes soil to become more fertile by breaking down dead plants and animals", "context": {"sent1": "plant and animal matter means organic matter", "sent2": "a bacterium is a kind of decomposer", "sent3": "a decomposer performs decomposition", "sent4": "a decomposer is usually a bacterium; fungus", "sent5": "fertility is a property of soil that describes how fertile the soil is", "sent6": "a bacterium is a kind of organism", "sent7": "bacteria is a kind of living thing", "sent8": "plants are made of plant matter", "sent9": "fertile soil is better for the growth of plants than non-fertile soil", "sent10": "decomposition is when a decomposer breaks down dead organisms", "sent11": "increase means more", "sent12": "a decomposer is a kind of organism", "sent13": "a microorganism is a kind of decomposer", "sent14": "in the food chain process bacteria have the role of decomposer", "sent15": "decomposition increases the amount of nutrients; nitrogen in the soil", "sent16": "as the amount of organic matter in soil increases , the soil will be better for the growth of plants", "sent17": "soil fertility means the ability of soil to sustain plant growth", "sent18": "a plant requires soil for to grow", "sent19": "fertile soil has a high number of nutrients", "sent20": "fertile topsoil; soil is high in organic matter level", "sent21": "more means an increase in the amount of something", "sent22": "decomposers are a kind of organism", "sent23": "decomposition increases amount of organic matter in soil", "sent24": "high is similar to increase", "sent25": "high quality; rich; good soil has a high number of nutrients; amount of nitrogen"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent10 -> int1: a plant requires fertile soil for survival; int1 & sent13 -> int2: fertile soil is important to plants; sent17 & int2 -> hypothesis", "score": 0.8896625638008118, "hypothesis": "plant decomposition is important for the formation of fertile soil", "context": {"sent1": "if something requires something else then that something else is important to that something", "sent2": "farming happens on a farm", "sent3": "high quality; rich; good soil has a high number of nutrients; amount of nitrogen", "sent4": "farming is when a human plants crops for food", "sent5": "dark means dark in color", "sent6": "farming is when a human plants crops for food", "sent7": "if the plant needs a type of soil to grow , then that type of soil will benefit the plant the most", "sent8": "a farmer farms crops; plants for food", "sent9": "if something has a positive impact on something else then that something is important to that something else", "sent10": "fertile soil has a high number of nutrients", "sent11": "fertile soil is better for the growth of plants than non-fertile soil", "sent12": "a cropland is a kind of farm", "sent13": "if something requires something else then that something else is important to that something", "sent14": "cropland is used for farming by humans", "sent15": "dark means dark in color", "sent16": "to be good for means to have a positive impact on", "sent17": "fertility is a property of soil that describes how fertile the soil is", "sent18": "if something is required for a process then that something positively impacts that process", "sent19": "farming happens on a farm", "sent20": "if something is required for a process then that something positively impacts that process", "sent21": "fertile topsoil; soil is high in organic matter level", "sent22": "a plant requires soil for survival; to grow", "sent23": "farming produces food", "sent24": "a farmer farms crops; plants for food", "sent25": "farming is a source of food"}, "proof_gt": ""}, {"proof_pred": "sent9 & sent15 -> int1: a farmer farms crops; sent16 & sent5 -> int2: negative impacts on animals have a negative impact on their populations; sent11 & sent19 -> int3: humans changing an ecosystem causes animal populations to decrease in that ecosystem; sent7 & sent12 -> int4: killing an animal has a negative impact on that animal's population; int4 & int2 -> int5: killing animals has a negative impact on their populations; sent4 & sent8 -> int6: a meadow is a kind of ecosystem; int5 & int5 -> int7: killing animals has a negative impact on animal populations; int7 & sent2 -> int8: negative impacts on animals have a negative impact on animal populations; int8 & sent21 -> int9: rabbits are a kind of animal that has a negative impact on their populations; int3 & int6 -> int10: humans changing a meadow causes rabbit populations to decrease in that meadow; int1 & sent3 -> int11: a farmer planting fruit trees in a meadow causes rabbit populations to decrease in that meadow; sent1 & int9 -> int12: rabbits have a negative impact on some meadows; int12 & sent14 -> int13: rabbits have a negative impact on some plants; int11 & int10 -> hypothesis", "score": 0.7737189531326294, "hypothesis": "humans / farmers planting fruit trees in a meadow causes rabbit populations to decrease in that meadow", "context": {"sent1": "some rabbits live in meadows", "sent2": "negative impacts on organisms; species will decrease the population of the organisms; the species", "sent3": "farmers plant fruit trees", "sent4": "a meadow is a kind of environment", "sent5": "negative impacts on organisms / species will decrease the population of the organisms / the species", "sent6": "harming an animal species has a negative impact on the population size of that species", "sent7": "killing a living thing decreases the number; population size of that living thing", "sent8": "a meadow is a kind of environment", "sent9": "a farmer farms crops; plants for food", "sent10": "as population of predators increases , the population of prey will decrease in an environment", "sent11": "humans changing ecosystems;environments usually has a negative impact on an ecosystem; organisms living in an ecosystem", "sent12": "harming an animal species has a negative impact on the population size of that species", "sent13": "as population of prey decreases , the population of predators will decrease", "sent14": "rabbits eat plants", "sent15": "a farmer farms crops; plants for food", "sent16": "harming an animal species causes that animal's population to decrease", "sent17": "a rabbit is a kind of animal", "sent18": "decreasing in population will cause the population to be low", "sent19": "humans changing an environment causes animal populations to decrease in that environment", "sent20": "farming decreases animal habitats", "sent21": "a rabbit is a kind of animal", "sent22": "to reduce means to decrease", "sent23": "a rabbit is a kind of mammal", "sent24": "decreasing in population can cause the population to be low", "sent25": "if the population of an animal decreases then the amount of that animal will decrease"}, "proof_gt": ""}, {"proof_pred": "sent20 & sent8 -> int1: if an animal eats other animals for food, then the animal will be the predator and the other animal will be the prey; int1 & sent22 -> int2: the animal that eats other animals will be the predator and the other animal will be the prey; sent25 & int2 -> hypothesis", "score": 0.9282413125038147, "hypothesis": "the robin is the predator and the cricket is the prey", "context": {"sent1": "a bird is a kind of animal", "sent2": "a robin is a kind of animal", "sent3": "a cricket is a kind of animal", "sent4": "a bird is a kind of organism", "sent5": "prey is a kind of food for predators", "sent6": "a bird is a kind of animal", "sent7": "to prey on an animal means to eat that animal", "sent8": "if an animal eats other animals for food , then the animal is the predator", "sent9": "a robin is a kind of bird", "sent10": "predators eat prey", "sent11": "a predator is a kind of animal", "sent12": "eating food requires catching food", "sent13": "if an animal is eaten by other animals , then the animal will be the prey", "sent14": "a bird is a kind of living thing", "sent15": "predators eat prey", "sent16": "an insect is a kind of animal", "sent17": "a predator eats other animals for food", "sent18": "prey is a kind of food for predators", "sent19": "eating prey requires catching prey", "sent20": "if an animal eats other animals for food , then the animal will be the predator", "sent21": "if an animal is eaten by other animals , then the animal will be the prey", "sent22": "if an animal eats other animals for food , then the animal will be the predator", "sent23": "a cricket is a kind of insect", "sent24": "a predator is a kind of animal", "sent25": "a robin eats a cricket"}, "proof_gt": ""}, {"proof_pred": "sent14 & sent10 -> int1: earthworms creating tunnels in soil loosen the soil; sent15 & int1 -> hypothesis", "score": 0.9524215459823608, "hypothesis": "earthworms creating tunnels has a positive impact on the growth of plant roots by loosening the soil", "context": {"sent1": "if something has a positive impact on a process then that something helps that process", "sent2": "something in the soil is located underground", "sent3": "plants are a kind of organism", "sent4": "roots grow into the dirt", "sent5": "helping means something can be done; completed more easily; better", "sent6": "better means good", "sent7": "having a positive impact on something helps that something", "sent8": "roots are a part of a plant", "sent9": "helping something has a positive impact on that something", "sent10": "tunnels in soil loosen that soil", "sent11": "helping means something can be done better", "sent12": "a plant is a kind of organism", "sent13": "a tunnel is a kind of hole", "sent14": "earthworms create tunnels in soil", "sent15": "the looseness of soil has a positive impact on a plant's roots' growth in that soil", "sent16": "an earthworm is a kind of animal", "sent17": "to improve means to have a positive impact", "sent18": "underground means under ground", "sent19": "helping something has a positive impact on that something", "sent20": "a plant is a kind of organism", "sent21": "a plant requires soil for survival; to grow", "sent22": "a worm is a kind of animal", "sent23": "to make something easier means to help", "sent24": "a worm is a kind of living thing", "sent25": "a plant requires soil for to grow"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent21 -> int1: water and rock are nonliving things; sent25 & sent15 -> int2: all living things require water for survival; int2 & sent1 -> int3: animals require water for survival; int3 & sent13 -> int4: an animal requires water for survival; int4 & sent6 -> int5: an animal requires water and rock for survival; int5 & int1 -> int6: water and rock and survival are nonliving things; sent18 & int6 -> hypothesis", "score": 0.5642303824424744, "hypothesis": "water and rock and sunlight are nonliving things", "context": {"sent1": "animals; living things require water for survival", "sent2": "animal is a kind of organism", "sent3": "a living thing is an organism", "sent4": "animals are organisms", "sent5": "an animal is a kind of organism", "sent6": "an animal is a kind of living thing", "sent7": "an animal is a kind of thing", "sent8": "nonliving; non-living; die is the opposite of living; alive; live", "sent9": "an animal is a kind of organism", "sent10": "sunlight means solar energy", "sent11": "all living things are organisms", "sent12": "water is a kind of nonliving thing", "sent13": "an animal is a kind of living thing", "sent14": "light is a kind of nonliving thing", "sent15": "a living things require water for survival", "sent16": "an organism is a living thing", "sent17": "an organism is a living thing", "sent18": "nonliving means not living", "sent19": "sunlight is a kind of solar energy", "sent20": "animals are a kind of organism", "sent21": "rock is a kind of nonliving thing", "sent22": "organisms are living things", "sent23": "living thing is a kind of organism", "sent24": "sunlight is a kind of solar energy", "sent25": "living things require water for survival"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent13 -> int1: a dissecting kit is used to study amphibian anatomy; sent9 & int1 -> hypothesis", "score": 0.9388791918754578, "hypothesis": "a dissecting kit is a kind of instrument that can be used to study amphibian anatomy", "context": {"sent1": "a frog is a kind of animal", "sent2": "if a unit for something is being measured, then it requires a measurement tool for measuring that something", "sent3": "a frog is a kind of animal", "sent4": "an animal is a kind of living thing", "sent5": "an animal is a kind of organism", "sent6": "a kit usually contains materials for assembling something", "sent7": "an amphibian is a kind of animal", "sent8": "animals are a kind of organism", "sent9": "a dissecting kit is a kind of instrument", "sent10": "an animal is a kind of living thing", "sent11": "instrument means tool", "sent12": "a dissecting kit is used to study anatomy", "sent13": "amphibian anatomy is a kind of anatomy", "sent14": "subunit is similar to unit", "sent15": "an animal is a kind of organism", "sent16": "anatomy studies the body structure of organisms", "sent17": "to study means to examine", "sent18": "animal is a kind of organism", "sent19": "a dissecting kit is used to dissecting; study anatomy", "sent20": "unit is similar to part", "sent21": "a frog is a kind of amphibian", "sent22": "animals are organisms", "sent23": "a dissecting kit contains scissors; forceps; scalpels", "sent24": "amphibian is a kind of taxonomic group of animals", "sent25": "tool means instrument"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent14 -> hypothesis", "score": 0.9444273710250854, "hypothesis": "a petri dish can be used to grow and study the bacteria in a controlled setting", "context": {"sent1": "studying is similar to investigating", "sent2": "bacteria is a kind of living thing", "sent3": "best means most positive", "sent4": "a microorganism is very small in size", "sent5": "bacteria grow in a bacterial culture", "sent6": "bacteria is small; microscopic in size", "sent7": "studying something usually requires seeing that something", "sent8": "a living thing is a kind of object", "sent9": "technology is similar to tool", "sent10": "a tool is a kind of object", "sent11": "tool means instrument", "sent12": "instrument means device", "sent13": "an organism is a living thing", "sent14": "growing bacteria in the lab is used to study the bacteria", "sent15": "better means good", "sent16": "a living thing is a kind of object", "sent17": "a petri dish is a kind of tool", "sent18": "a container is a kind of object", "sent19": "a petri dish in a lab is used to grow bacteria in a controlled setting", "sent20": "an organism is a living thing", "sent21": "instrument means tool", "sent22": "a bacterium is a kind of organism", "sent23": "to study means to examine", "sent24": "research is used for learning", "sent25": "a living thing is an organism"}, "proof_gt": ""}, {"proof_pred": "sent24 & sent8 -> hypothesis", "score": 0.9241299033164978, "hypothesis": "jumping to catch a ball is a kind of learned characteristic", "context": {"sent1": "learned characteristics are similar to acquired characteristics", "sent2": "a ball is a kind of object", "sent3": "an inherited characteristic is a kind of characteristic", "sent4": "an animal is a kind of thing", "sent5": "an instinctive behavior is a kind of inherited characteristic; behavioral adaptation", "sent6": "feature is synonymous with characteristic", "sent7": "trait is synonymous with characteristic", "sent8": "an example of playing with toys is jumping to catch a ball", "sent9": "learned behaviors are learned over the lifetime of the animal", "sent10": "a learned characteristic is a kind of acquired characteristic", "sent11": "skills are learned characteristics; behaviors", "sent12": "inherited characteristics are the opposite of learned characteristics", "sent13": "a ball is a kind of object", "sent14": "an instinctive behavior is a kind of inherited characteristic", "sent15": "a learned characteristic is a kind of characteristic of an animal", "sent16": "a behavior is a kind of characteristic", "sent17": "a dog is a kind of animal", "sent18": "if an animal is trained to do something then that something is a learned behavior", "sent19": "skills are learned characteristics", "sent20": "an animal is a kind of living thing", "sent21": "an inherited characteristic is a kind of characteristic", "sent22": "conditioned behavior is a kind of learned behavior", "sent23": "an animal is a kind of living thing", "sent24": "playing with toys is a learned characteristic", "sent25": "inherited characteristics are the opposite of learned characteristics; acquired characteristics"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.8781424760818481, "hypothesis": "a dog laying down on command is a learned characteristic", "context": {"sent1": "skills are learned characteristics; behaviors", "sent2": "learned characteristics are similar to acquired characteristics", "sent3": "learned behaviors are learned over the lifetime of the animal", "sent4": "an example of following orders is coming when called", "sent5": "inherited characteristics are the opposite of learned characteristics; acquired characteristics", "sent6": "an animal is a kind of thing", "sent7": "skills are learned characteristics", "sent8": "animals laying down on command is an example of animals following order", "sent9": "a dog is a kind of animal", "sent10": "if an animal is trained to do something then that something is a learned behavior", "sent11": "an animal is a kind of organism", "sent12": "following orders is a learned characteristic", "sent13": "a kind of something is an example of that something", "sent14": "conditioned behavior is a kind of learned behavior", "sent15": "laying down is a kind of action", "sent16": "a learned characteristic is a kind of characteristic of an animal", "sent17": "an animal is a kind of living thing", "sent18": "animals sitting on command is an example of animals following order", "sent19": "actions mean behavior", "sent20": "a learned characteristic is a kind of acquired characteristic", "sent21": "an animal is a kind of living thing", "sent22": "following an order means performing an action on command", "sent23": "social behavior is a kind of learned behavior", "sent24": "sitting is a kind of action", "sent25": "a behavior is a kind of characteristic"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent8 -> int1: hunting is when a human kills another animal to eat that animal; sent7 & int1 -> int2: hunting is an example of an instinctive behavior; sent17 & sent24 -> int3: acquired characteristics are the opposite of inherited characteristics; sent25 & sent13 -> int4: acquired characteristics are the opposite of an instinctive behavior; sent20 & int3 -> int5: an instinctive behavior is a kind of acquired characteristic; int2 & int4 & int5 -> hypothesis", "score": 0.7982181906700134, "hypothesis": "hunting is not an instinctive behavior", "context": {"sent1": "animal instinct means instinctive behavior", "sent2": "skills are learned characteristics", "sent3": "an instintctive behavior is similar to instinct", "sent4": "a learned characteristic is a kind of acquired characteristic", "sent5": "skills are learned characteristics; behaviors", "sent6": "a kind of something is an example of that something", "sent7": "hunting is when a human kills an animal for food / recreation in the wild", "sent8": "hunting is when an animal kills another animal to eat that animal", "sent9": "a learned characteristic is a kind of characteristic of an animal", "sent10": "hunting; scavenging is a kind of skill", "sent11": "a predator is a kind of animal", "sent12": "hunting is a kind of skill", "sent13": "an instinctive behavior is a kind of inherited characteristic; behavioral adaptation", "sent14": "trait is synonymous with characteristic", "sent15": "an animal knows how to do instinctive behaviors when it is born", "sent16": "hunting requires sensing prey", "sent17": "inherited characteristics are the opposite of learned characteristics; acquired characteristics", "sent18": "hunting requires seeing; sensing prey", "sent19": "hunting is a kind of action", "sent20": "an instinctive behavior is a kind of inherited characteristic", "sent21": "a predator is a kind of animal", "sent22": "learned characteristics are similar to acquired characteristics", "sent23": "hunting is when a human kills an animal for food; recreation in the wild", "sent24": "inherited characteristics are the opposite of learned characteristics", "sent25": "inherited characteristics are the opposite of acquired characteristics"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent15 -> int1: food preference is a kind of learned characteristics; sent10 & sent20 -> int2: learned characteristics are not inherited from parents; int2 & int1 -> hypothesis", "score": 0.8614993691444397, "hypothesis": "food preference is not inherited from parents", "context": {"sent1": "preferences are generally learned characteristics", "sent2": "a learned characteristic is a kind of acquired characteristic", "sent3": "a human is a kind of living thing", "sent4": "inheriting is when an inherited characteristic from parent to offspring", "sent5": "a human is a kind of animal", "sent6": "favorite means highest preference", "sent7": "inherited trait is a kind of genetic trait", "sent8": "genetic; hereditary means of genes; heredity", "sent9": "a learned characteristic is a kind of characteristic of an animal", "sent10": "inherited characteristics are the opposite of learned characteristics", "sent11": "inheriting is when an inherited characteristic is copied; is passed from parent to offspring by genetics;dna", "sent12": "heredity is similar to inheritance", "sent13": "an inherited characteristic is a kind of characteristic", "sent14": "trait is synonymous with characteristic", "sent15": "a food preference is a kind of preference", "sent16": "trait means property", "sent17": "inheriting is when an inherited characteristic is passed down from parent to offspring by genetics / dna", "sent18": "inherited characteristics are the opposite of acquired characteristics", "sent19": "an inherited characteristic is a kind of characteristic", "sent20": "inherited characteristics are the opposite of learned characteristics; acquired characteristics", "sent21": "inherited trait is similar to inherited characteristic", "sent22": "a human is a kind of animal", "sent23": "inheriting is when an inherited characteristic is passed from parent to offspring", "sent24": "learned characteristics are similar to acquired characteristics", "sent25": "some characteristics of animals are inherited"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent11 & sent3 -> int1: offspring inherit inherited characteristics from parents through dna; int1 & sent9 & sent10 -> int2: inherited characteristics are passed from parents to offspring by genetics; int2 & sent18 -> int3: inherited information is passed from parents to offspring by genetics; sent17 & sent25 -> int4: inherited characteristics are passed from parent to offspring by genetics; int4 & int3 -> int5: inherited information is passed from parents to offspring through genetics; int5 & sent18 -> hypothesis", "score": 0.8725125193595886, "hypothesis": "hereditary information is passed from parents to offspring through genes", "context": {"sent1": "genes contains genetic information", "sent2": "hereditary information is similar to genetic information", "sent3": "genes is a vehicle for passing inherited characteristics from parent to offspring", "sent4": "information in an organism's chromosomes cause genetic traits to be passed down to that organism's offspring", "sent5": "heredity is when genetic information is passed from one generation to the next", "sent6": "inherited trait is a kind of genetic trait", "sent7": "inherited characteristics are passed down from ancestor to descendant", "sent8": "genetic; hereditary means of genes; heredity", "sent9": "inheriting is when an inherited characteristic is passed from parent to offspring by dna", "sent10": "inheriting is when an inherited characteristic is passed from parent to offspring", "sent11": "dna are a vehicle for passing genes from parent to offspring", "sent12": "offspring inherit inherited characteristics from their parents through dna", "sent13": "heredity is similar to inheritance", "sent14": "inheriting is when an inherited characteristic from parent to offspring", "sent15": "trait is a kind of genetic information", "sent16": "offspring receive genes from their parents through sexual reproduction", "sent17": "inheriting is when an inherited characteristic is passed down from parent to offspring by genetics / dna", "sent18": "inherited characteristics are a kind of hereditary information", "sent19": "offspring receive genes from their parents through inheritence; dna; sexual reproduction", "sent20": "a gene is a kind of unit of hereditary information", "sent21": "to pass means to transfer", "sent22": "inheriting is when an inherited characteristic is copied; is passed from parent to offspring by genetics;dna", "sent23": "reproduction is when an organism passes genetic information from itself to its offspring", "sent24": "genes is a vehicle for passing genetic information from one generation to the next", "sent25": "inheriting is when an inherited characteristic is passed from parent to offspring by genetics / dna"}, "proof_gt": ""}, {"proof_pred": "sent13 & sent2 & sent20 -> int1: offspring inherit inherited characteristics from parents by genetics; sent16 & int1 -> int2: offspring inherit inherited characteristics from parents by genetics; sent12 & sent6 & sent14 -> int3: a child is a kind of young human offspring; sent9 & int2 -> int4: human offspring inherit inherited characteristics from parents by genetics; int3 & int4 -> int5: human offspring usually inherit inherited characteristics from parents by genetics; sent23 & sent8 -> int6: dna is a vehicle for passing genes from parent to offspring; int5 & int6 -> int7: human offspring receive genes from parents through dna; sent10 & sent3 & int7 -> int8: human offspring receive genes from parents through inheritance; sent17 & int8 -> int9: human offspring and parents are made of dna; int9 & sent5 -> int10: offspring and parents are made of dna; sent1 & sent21 -> int11: children usually have similar characteristics to their parents; int10 & sent24 -> int12: offspring and parents will have similar dna; int12 & int11 -> hypothesis", "score": 0.8228658437728882, "hypothesis": "children usually resemble parents", "context": {"sent1": "childern is similar to offspring", "sent2": "inheriting is when an inherited characteristic is passed from parent to offspring by genetics / dna", "sent3": "offspring receive genes from their parents through dna", "sent4": "inheriting is when an inherited characteristic is copied; is passed from parent to offspring by genetics;dna", "sent5": "offspring inherit inherited characteristics from their parents through dna", "sent6": "a child is a kind of young human offspring", "sent7": "resemble means similar characteristics", "sent8": "genes is a vehicle for passing inherited characteristics from parent to offspring", "sent9": "offspring inherit inherited characteristic from their parents", "sent10": "offspring receive genes from their parents through inheritence; dna; sexual reproduction", "sent11": "resemble means look like", "sent12": "a child is a kind of young human", "sent13": "inheriting is when an inherited characteristic from parent to offspring", "sent14": "a child is a kind of young human", "sent15": "genes are able to determine the inherited characteristics of a living thing", "sent16": "inheriting is when an inherited characteristic is passed down from parent to offspring by genetics / dna", "sent17": "genes are made of dna", "sent18": "genes are able to determine the inherited characteristics of a living thing", "sent19": "if two organisms are closely related to each other , then those two organisms will share similar dna", "sent20": "inheriting is when an inherited characteristic is passed from parent to offspring by dna", "sent21": "children; young is synonymous with offspring", "sent22": "genetic; hereditary means of genes; heredity", "sent23": "dna are a vehicle for passing genes from parent to offspring", "sent24": "if two organisms share similar dna, then those two organisms will have similar characteristics", "sent25": "inherited trait is a kind of genetic trait"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent15 & sent5 -> hypothesis", "score": 0.901258111000061, "hypothesis": "the researcher found a strand of dna", "context": {"sent1": "to carry something means to contain something", "sent2": "if something is made of something else, then that something contains at least one of that something else", "sent3": "thymine cannot be found in rna", "sent4": "if something is made of something / a material then that something contains that something / that material", "sent5": "a researcher found thymine in a strand of nucleic acid", "sent6": "chromosome is made of dna", "sent7": "thymine is a kind of nitrogenous base in dna", "sent8": "genes are made of dna", "sent9": "if something is made of something; a material then that something contains that something; that material", "sent10": "the sequence of nucleotides contains genetic information for the organism", "sent11": "to conclude means to make a conclusion", "sent12": "if something is made of something else then that something contains that something else", "sent13": "rna are found in the nucleus of the cell", "sent14": "rna is a kind of nucleic acid", "sent15": "thymine is found in dna", "sent16": "dna is a kind of molecule", "sent17": "to contain something means to include something", "sent18": "dna are found in the nucleus of the cell", "sent19": "rna often are made of one sequence of nucleotides", "sent20": "adenine; a is the complementary base of thymine; t in dna", "sent21": "virus is a kind of living thing", "sent22": "dna is a kind of nucleic acid", "sent23": "to be found in means to be contained in", "sent24": "to contain something means to have that something", "sent25": "dna are made of two sequences of nucleotides linked together"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent19 & sent14 -> int1: lions eating zebras is an example of an animal eating another animal; sent15 & sent1 -> int2: some animals eat other animals; int2 & int1 -> int3: lions eating zebras is an example of an animal eating other animals; sent13 & int3 -> hypothesis", "score": 0.8437240719795227, "hypothesis": "lions eating zebras is an example of inherited characteristic", "context": {"sent1": "predators eat prey", "sent2": "an instinctive behavior is a kind of inherited characteristic; behavioral adaptation", "sent3": "a lion is a kind of animal", "sent4": "an inherited characteristic is a kind of characteristic", "sent5": "a kind of something is an example of that something", "sent6": "an instinctive behavior is a kind of inherited characteristic", "sent7": "an inherited characteristic is a kind of characteristic", "sent8": "inherited characteristics are the opposite of learned characteristics; acquired characteristics", "sent9": "inherited characteristics are the opposite of learned characteristics", "sent10": "trait is synonymous with characteristic", "sent11": "inherited trait is a kind of genetic trait", "sent12": "the diet of an animal is an inherited characteristic", "sent13": "some characteristics of animals are inherited", "sent14": "lion eat zebras", "sent15": "predators eat prey", "sent16": "to prey on an animal means to eat that animal", "sent17": "species is an inherited characteristic", "sent18": "a predator eats other animals for food", "sent19": "a zebra is a kind of animal", "sent20": "inherited trait is similar to inherited characteristic", "sent21": "carnivores; omnivores; herbivores are a kind of animal", "sent22": "predators; carnivores; omnivores eat other animals", "sent23": "eating an animal; a plant means killing that animal; that plant", "sent24": "an animal is a kind of living thing", "sent25": "a lion is a kind of mammal"}, "proof_gt": ""}, {"proof_pred": "sent19 & sent12 -> int1: iron in contact with water and oxygen will cause rust; sent11 & int1 -> int2: iron rusting is a kind of chemical reaction; int2 & sent5 -> hypothesis", "score": 0.5840470790863037, "hypothesis": "iron rusting is a kind of chemical change", "context": {"sent1": "iron is a kind of metal", "sent2": "to become is similar to change into", "sent3": "rusting means forming rust", "sent4": "to become something is a kind of change", "sent5": "chemical reactions cause chemical change", "sent6": "a metal is a kind of element", "sent7": "a phase change is a kind of physical change", "sent8": "to categorize means to classify", "sent9": "chemical change is the opposite of physical change", "sent10": "iron is a kind of solid", "sent11": "rust is made of iron and oxygen", "sent12": "rusting is when iron chemically reacts with water and oxygen", "sent13": "metal rusts", "sent14": "rust forming is a kind of chemical change", "sent15": "a phase change is a kind of physical change", "sent16": "ferrous metals contain iron", "sent17": "an example of a physical change is a phase change", "sent18": "rust forming is a kind of chemical change", "sent19": "iron in contact with water and oxygen will rust", "sent20": "rusty means having rust", "sent21": "iron is a kind of solid", "sent22": "becoming is similar to changing", "sent23": "iron is a kind of metal", "sent24": "iron is a kind of mineral", "sent25": "iron is a kind of element"}, "proof_gt": ""}, {"proof_pred": "sent16 & sent1 -> int1: combining baking soda and vinegar is combining two substance together; sent20 & int1 -> hypothesis", "score": 0.9307555556297302, "hypothesis": "combining baking soda and vinegar can cause chemical reactions", "context": {"sent1": "vinegar is a kind of substance", "sent2": "chemical reactions cause new substances to form", "sent3": "material means substance", "sent4": "a chemical is a kind of substance", "sent5": "a compound is made of two or more elements chemically combined", "sent6": "vinegar is a kind of liquid", "sent7": "baking soda can react chemically with vinegar", "sent8": "combining; mixing two substances chemically causes chemical reactions", "sent9": "if something is formed from a material then that something is made of that material", "sent10": "if a material; a substance is a mixture of two or more materials or substances then that material; substance is made; is formed; contains those materials; substances", "sent11": "if something is formed by a material changing then that something is formed from that material", "sent12": "a compound is a kind of material", "sent13": "baking soda can react chemically with vinegar producing carbon dioxide", "sent14": "chemical reactions cause different substances to form", "sent15": "chemical changes cause different substances to form", "sent16": "baking soda is a kind of substance", "sent17": "a compound is a kind of substance", "sent18": "chemical reactions releasing new substances means chemical reactions forming new substances", "sent19": "to be made of something means to be formed of that something", "sent20": "combining two substances chemically causes chemical reactions", "sent21": "baking soda is a kind of solid", "sent22": "a compound is a kind of substance", "sent23": "chemicals means substances", "sent24": "chemical reactions cause new substances; different substances to form", "sent25": "chemical reactions cause new materials to form"}, "proof_gt": ""}, {"proof_pred": "sent15 & sent24 -> int1: ice is a solid in state; sent22 & sent9 -> int2: water is a liquid in state; sent23 & sent14 -> int3: water melting means water changes from a solid into a liquid by increasing heat energy; int2 & int3 & int1 -> int4: ice melting means ice changes from a solid state to a liquid state; sent16 & sent5 -> int5: ice melting is a kind of phase change; int5 & sent1 -> hypothesis", "score": 0.784436047077179, "hypothesis": "ice melting is a kind of physical change", "context": {"sent1": "a phase change is a kind of physical change", "sent2": "an example of a physical change is a phase change", "sent3": "liquid is a kind of state of matter", "sent4": "a kind of something is an example of that something", "sent5": "melting is a kind of phase change", "sent6": "a phase change is when matter; a substance changes from one state of matter into another state of matter", "sent7": "melting is when solids are heated above their melting point", "sent8": "if a thing's physical properties change then it has undergone a physical change", "sent9": "water is a kind of liquid", "sent10": "if something undergoes a physical change then the physical properties of that something will change", "sent11": "liquid is a kind of state of matter", "sent12": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c", "sent13": "if something undergoes a physical change then the physical properties of that something will change", "sent14": "melting means substance changes from a solid into a liquid by increasing heat energy", "sent15": "ice is a kind of solid", "sent16": "a phase change is when a substance changes from one state of matter into another state of matter", "sent17": "water is in the solid state , called ice", "sent18": "phase changes are a kind of physical change", "sent19": "water is in the solid state , called ice , for temperatures between -273 and 0 c", "sent20": "water is a kind of liquid at room temperature", "sent21": "melting means matter; a substance changes from a solid into a liquid by increasing heat energy", "sent22": "water is a kind of liquid at room temperature", "sent23": "melting means a substance changes from a solid into a liquid by increasing heat energy", "sent24": "ice is a kind of solid", "sent25": "a phase change is a kind of physical change"}, "proof_gt": ""}, {"proof_pred": "sent25 & sent24 -> hypothesis", "score": 0.7944183349609375, "hypothesis": "lemon juice is sour in taste", "context": {"sent1": "corrosive substance can cause harm to the eyes", "sent2": "an acid is corrosive", "sent3": "lemon juice changes the color of litmus paper from blue to red", "sent4": "an acid changes the color of litmus paper from blue to red", "sent5": "tasting bad is a kind of negative effect", "sent6": "a lemon is a kind of fruit", "sent7": "lemon juice contains acid", "sent8": "color is a property of a substance", "sent9": "acids are corrosive", "sent10": "red is a kind of color", "sent11": "a base changes the color of litmus paper from red to blue", "sent12": "lemon juice is a kind of substance", "sent13": "to belong to a class means to be a kind of something", "sent14": "an indicator is made of litmus paper", "sent15": "lemon juice is corrosive", "sent16": "juice is a kind of liquid", "sent17": "a kind of something is classified as that something", "sent18": "a class of something means a type of something", "sent19": "classifying means grouping objects; materials by their properties", "sent20": "acid is a kind of substance", "sent21": "acidity is a property of chemicals; substances and includes ordered values of basic; neutral; acidic", "sent22": "to categorize means to classify", "sent23": "taste is a property of an object", "sent24": "lemon juice is a kind of acid", "sent25": "an acid is often sour in taste"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent4 -> int1: protons and neutrons are a part of the core of an atom; int1 & sent17 -> int2: an atom is made of a core of protons and neutrons and electrons; sent15 & int2 -> hypothesis", "score": 0.8878602385520935, "hypothesis": "an atom is made of a core of protons and neutrons surrounded by electrons", "context": {"sent1": "neutrons are a kind of subatomic particle", "sent2": "protons; neutrons are formed by nuclear fusion", "sent3": "the nucleus is the core of an atom", "sent4": "the nucleus is made of neutrons and protons", "sent5": "the nucleus of an atom is surrounded by almost empty space", "sent6": "an atom is a kind of particle", "sent7": "electrons surround the nucleus of an atom", "sent8": "the nucleus of an atom is made of protons and neutrons", "sent9": "nucleus is synonymous with core; center", "sent10": "an electron is a kind of charged particle", "sent11": "electrons surround; orbit the nucleus of an atom", "sent12": "nucleus is surrounded by almost empty space in an atom", "sent13": "neutrons are a kind of subatomic particle", "sent14": "the structure of an atom is made of a massive nucleus surrounded by electrons", "sent15": "electrons are a part of an atom", "sent16": "the nucleus is the core; center of an atom", "sent17": "an atom is made of protons, neutrons, and electrons", "sent18": "an atom is made of protons; neutrons; electrons", "sent19": "atoms are made of particles", "sent20": "being around something means surrounding that something", "sent21": "neutrons are a part of the nucleus", "sent22": "atom is a kind of particle", "sent23": "atom is a kind of particle", "sent24": "the nucleus of an atom is usually made of both protons and neutrons", "sent25": "protons are found in the nucleus of an atom"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent24 -> int1: an atom is made of protons; sent11 & int1 -> int2: protons are a part of an atom; sent3 & sent9 -> int3: atomic number is used to describe the proton number of an element; int3 & sent20 -> int4: atomic number is only determined by the proton number of an atom; sent10 & sent4 -> int5: atomic number is only determined by the proton number of an element; int5 & int4 -> int6: the atomic number of an atom is only determined by the proton number of that atom; int6 & int2 -> int7: the proton number of an atom will change; sent22 & int7 -> hypothesis", "score": 0.8515843749046326, "hypothesis": "the atomic number of the atom will change", "context": {"sent1": "to change means to cause a change", "sent2": "proton is a kind of subatomic particle", "sent3": "atomic number is used to describe the proton number of an element", "sent4": "one is a kind of number", "sent5": "an atom is made of protons; neutrons; electrons", "sent6": "to add means to increase", "sent7": "atomic number is a property of elements", "sent8": "to cause means to result in", "sent9": "atomic number is used to describe the proton number of an atom", "sent10": "atomic number is only determined by the number of proton of an element", "sent11": "a proton is a part of an atom; an element", "sent12": "amount is similar to number", "sent13": "an increase is a kind of change", "sent14": "proton is a kind of subatomic particles", "sent15": "atomic means of the atom", "sent16": "to be formed by is to be the result of", "sent17": "an atom is a kind of object", "sent18": "an increase is a kind of change", "sent19": "to add something means to increase something", "sent20": "atomic number is determined by the proton number of an atom", "sent21": "an atom is a kind of object", "sent22": "adding one proton to an atom changes the proton number of the atom", "sent23": "protons are found in the nucleus of an atom", "sent24": "an atom is made of protons, neutrons, and electrons", "sent25": "adding something is a kind of change"}, "proof_gt": ""}, {"proof_pred": "sent21 & sent25 -> hypothesis", "score": 0.9745096564292908, "hypothesis": "most of the mass of an atom is located in the nucleus", "context": {"sent1": "the nucleus is the center of an atom", "sent2": "the mass of the atom is determined by protons and neutrons", "sent3": "if something is found in some place , then that something is concentrated in that place", "sent4": "nucleus is synonymous with core; center", "sent5": "the nucleus is the core of an atom", "sent6": "if something is a part of something then that something can be found in that something", "sent7": "the nucleus of an atom is made of protons and neutrons", "sent8": "place is synonymous with location", "sent9": "if something is located in somewhere , then something can be found in somewhere", "sent10": "atomic means of the atom", "sent11": "located means situated", "sent12": "the nucleus is the core; center of an atom", "sent13": "found in means existing in", "sent14": "contains means located in", "sent15": "ninety-nine percent is similar to most", "sent16": "protons are found in the nucleus of an atom", "sent17": "an atom is a kind of object", "sent18": "mass is a measure of the amount of matter in an object", "sent19": "the nucleus is made of neutrons and protons", "sent20": "to be found in means to be contained in", "sent21": "most of the mass of an atom is located in the nucleus", "sent22": "matter is made of atoms", "sent23": "an atom is a kind of object", "sent24": "nucleus is a part of an atom", "sent25": "an atom is made of protons; neutrons; electrons"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent2 -> int1: an atom is made of protons, neutrons, and electrons; sent3 & sent16 -> int2: the nucleus of an atom is surrounded by almost empty space; int2 & sent22 -> int3: the nucleus of an atom is surrounded by mostly empty space; int1 & sent24 -> int4: an atom's nucleus is made of protons and neutrons; int3 & int4 -> int5: an atom's nucleus is surrounded by mostly empty space; int5 & sent19 -> int6: an atom's core is surrounded by mostly empty space; sent25 & sent20 -> int7: an atom is positve 1 in electric charge; int7 & int6 -> hypothesis", "score": 0.8893658518791199, "hypothesis": "an atom has a positive core surrounded by mostly empty space", "context": {"sent1": "a proton has a positive 10 electric charge", "sent2": "an atom is made of protons; neutrons; electrons", "sent3": "the nucleus of an atom is made of protons and neutrons", "sent4": "an atom is a kind of object", "sent5": "an atom is a kind of object", "sent6": "nucleus is synonymous with core; center", "sent7": "a structure of something is synonymous with a part of that something", "sent8": "the nucleus is the core; center of an atom", "sent9": "the structure of an atom is made of a massive nucleus surrounded by electrons", "sent10": "an ion atom has a positive or negative electric charge", "sent11": "being around something means surrounding that something", "sent12": "the nucleus is the center of an atom", "sent13": "electrons surround; orbit the nucleus of an atom", "sent14": "a proton is a part of an atom; an element", "sent15": "a proton has a positive (+1) electrical charge", "sent16": "nucleus is surrounded by almost empty space in an atom", "sent17": "the nucleus of an atom is usually made of both protons and neutrons", "sent18": "electrons surround the nucleus of an atom", "sent19": "the nucleus is the core of an atom", "sent20": "positive charge is a kind of electric charge", "sent21": "protons are found in the nucleus of an atom", "sent22": "the nucleus of an atom is surrounded by almost empty space", "sent23": "an atom is made of protons, neutrons, and electrons", "sent24": "the nucleus is made of neutrons and protons", "sent25": "an atom is positive 1 in electric charge"}, "proof_gt": ""}, {"proof_pred": "sent23 & sent8 -> int1: an electron is a kind of negatively charged particle; int1 & sent24 -> int2: an electron is a kind of smallest particle in an atom; sent14 & int2 & sent1 -> int3: electrons are the smallest particles in atom; sent22 & sent12 & sent2 -> int4: electrons orbit the nucleus of the atom; int4 & int3 -> hypothesis", "score": 0.6350504755973816, "hypothesis": "the smallest, negatively-charged particles in the atom orbit the nucleus of the atom", "context": {"sent1": "an atom is exceptionally small in size", "sent2": "electrons orbit the nucleus of an atom", "sent3": "atoms are made of particles", "sent4": "a electron has a negative -10 electric charge", "sent5": "nucleus is a part of an atom", "sent6": "an atom is a kind of object", "sent7": "the nucleus is the center of an atom", "sent8": "an electron has a negative -1 electric charge", "sent9": "an atom is a kind of object", "sent10": "electrons are located on the orbitals in an atom", "sent11": "atom is a kind of particle", "sent12": "electrons surround; orbit the nucleus of an atom", "sent13": "atom is a kind of particle", "sent14": "electron is the smallest particle in an atom", "sent15": "an ion atom has a positive or negative electric charge", "sent16": "the atom is the smallest unit; particle that has the properties of an element", "sent17": "the nucleus is the core; center of an atom", "sent18": "revolving around something means orbiting that something", "sent19": "found in means existing in", "sent20": "revolving around means orbiting", "sent21": "an atom is a kind of particle", "sent22": "electrons surround the nucleus of an atom", "sent23": "a electron has a negative (-1) electric charge", "sent24": "an electron is a kind of charged particle", "sent25": "to be found in means to be contained in"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent4 -> hypothesis", "score": 0.9283495545387268, "hypothesis": "electrons are part of an atom that take up the majority of the volume in an atom", "context": {"sent1": "an atom is made of protons; neutrons; electrons", "sent2": "an atom is a kind of particle", "sent3": "electrons take up the majority of the volume of an atom", "sent4": "electrons are a part of an atom", "sent5": "matter is made of atoms", "sent6": "volume is a property of objects", "sent7": "majority means over 50% of something", "sent8": "an object is made of its parts", "sent9": "an electron is a kind of charged particle", "sent10": "to take up is similar to occupy", "sent11": "the volume of something describes the amount of something", "sent12": "an atom is a kind of object", "sent13": "an atom is a kind of object", "sent14": "the majority of is similar to the largest amount", "sent15": "matter; materials; substances are made of atoms; particles", "sent16": "size; amount of space means volume", "sent17": "electron is the smallest particle in an atom", "sent18": "atomic means of the atom", "sent19": "an electron is a kind of subatomic particle", "sent20": "atom is a kind of particle", "sent21": "volume is similar to amount", "sent22": "an atom is made of protons, neutrons, and electrons", "sent23": "volume is a property of matter", "sent24": "atom is a kind of particle", "sent25": "atoms are made of particles"}, "proof_gt": ""}, {"proof_pred": "sent24 & sent2 -> hypothesis", "score": 0.9421072006225586, "hypothesis": "particles in a liquid are closer together and slower than particles in a gas", "context": {"sent1": "as the temperature increases, the particles in the matter will move faster and farther apart", "sent2": "particles in a liquid are closer together than particles in a gas", "sent3": "near; close is the opposite of far; away", "sent4": "particles in gas are the farthest away from each other among gas, liquid, and solid state of matter", "sent5": "particles in a solid are slower than particles in a liquid", "sent6": "as the temperature of a substance; an object decreases , the molecules in that substance will move slower; closer", "sent7": "fast is the opposite of slow", "sent8": "close means low in distance", "sent9": "lower is similar to decreasing", "sent10": "if the particles are farther away from each other, then the vibrations of particles will spread slower", "sent11": "liquid is a kind of state of matter", "sent12": "reducing is similar to slowing", "sent13": "as the temperature of a substance decreases , the molecules in that substance will move slower and closer together", "sent14": "closer means lower; less; a decrease in distance", "sent15": "particles in solid are closest to each other among gas, liquid, and solid state of matter", "sent16": "if the particles are closer to each other, then the vibrations of particles will travel faster", "sent17": "particles in a solid are closer together than particles in a liquid", "sent18": "slowest means lowest in speed", "sent19": "liquid is a kind of state of matter", "sent20": "particles in a liquid are close to each other", "sent21": "matter; materials; substances are made of atoms; particles", "sent22": "slowly is similar to decreased rate", "sent23": "to slow; to slow down decreases speed", "sent24": "particles in a liquid are slower than particles in a gas", "sent25": "near means close"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent8 -> int1: fire causes wood to burn; sent20 & int1 & sent3 -> int2: wood burning converts chemical energy into thermal energy; sent14 & int2 -> hypothesis", "score": 0.8373635411262512, "hypothesis": "the chemical energy in wood is transformed into thermal energy", "context": {"sent1": "burning is similar to combustion", "sent2": "heat is a kind of energy", "sent3": "wood burns", "sent4": "if something is converted into something else then that something is turned into that something else", "sent5": "if a process converts something into something else then that something is used in that process", "sent6": "if a process converts something to something else, then that process is a source of that something else", "sent7": "to convert means to change", "sent8": "fire causes burning", "sent9": "if a process converts something into something else, then that process is a source of that something else", "sent10": "heat is a kind of heat energy", "sent11": "fire causes burning", "sent12": "if a thing converts something into something else then that thing uses that something", "sent13": "energy transformation means one kind of energy changes into another kind of energy", "sent14": "to convert something into something else means to turn something into someting else", "sent15": "to transform means to convert", "sent16": "energy transformation means energy conversion", "sent17": "to combust means to catch fire", "sent18": "fire gives off light; heat; smoke", "sent19": "if a process converts something into something else then that process is a source of that something else", "sent20": "burning converts chemical energy into thermal energy", "sent21": "a flame are a part of a fire", "sent22": "combustion means fire converts chemical energy into light energy and heat energy", "sent23": "fire causes burning on objects", "sent24": "a flame are a part of a fire", "sent25": "energy conversion is similar to energy transformation"}, "proof_gt": ""}, {"proof_pred": "sent25 & sent22 & sent9 -> hypothesis", "score": 0.8877094984054565, "hypothesis": "oxygen combining with hydrogen will form water", "context": {"sent1": "water contains dissolved oxygen", "sent2": "combining two substances chemically causes chemical reactions", "sent3": "gas is a kind of substance", "sent4": "a liquid is a kind of substance", "sent5": "water is a kind of substance", "sent6": "water is a kind of substance", "sent7": "water is a kind of liquid", "sent8": "oxygen is a kind of element", "sent9": "water is made of hydrogen and oxygen chemically combined", "sent10": "hydrogen is a pure substance", "sent11": "water is the solvent", "sent12": "an element is a kind of substance", "sent13": "a liquid is a kind of substance", "sent14": "an element is a kind of substance", "sent15": "oxygen is a kind of gas at room temperature", "sent16": "combining; mixing two substances chemically causes chemical reactions", "sent17": "chemical reactions cause new substances to form", "sent18": "a chemical is a kind of substance", "sent19": "chemical reactions cause new substances; different substances to form", "sent20": "oxygen is a kind of gas", "sent21": "oxygen is a kind of element", "sent22": "oxygen combines with hydrogen", "sent23": "to add means to combine", "sent24": "gas is a kind of substance", "sent25": "water is made of hydrogen and oxygen"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent22 -> int1: an atom is a kind of smallest particle; sent24 & sent13 -> int2: aluminum is a kind of element; int2 & sent12 & int1 -> hypothesis", "score": 0.8575828075408936, "hypothesis": "aluminum atom is the smallest particle that has the properties of aluminum", "context": {"sent1": "an atom is a kind of particle", "sent2": "to retain means to remain", "sent3": "to retain means to have", "sent4": "an element is a kind of material", "sent5": "atom is a kind of particle", "sent6": "a metal is a kind of element", "sent7": "an atom is a kind of object", "sent8": "an atom is exceptionally small in size", "sent9": "aluminum is a kind of material", "sent10": "aluminum is a kind of matter", "sent11": "the atom is the smallest unit; particle that has the properties of an element", "sent12": "the atom is the smallest particle that has the properties of an element", "sent13": "aluminum is a kind of metal", "sent14": "an element is made of one kind of atoms", "sent15": "an element is a kind of atom", "sent16": "an element is a kind of material", "sent17": "a molecule is a kind of particle", "sent18": "a particle is a kind of object", "sent19": "to retain means to not change", "sent20": "an atom is a kind of object", "sent21": "atoms are made of particles", "sent22": "atom is a kind of particle", "sent23": "matter; materials; substances are made of atoms; particles", "sent24": "aluminum is a kind of element", "sent25": "an element is made of one kind of atoms"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent12 -> int1: the periodic table of elements can be used to determine the properties of an element; sent16 & int1 -> hypothesis", "score": 0.930726945400238, "hypothesis": "the periodic table of elements is the model that can be used to determine the properties of elements", "context": {"sent1": "the periodic table is arranged in rows and columns", "sent2": "according to is similar to be determined by", "sent3": "if something can be used to determine a property of something else then that something can likely be used to determine that property of a part of that something else", "sent4": "determining often requires measuring; observing", "sent5": "scientists make observations", "sent6": "identifying is similar to determining", "sent7": "determining is similar to learning", "sent8": "what something is made of is a property of that something", "sent9": "a scientist is a kind of human", "sent10": "the order of the elements in periodic table is determined by the atomic number of the elements", "sent11": "a table is a kind of object", "sent12": "the periodic table of elements can be used for predicting; determining the properties of an element", "sent13": "the periodic table is a table displays elements", "sent14": "an element is made of one kind of atoms", "sent15": "an element is made of one kind of atoms", "sent16": "a periodic table is a kind of scientific model", "sent17": "an element is a kind of atom", "sent18": "determining something often requires measuring that something", "sent19": "if something is a property of something else then that something else determines that something", "sent20": "a chemical property is a kind of property", "sent21": "determine is similar to cause", "sent22": "the periodic table is systematically organized according to the structure of the atoms of the elements", "sent23": "hydrogen is a kind of element", "sent24": "an object has properties", "sent25": "a group; family in the periodic table means a column in the periodic table"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent17 -> int1: water is a liquid in the room temperature; int1 & sent8 & sent19 -> int2: water is in liquid state at room temperature; sent20 & int2 & sent16 -> int3: water is in liquid state at room temperature; sent22 & sent10 & sent3 -> int4: water will be in gas state when temperature is 120 c; sent14 & sent2 & sent9 -> int5: water will be in water vapor state when temperature is 120 c; sent1 & int4 & int5 -> hypothesis", "score": 0.8331800699234009, "hypothesis": "the water will be water vapor when the temperature is 120 c", "context": {"sent1": "the temperature is 120 c", "sent2": "water is in the gas state , called water vapor; steam , for temperatures between 373; 212; 100 and 100000000000 k; f; c", "sent3": "water is in the gas state , called water vapor, for temperatures above 100 c", "sent4": "water vapor is a kind of gas", "sent5": "vapor is synonymous with gas", "sent6": "evaporation means a substance changes from a liquid into a gas by increasing heat energy", "sent7": "boiling;evaporation means matter; a substance changes from a liquid into a gas by increasing heat energy", "sent8": "water is a kind of liquid", "sent9": "water is in the gas state , called water vapor", "sent10": "water is in the gas state , called water vapor / steam", "sent11": "water is a kind of liquid at room temperature", "sent12": "state means form", "sent13": "steam;water vapor is a kind of water above 100 degrees celsius", "sent14": "water vapor is water in gas state", "sent15": "water is in the gas state , called water vapor / steam , for temperatures between 373 / 212 / 100 and 100000000000 k / f / c", "sent16": "water is in the liquid state , called liquid water , for temperatures between 0 and 100 c", "sent17": "water is a kind of liquid at room temperature", "sent18": "water exists in liquid;solid;gas state on earth", "sent19": "water is in the liquid state , called liquid water , for temperatures between 0 c and 100 c", "sent20": "water is in the liquid state , called liquid water , for temperatures between 273; 32; 0 and 373; 212; 100 k; f; c", "sent21": "water is in the liquid state, called water", "sent22": "water is in the gas state , called water vapor / steam, for temperatures above 100 c", "sent23": "water is in the liquid state , called liquid water", "sent24": "water vapor is formed by water evaporating", "sent25": "a state of something is a form of something"}, "proof_gt": ""}, {"proof_pred": "sent17 & sent18 -> int1: fire causes a candle to burn; int1 & sent9 -> int2: a lit candle on fire causes the candle to burn; sent6 & sent16 -> int3: fire causes burning on candles; sent8 & sent21 -> int4: the lit candle is left out in the open; int3 & int2 & int4 -> int5: the candle left out in the open causes the candle to burn; sent19 & sent24 -> int6: a candle gives off light when it is burned; int6 & int5 -> int7: the candle left out in the open is a source of light; int7 & sent13 -> int8: the candle left out in the open emits light; sent20 & sent7 -> int9: as the amount of oxygen exposed to a fire increases, the fire will burn longer; int9 & sent2 -> int10: a fire that requires oxygen to burn will burn longer; sent16 & sent5 -> int11: a lit candle is a kind of object; sent10 & int11 -> int12: lighting a candle causes the candle to burn; int12 & int8 -> int13: the candle left out in the open burns; int13 & int10 -> hypothesis", "score": 0.8520063757896423, "hypothesis": "the candle left out in the open stay burning the longest", "context": {"sent1": "burning is similar to combustion", "sent2": "a fire requires oxygen to burn", "sent3": "a flame are a part of a fire", "sent4": "a lit candle converts chemical energy into light energy; heat energy", "sent5": "a lit candle is covered in a large jar", "sent6": "fire causes burning on objects", "sent7": "as the amount of oxygen exposed to a fire increases the fire will burn longer", "sent8": "if something is left out in the open then that something is exposed to oxygen", "sent9": "a lit candle is on fire", "sent10": "lighting a candle causes that candle to burn", "sent11": "the fourth lit candle is placed in a vaccum", "sent12": "to illuminate means to light up", "sent13": "a source of something emits; produces; generates; provides that something", "sent14": "light can travel through a vacuum", "sent15": "a lit candle is covered in a small jar", "sent16": "a candle is a kind of object", "sent17": "fire causes burning", "sent18": "fire causes burning", "sent19": "fire gives off light; heat; smoke", "sent20": "as the amount of oxygen exposed to a fire increases, the fire will burn more", "sent21": "a lit candle is left out in the open", "sent22": "to combust means to catch fire", "sent23": "out is synonymous with outside", "sent24": "a candle is a source of light when it is burned", "sent25": "combustibility means the ability of combustion"}, "proof_gt": ""}, {"proof_pred": "sent16 & sent1 -> int1: a glass thermometer is made of alcohol in a tube; int1 & sent3 -> int2: the alcohol liquid in the tube is heated; sent14 & sent24 -> int3: if a material is heated, then the material will expand; int3 & sent20 -> int4: as the alcohol liquid in the tube expands, the height of the alcohol liquid in the tube will increase; sent8 & int4 & int2 -> int5: the alcohol liquid in the tube will expand; int5 & sent5 -> int6: the alcohol liquid will expand when heated; int6 & sent18 -> int7: the height of the alcohol liquid will change when heated; sent4 & sent19 -> int8: an increase in temperature is a kind of change; int7 & int8 -> hypothesis", "score": 0.8633705973625183, "hypothesis": "the height of the alcohol liquid changes because alcohol is heated", "context": {"sent1": "alcohol is a kind of liquid", "sent2": "as heat increases , a flexible container containing gas will expand", "sent3": "alcohol is a kind of liquid", "sent4": "an increase is a kind of change", "sent5": "liquids expand more than solids when heated", "sent6": "increase means more", "sent7": "a thermometer is used to measure temperature", "sent8": "increasing heat causes thermal expansion", "sent9": "height is a property of the size of an object", "sent10": "contract is the opposite of expand", "sent11": "rising means moving upward", "sent12": "falling means height decreases", "sent13": "rising means height; altitude increases", "sent14": "if a material is heated , then the material will expand", "sent15": "if something is exposed to air, then that something is in contact with air", "sent16": "a glass thermometer is made of colored alcohol in a tube", "sent17": "expand means increase in size", "sent18": "expand is a kind of change", "sent19": "an increase is a kind of change", "sent20": "as the liquid in a tube expands , the height of the liquid in that tube will increase", "sent21": "if gas is heated then that gas will expand; rise", "sent22": "being on something; placed in something; placed over something means touching that something", "sent23": "a thermometer is used to measure temperature of substance", "sent24": "if a material is heated , then the material will expand", "sent25": "greater means higher; more in value"}, "proof_gt": ""}, {"proof_pred": "sent22 & sent5 -> int1: a balance is an instrument for measuring the mass of an object; int1 & sent15 & sent4 -> int2: a balance is an instrument used to measure the mass of an object; sent6 & sent21 -> int3: determining the mass of an object requires measuring that object; int3 & int2 -> int4: determining the mass of an object requires using a balance; sent16 & sent18 -> int5: a balance is used to measure the mass of a substance; sent14 & int5 -> int6: a balance can measure the mass of a liquid; int6 & sent7 -> int7: a balance is an instrument used to measure the mass of a liquid; sent11 & int7 -> int8: a balance is an instrument used to measure the mass of a substance; int4 & int8 -> hypothesis", "score": 0.8723507523536682, "hypothesis": "determining the mass of the sand requires using a balance to measure the mass of the sand", "context": {"sent1": "sand is made of very small rocks; minerals", "sent2": "to be used for something means to be required by that something", "sent3": "tool means instrument", "sent4": "a balance can be used to measure the mass of objects", "sent5": "a balance is a kind of instrument for measuring mass; measuring weight", "sent6": "determining something often requires measuring that something", "sent7": "a balance is a kind of instrument", "sent8": "to require something means to need something", "sent9": "to be required means to be necessary", "sent10": "must have means require", "sent11": "a balance is a kind of tool", "sent12": "if a unit for something is being measured, then it requires a measurement tool for measuring that something", "sent13": "requiring something means needing that something", "sent14": "a balance can measure a liquid's mass", "sent15": "a balance is used for measuring the mass of an object", "sent16": "a balance is used for measuring mass of a substance", "sent17": "an instrument is a piece of equipment", "sent18": "a balance is used to measure mass", "sent19": "lab equipment is often used for measuring; observing", "sent20": "essential means required", "sent21": "determining often requires measuring; observing", "sent22": "a balance is used for measuring mass;weight of an object; of a substance", "sent23": "mass is a property of objects; matter", "sent24": "sand is made of small particles", "sent25": "according to is similar to be determined by"}, "proof_gt": ""}, {"proof_pred": "sent13 & sent25 -> int1: a graduated cylinder can measure the volume of a liquid; sent17 & int1 -> int2: a graduated cylinder can be used to measure the volume of water; sent23 & sent14 & sent12 -> int3: water is a liquid in room temperature; sent5 & sent3 -> int4: matter in the liquid phase has definite volume and in the solid phase has definite volume; int3 & int4 -> int5: water in the liquid phase has definite volume and water in the solid phase has definite volume; int5 & sent2 & sent21 -> int6: water in the liquid state and water in the solid state has definite volume; sent9 & int6 -> int7: a graduated cylinder can be used to measure the volume of water ice; sent1 & sent16 -> int8: a graduated cylinder is an instrument for measuring the volume of liquids or objects; int2 & int7 & int8 -> hypothesis", "score": 0.8697404861450195, "hypothesis": "a graduated cylinder can be used to measure the volume of liquid water and solid water ice", "context": {"sent1": "a graduated cylinder is a kind of instrument for measuring volume of liquids or objects", "sent2": "water is in the liquid state, called water", "sent3": "matter in the solid phase has definite volume", "sent4": "a graduated cylinder is a kind of container", "sent5": "matter in the liquid phase has definite volume", "sent6": "water is a kind of substance", "sent7": "freezing means a substance changes from a liquid into a solid by decreasing heat energy", "sent8": "frozen means solid", "sent9": "a graduated cylinder can be used to measure volume of a solid", "sent10": "a graduated cylinder is used to measure volume of an object", "sent11": "temperature change changes the volume of the object", "sent12": "water is a kind of liquid at room temperature", "sent13": "a graduated cylinder is used to measure the volume of a liquid", "sent14": "water is a kind of liquid at room temperature", "sent15": "freezing means matter; a substance changes from a liquid into a solid by decreasing heat energy", "sent16": "a graduated cylinder is used to measure volume", "sent17": "a graduated cylinder is used to measure volume of a liquid; of an object", "sent18": "freezing means a substance changes from a liquid to a solid", "sent19": "measuring the volume of an object requires measuring the length, width, and the height of the object", "sent20": "freezing means substance changes from a liquid into a solid by decreasing heat energy", "sent21": "water is in the solid state , called ice", "sent22": "water is a kind of substance", "sent23": "water is a kind of liquid", "sent24": "a graduated cylinder can be used to measure the volume of objects", "sent25": "a graduated cylinder can measure a liquid's volume"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent5 -> int1: a graduated cylinder can be used to measure the volume of an object; sent14 & sent25 -> int2: a graduated cylinder can measure the volume of a liquid; int2 & sent24 -> int3: a graduated cylinder can measure the volume of an object; sent4 & sent13 -> int4: a graduated cylinder is an instrument for measuring the volume of objects; int3 & int4 & int1 -> int5: a graduated cylinder can be used to measure the volume of objects; int5 & sent11 & sent22 -> hypothesis", "score": 0.8253916501998901, "hypothesis": "a graduated cylinder can be used to measure volume of a piece of granite", "context": {"sent1": "volume is a property of matter", "sent2": "the volume of something describes the amount of something", "sent3": "volume is a measure of the size of an object by multiplying the length, width, and height of the object", "sent4": "a graduated cylinder can be used to measure the volume of objects", "sent5": "a graduated cylinder is used to measure volume of an object", "sent6": "if a unit for something is being measured, then it requires a measurement tool for measuring that something", "sent7": "the volume of an object can be used to describe the size of that object", "sent8": "a graduated cylinder can be used to measure volume of a solid", "sent9": "size; amount of space means volume", "sent10": "a graduated cylinder is used to measure volume", "sent11": "a piece of something is a kind of object", "sent12": "a part of; piece of an object is smaller in size than the entire object; whole object", "sent13": "a graduated cylinder is a kind of instrument for measuring volume of liquids or objects", "sent14": "a graduated cylinder is used to measure the volume of a liquid", "sent15": "a graduated cylinder is a kind of container", "sent16": "volume is a property of matter", "sent17": "density is a measure of mass of an object over volume; divided by volume", "sent18": "granite is a kind of rock", "sent19": "instrument means tool", "sent20": "measuring the volume of an object requires measuring the length, width, and the height of the object", "sent21": "tool means instrument", "sent22": "a piece of granite is a kind of object", "sent23": "volume is a property of objects", "sent24": "a graduated cylinder is used to measure volume of a liquid; of an object", "sent25": "a graduated cylinder can measure a liquid's volume"}, "proof_gt": ""}, {"proof_pred": "sent4 & sent10 & sent11 -> int1: observing an insect requires the use of magnifying glass; sent12 & sent23 -> int2: magnifying glass can be used to see small things by making them appear bigger; int1 & int2 -> int3: magnifying glass can be used to see an insect by making it appear bigger; sent17 & int3 -> hypothesis", "score": 0.9125432968139648, "hypothesis": "a hand lens can help seeing the insect by magnifying the insect", "context": {"sent1": "a student is a kind of human", "sent2": "magnifying makes seeing small things easier", "sent3": "a student is a kind of object", "sent4": "an insect usually has a small size", "sent5": "a magnifying glass is a kind of tool for observing small things", "sent6": "a living thing is a kind of object", "sent7": "an example of an assistive device is a contact lens", "sent8": "a microscope is used to see small things; microscopic things; specimens by scientists by making them appear bigger", "sent9": "optical tools are used for observing materials up close; in greater detail", "sent10": "the insect is small in size", "sent11": "to observe an object of small size requires the use of magnifying glass", "sent12": "magnifying glass is used to see small things by making objects appear bigger", "sent13": "a living thing is a kind of object", "sent14": "a microscope is used to see small things by making them appear bigger", "sent15": "lenses are a kind of object", "sent16": "an insect is a kind of animal", "sent17": "a hand lens is a kind of magnifying glass", "sent18": "a convex lens causes light to refract and concentrate to magnify distant objects", "sent19": "a hand lens; a magnifying lens is synonymous with a magnifying glass", "sent20": "a part of; piece of an object is smaller in size than the entire object; whole object", "sent21": "magnifying makes seeing small things easier through using a magnifying glass; using a microscope", "sent22": "a microscope is a kind of optical tools for observing small things", "sent23": "magnifying makes seeing small things easier through using a magnifying glass", "sent24": "a microscope is a kind of tool for observing small things", "sent25": "observe means see"}, "proof_gt": ""}, {"proof_pred": "sent11 & sent12 -> int1: magnifying glass can be used to see small things by making them appear bigger; int1 & sent3 -> int2: magnifying glass can be used to see small things by making them appear bigger; sent21 & int2 -> int3: magnifying glass can be used to see a leaf by making it appear bigger; sent2 & int3 -> hypothesis", "score": 0.8653683066368103, "hypothesis": "a hand lens can be used to see a leaf by magnification", "context": {"sent1": "white is a kind of color", "sent2": "a hand lens is a kind of magnifying glass", "sent3": "magnifying makes seeing small things easier through using a magnifying glass", "sent4": "magnifying makes seeing small things easier", "sent5": "spotted is a kind of color pattern", "sent6": "a hand lens; a magnifying lens is synonymous with a magnifying glass", "sent7": "a microscope is a kind of tool for observing small things", "sent8": "a spotted means having spots", "sent9": "a magnifying glass is a kind of tool for observing small things", "sent10": "to get a better look at means to see better", "sent11": "to observe an object of small size requires the use of magnifying glass", "sent12": "magnifying glass is used to see small things by making objects appear bigger", "sent13": "magnifying makes seeing small things easier through using a magnifying glass; using a microscope", "sent14": "as the size of an object appears larger , that object will be seen;be observed more easily; better", "sent15": "if an object is white then that object reflects all visible light", "sent16": "optical tools are used for observing materials up close; in greater detail", "sent17": "a tool is a kind of object", "sent18": "a white object reflects all visible light", "sent19": "lenses are a kind of object", "sent20": "better look means see better", "sent21": "a leaf is a part of a plant", "sent22": "spots are a part of some organisms", "sent23": "a microscope is used to see small things by making them appear bigger", "sent24": "tool means instrument", "sent25": "spotted is a kind of coloration"}, "proof_gt": ""}, {"proof_pred": "sent8 & sent13 -> int1: a meter stick can be used to measure the height; int1 & sent6 -> int2: a meter stick is a kind of tool for measuring the height; sent20 & sent7 -> int3: a meter stick is a kind of tool for measuring distance; sent25 & sent16 -> int4: meters m are a kind of unit used for measuring distance; sent11 & int4 -> int5: if meters m are being measured, then a tool is required for measuring the distance; sent9 & int5 -> int6: a tool is required for measuring the distance in meters m; int3 & int2 & int6 -> int7: a meter stick can be used to measure the height of a meter stick; sent19 & sent24 -> int8: a stick is a kind of object; int8 & sent14 & sent10 -> int9: a door is a kind of tool; int9 & int7 -> hypothesis", "score": 0.8638507723808289, "hypothesis": "a meter stick can be used to measure the height of the door", "context": {"sent1": "construction means building", "sent2": "height is a property of the size of an object", "sent3": "a house is a kind of building", "sent4": "a tree is a kind of plant", "sent5": "meters;centimeters;kilometers are used to describe distance; describe length", "sent6": "a meter stick is a kind of tool for measuring length", "sent7": "a meter stick is a kind of tool for measuring length; measuring distance", "sent8": "a meter stick is used to measure distance; height; length", "sent9": "meters m are a metric / si unit used for measuring length", "sent10": "a tool is a kind of object", "sent11": "if a unit for something is being measured, then it requires a measurement tool for measuring that something", "sent12": "instrument means tool", "sent13": "a meter stick can be used to measure the length", "sent14": "a door is a kind of object", "sent15": "height is a measure of length from the top of an object to the bottom of an object", "sent16": "meters m are a metric; si unit used for measuring length; distance generally used for values between 10 and 10000", "sent17": "taller means greater in height; size", "sent18": "a tree is a kind of plant", "sent19": "a stick is a kind of object", "sent20": "a meter stick is used to measure distance", "sent21": "length is a part of size", "sent22": "length is a part of size", "sent23": "tool means instrument", "sent24": "a stick is a kind of object", "sent25": "a meter is a kind of unit for measuring distance; measuring length"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.8845251202583313, "hypothesis": "centimeter is a metric unit used to describe the length of an object", "context": {"sent1": "a living thing is a kind of object", "sent2": "the properties of something are used for describing that something", "sent3": "picometer pm are a metric unit used for measuring length; distance generally used for values between 10 and 10000", "sent4": "measuring is used for describing an object", "sent5": "length is a part of size", "sent6": "centimeters cm are a metric unit used for measuring length", "sent7": "decimeters dm are a metric unit used for measuring length; distance generally used for values between 10 and 100", "sent8": "centimeters cm are a metric unit used for measuring length; distance generally used for values between 10 and 2500", "sent9": "length is a property of the shape of an object", "sent10": "meters m are a metric / si unit used for measuring length", "sent11": "meters m are a metric; si unit used for measuring length; distance generally used for values between 10 and 10000", "sent12": "centimeter is usually used to measure short length", "sent13": "inch in is a imperial unit used for measuring length; distance", "sent14": "length is a part of size", "sent15": "a meter is a kind of unit for measuring distance; measuring length", "sent16": "size is a property of objects and includes ordered values of microscopic; tiny; small; medium; large", "sent17": "meters;centimeters;kilometers are used to describe distance; describe length", "sent18": "cubic centimeter cm^3 is a metric unit used for measuring volume", "sent19": "a living thing is a kind of object", "sent20": "a centimeter is used for measuring short lengths; short distances", "sent21": "millimeters mm are a metric unit used for measuring length; distance generally used for values between 10 and 1000", "sent22": "height is a measure of length from the top of an object to the bottom of an object", "sent23": "a kind of is similar to a form of", "sent24": "height is a property of the size of an object", "sent25": "a centimeter is a kind of unit of measurement"}, "proof_gt": ""}, {"proof_pred": "sent24 & sent11 -> int1: yards yd are an imperial unit used for measuring length; sent2 & sent16 & sent1 -> int2: meter is the metric unit used for measuring length; int2 & int1 -> hypothesis", "score": 0.8773987889289856, "hypothesis": "meter is the metric unit that is the most similar to yard", "context": {"sent1": "a meter is a kind of unit for measuring distance; measuring length", "sent2": "meters m are a metric; si unit used for measuring length; distance generally used for values between 10 and 10000", "sent3": "a ramp is a kind of object", "sent4": "a vehicle is a kind of object", "sent5": "meters;centimeters;kilometers are used to describe distance; describe length", "sent6": "a vehicle is used for travel", "sent7": "a car is a kind of object", "sent8": "moving is similar to travelling", "sent9": "a car is a kind of vehicle", "sent10": "a student is a kind of human", "sent11": "yards yd are a imperial unit used for measuring length", "sent12": "a car is a kind of automobile", "sent13": "an automobile is a kind of vehicle", "sent14": "a ramp is a kind of object", "sent15": "a car is a kind of object", "sent16": "meters m are a metric / si unit used for measuring length", "sent17": "speed is a measure of distance travelled by an object over time; divided by time; per unit of time", "sent18": "a yard is 09144 meter", "sent19": "ramp is a kind of surface", "sent20": "1 yard equals to 09 meter", "sent21": "a vehicle is a kind of object", "sent22": "yards yd are a imperial unit used for measuring length; distance generally used for values between 10 and 10000", "sent23": "distance moved; distance travelled is a measure of how far an object moves", "sent24": "yard is an imperial unit used for measuring length", "sent25": "an automobile is a kind of vehicle"}, "proof_gt": ""}, {"proof_pred": "sent21 & sent8 & sent13 -> int1: rice cereal and marshmallows are kinds of substances; int1 & sent18 & sent16 -> int2: a student combined two substances; sent7 & int2 -> hypothesis", "score": 0.8659988641738892, "hypothesis": "the student made a mixture by combining two substances together", "context": {"sent1": "matter is a kind of substance", "sent2": "a student is a kind of human", "sent3": "melting means a substance changes from a solid into a liquid by increasing heat energy", "sent4": "if a material; a substance is a mixture of two or more materials or substances then that material; substance is made; is formed; contains those materials; substances", "sent5": "a solution is a mixture", "sent6": "a powder mix is a kind of substance", "sent7": "a mixture is made of two or more substances combined together", "sent8": "rice cereal; cereal is a kind of food", "sent9": "a mixture is a kind of substance", "sent10": "a liquid is a kind of substance", "sent11": "food is a kind of substance", "sent12": "melted marshmallow is a kind of substance", "sent13": "a marshmallow is a kind of food", "sent14": "melting means substance changes from a solid into a liquid by increasing heat energy", "sent15": "melting means matter; a substance changes from a solid into a liquid by increasing heat energy", "sent16": "a student combined rice cereal and marshmallows together", "sent17": "substances are made of matter", "sent18": "rice cereal is a kind of substance", "sent19": "an mixture is formed by two or more substances combined together physically", "sent20": "melted marshmallow is a kind of food", "sent21": "food is a kind of substance", "sent22": "to add means to combine", "sent23": "to be a combination of means to be made of", "sent24": "substances are made of matter", "sent25": "melting is when solids are heated above their melting point"}, "proof_gt": ""}, {"proof_pred": "sent13 & sent14 -> int1: in the salt water solution, water and salt are combined; sent19 & int1 -> int2: the water and salt are two substances; int2 & sent11 -> int3: salt water is made of two substances; sent22 & sent5 -> int4: saltwater is a pure substance; int4 & sent2 & sent23 -> int5: saltwater is a pure substance; int3 & int5 -> int6: salt water is a mixture of two substances; sent6 & int6 -> hypothesis", "score": 0.7742277383804321, "hypothesis": "salt water is a kind of mixture", "context": {"sent1": "a mixture is a kind of substance", "sent2": "salt is a kind of pure substance", "sent3": "an mixture is formed by two or more substances combined together physically", "sent4": "in the solution salt water , the solute is salt", "sent5": "salt is a kind of pure substance", "sent6": "a mixture is made of two or more substances combined together", "sent7": "seawater is a kind of salt water", "sent8": "a solution is made of one substance dissolved in another substance", "sent9": "in the salt water solution , the solvent is water", "sent10": "salt is soluble in water", "sent11": "salt water is made of salt and water", "sent12": "if a material; a substance is a mixture of two or more materials or substances then that material; substance is made; is formed; contains those materials; substances", "sent13": "in the salt water solution, the solvent is water", "sent14": "salt water is a kind of water", "sent15": "a solution is a mixture", "sent16": "in the solution salt water , the solvent is water", "sent17": "salt water contains salt", "sent18": "saltwater is a kind of substance", "sent19": "salt water is a kind of solution", "sent20": "salt dissolves in water when they are combined", "sent21": "in the salt water solution , the solute is salt", "sent22": "salt water is a kind of substance", "sent23": "saltwater is a kind of substance", "sent24": "a solution is formed by one substance being dissolved in another substance", "sent25": "salt is the solute"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent4 -> hypothesis", "score": 0.9649572372436523, "hypothesis": "brass is a kind of alloy", "context": {"sent1": "to be a combination of means to be made of", "sent2": "sterling silver is a kind of metal", "sent3": "aluminum is a kind of metal", "sent4": "brass is made of copper and zinc", "sent5": "sterling silver is a kind of alloy", "sent6": "aluminum is a kind of material", "sent7": "an alloy is made of two or more metals", "sent8": "alloy is a mixture of different metals", "sent9": "copper is a kind of material", "sent10": "gold is a kind of element", "sent11": "aluminum is a kind of element", "sent12": "brass is a kind of alloy", "sent13": "a metal is a kind of element", "sent14": "lead is a kind of element", "sent15": "silver is a kind of metal", "sent16": "iron is a kind of metal", "sent17": "tin is a kind of element", "sent18": "a compound is made of two or more elements chemically combined", "sent19": "copper is a kind of metal", "sent20": "metals are made of metal", "sent21": "copper is a kind of element", "sent22": "gold is a kind of metal", "sent23": "iron is a kind of metal", "sent24": "zinc is a kind of metal", "sent25": "to add means to combine"}, "proof_gt": ""}, {"proof_pred": "sent6 & sent23 -> hypothesis", "score": 0.9169731736183167, "hypothesis": "sugar water is a mixture", "context": {"sent1": "a solution is made of one substance dissolved in another substance", "sent2": "if a material; a substance is a mixture of two or more materials or substances then that material; substance is made; is formed; contains those materials; substances", "sent3": "sugar is the solute", "sent4": "water is a kind of substance", "sent5": "dissolution is similar to dissolving", "sent6": "sugar water is a kind of solution", "sent7": "if something is soluble in something , then that something can be dissolved in something forming a solution", "sent8": "a solute can be dissolved in a solvent when they are combined", "sent9": "water is a kind of substance", "sent10": "water is the solvent", "sent11": "sugar is soluble in water", "sent12": "water is a kind of liquid", "sent13": "in the solution sugar water , the solvent is water", "sent14": "sugar is a kind of pure substance", "sent15": "a kind of something is an example of that something", "sent16": "a mixture is a kind of substance", "sent17": "sugar dissolves in water when they are combined", "sent18": "a mixture is made of two or more substances combined together", "sent19": "sugar is made of sugar crystals", "sent20": "water is a kind of liquid at room temperature", "sent21": "a solution is formed by one substance being dissolved in another substance", "sent22": "sugar is a kind of pure substance", "sent23": "a solution is a mixture", "sent24": "an mixture is formed by two or more substances combined together physically", "sent25": "in the solution sugar water , the solute is sugar"}, "proof_gt": ""}, {"proof_pred": "sent8 & sent5 -> int1: a solid and a liquid are two substances; sent21 & int1 -> int2: different solids that are combined physically will become a mixture; sent24 & int2 -> hypothesis", "score": 0.8742454648017883, "hypothesis": "different solids that are combined will become a mixture", "context": {"sent1": "a chemical property is the opposite of a physical property", "sent2": "if something undergoes physical change then the chemical properties of that something will remain unchanged", "sent3": "if solids are combined physically , then the physical properties of the solids will stay the same", "sent4": "a solution is a mixture", "sent5": "a solid is a kind of substance", "sent6": "a mixture is made of two or more substances combined together", "sent7": "to maintain means to not change", "sent8": "a solid is a kind of substance", "sent9": "stay the same means not changing", "sent10": "to retain means to remain", "sent11": "mixture means solids combined together that maintain their physical properties", "sent12": "if two substances together form a mixture then those substances can be separated from one another by physical changes", "sent13": "a mixture is a kind of substance", "sent14": "state of matter at room temperature is a kind of physical property", "sent15": "if a material; a substance is a mixture of two or more materials or substances then that material; substance is made; is formed; contains those materials; substances", "sent16": "a mixture usually is made of objects with different physical properties", "sent17": "maintain is similar to control", "sent18": "to be a combination of means to be made of", "sent19": "a physical property is a kind of property", "sent20": "to remain means to not change", "sent21": "different solids are combined physically", "sent22": "maintaining is similar to having", "sent23": "to remain means to stay the same", "sent24": "an mixture is formed by two or more substances combined together physically", "sent25": "state of matter is a kind of physical property"}, "proof_gt": ""}, {"proof_pred": "sent14 & sent10 -> int1: less dense materials float on liquids that are more dense; sent17 & int1 -> int2: less dense materials will float on liquids that are more dense; sent8 & sent24 -> int3: water is a kind of liquid at room temperature; int3 & sent13 -> int4: water is a kind of liquid that is more dense than oil; sent2 & sent16 & sent22 -> int5: oil is a more dense liquid than water; int5 & int4 & int2 -> hypothesis", "score": 0.8860093355178833, "hypothesis": "oil will float on water", "context": {"sent1": "settling below is the opposite of floating", "sent2": "oil is a kind of liquid", "sent3": "high is similar to increase", "sent4": "being on something; placed in something; placed over something means touching that something", "sent5": "buoyant means able to float in a liquid or gas", "sent6": "placing an object into a liquid causes the volume of the liquid to increase by the volume of object under the liquid", "sent7": "if an object is placed in a substance; in a location that is colder then that object will cool to the same temperature of that substance; of that location", "sent8": "water is a kind of liquid", "sent9": "water is the solvent", "sent10": "less dense liquids; particles in liquids; materials float liquids; particiles in liquids; materials that are more dense", "sent11": "water is a kind of substance", "sent12": "as the surface area of an object increases , the ability of the object to float in an liquid; in a gas will increase", "sent13": "water is a kind of liquid at room temperature", "sent14": "less dense particles in liquids float on liquids that are more dense", "sent15": "oil is insoluble in water", "sent16": "water is more dense than oil", "sent17": "less dense liquids float on liquids that are more dense", "sent18": "to place in is similar to to move to", "sent19": "being in something means touching that something", "sent20": "water is a kind of substance", "sent21": "in water means underwater", "sent22": "oil is a kind of liquid", "sent23": "oil is a kind of substance; matter", "sent24": "water is a kind of liquid at room temperature", "sent25": "if an object is placed in a liquid , then the increased volume of the liquid will be equal to the volume of that object"}, "proof_gt": ""}, {"proof_pred": "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; sent5 & int2 -> int3: different substances will have different densities; sent1 & int3 -> hypothesis", "score": 0.924772322177887, "hypothesis": "two samples will have the same density", "context": {"sent1": "two samples are the same substance", "sent2": "similarity means the same property", "sent3": "similar means in common", "sent4": "if two objects are similar , then the two objects share properties", "sent5": "different substances are different in density", "sent6": "density is a measure of mass of an object divided by volume", "sent7": "same means identical; equal in value; amount; number; quantity", "sent8": "if two substances are made of different elements , then the substances will have different density", "sent9": "in common is similar to the same", "sent10": "density is a kind of physical property", "sent11": "an object has properties", "sent12": "the intensive property of something is the same for the things of same kind", "sent13": "a solid is a kind of substance", "sent14": "a sample is a kind of matter", "sent15": "specimen is similar to sample", "sent16": "if something requires something else then that something else may be common in that something", "sent17": "density is a measure of mass of an object over volume; divided by volume", "sent18": "a student is a kind of human", "sent19": "the property of something is the same for the things of same kind", "sent20": "density is an intensive property", "sent21": "density is a property of an object; a substance and includes ordered values of dense; not dense", "sent22": "density can be calculated by measuring the mass of an object divided by the volume of that object", "sent23": "dense means high in density", "sent24": "a solid is a kind of substance", "sent25": "density is an intensive property of substance"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent4 -> int1: copper is an electrical conductor; sent24 & int1 -> hypothesis", "score": 0.8833239674568176, "hypothesis": "copper is a material that is an electrical conductor", "context": {"sent1": "copper is a kind of element", "sent2": "best means most positive", "sent3": "metal is an electrical conductor", "sent4": "copper is a kind of metal", "sent5": "plastic is an electrical; electrical energy insulator", "sent6": "rubber is an electrical; electrical energy insulator", "sent7": "conductivity is a property of a material", "sent8": "metals usually have higher conductivity than nonmetals", "sent9": "metals usually have greater conductivity than nonmetals", "sent10": "an insulator is a kind of material", "sent11": "an electrical conductor is conductive", "sent12": "metal is a kind of material", "sent13": "metal is an electrical conductor", "sent14": "metal is an electrical; electrical energy conductor", "sent15": "an insulator is the opposite of a conductor", "sent16": "metal is a kind of material", "sent17": "conductivity is a property of a material; substance", "sent18": "electrical conduction is when metals; electrical conductors conduct electricity through a wire;electrical conductor;metal", "sent19": "plastic is usually an electrical insulator", "sent20": "plastic is a kind of electrical insulator", "sent21": "a good conductor is a conductor", "sent22": "metals usually have higher; greater conductivity than nonmetals", "sent23": "plastic is an electrical insulator", "sent24": "copper is a kind of material", "sent25": "better means good"}, "proof_gt": ""}, {"proof_pred": "sent25 & sent4 -> int1: sugar will dissolve in water when they are combined; sent12 & int1 & sent18 -> hypothesis", "score": 0.8783035278320312, "hypothesis": "sugar cubes will dissolve in water when they are combined", "context": {"sent1": "sugar is a kind of pure substance", "sent2": "sugar water is a kind of solution", "sent3": "water is a kind of liquid at room temperature", "sent4": "if something is soluble in something , then that something can be dissolved in something forming a solution", "sent5": "sugar is a kind of solid", "sent6": "water is a kind of liquid at room temperature", "sent7": "sugar is a kind of pure substance", "sent8": "water is the solvent", "sent9": "a solution is formed by one substance being dissolved in another substance", "sent10": "if something is used to dissolve substances , then that something is the solvent", "sent11": "a solution is made of one substance dissolved in another substance", "sent12": "a sugar cube is made of sugar", "sent13": "a solute can be dissolved in a solvent when they are combined", "sent14": "a cube is a kind of object", "sent15": "water is a kind of substance", "sent16": "in the solution sugar water , the solute is sugar", "sent17": "sugar is a kind of simple carbohydrate", "sent18": "sugar dissolves in water when they are combined", "sent19": "if something is dissolved , then that something is the solute", "sent20": "water is a kind of liquid", "sent21": "dissolution is similar to dissolving", "sent22": "in the solution sugar water , the solvent is water", "sent23": "sugar is the solute", "sent24": "water is a kind of substance", "sent25": "sugar is soluble in water"}, "proof_gt": ""}, {"proof_pred": "sent5 & sent7 & sent2 -> int1: shape is a property of leaves; sent3 & sent16 & sent22 -> int2: a leaf is a kind of object; sent25 & sent13 & int2 & int1 -> hypothesis", "score": 0.8798349499702454, "hypothesis": "students are classifying the leaves by their properties", "context": {"sent1": "to categorize means to classify", "sent2": "a leaf is a kind of object", "sent3": "a leaf is a part of a plant", "sent4": "to perform a process can mean to use a process", "sent5": "shape is a property of an object", "sent6": "to classify means to decide what class something belongs to", "sent7": "a leaf is a kind of object", "sent8": "structure is similar to shape", "sent9": "classifying means grouping objects / materials by their properties", "sent10": "classifying is similar to telling the difference", "sent11": "classifying is when one sorts something by kind; type", "sent12": "classification is a kind of process", "sent13": "students group leaves by shape", "sent14": "to belong to a group means to be a kind of something", "sent15": "sorting is similar to classifying", "sent16": "a leaf is a part of a green plant", "sent17": "differentiate is similar to classify", "sent18": "to belong to a group means to be classified in that group", "sent19": "classifying means grouping objects; materials by their properties", "sent20": "classifying is a kind of science process", "sent21": "a kind of something is classified as that something", "sent22": "a leaf is a kind of plant", "sent23": "classifying is when one sorts something by type", "sent24": "grouping means putting; placing in different groups", "sent25": "classifying means grouping objects by their properties"}, "proof_gt": ""}, {"proof_pred": "sent1 & sent15 -> hypothesis", "score": 0.8972343802452087, "hypothesis": "all objects have mass", "context": {"sent1": "mass is a property of objects; matter", "sent2": "must have means require", "sent3": "matter; materials; substances are made of atoms; particles", "sent4": "mass is a measure of the amount of matter in an object", "sent5": "weight is a measure of the force of the gravity on the mass of an object", "sent6": "weight is a property of objects; matter", "sent7": "a star is a kind of celestial object; celestial body", "sent8": "objects are made of materials; substances; matter", "sent9": "a planet is a kind of celestial object; body", "sent10": "mass is a kind of physical property", "sent11": "mass; weight is an extensive property", "sent12": "earth is a kind of celestial object", "sent13": "materials are made of matter", "sent14": "an object has properties", "sent15": "mass is a property of objects", "sent16": "a living thing is a kind of object", "sent17": "to contain something means to have that something", "sent18": "mass means the amount of matter that makes up an object", "sent19": "objects are made of matter", "sent20": "made of is similar to contains", "sent21": "a living thing is a kind of object", "sent22": "mass is a property of matter", "sent23": "matter is a kind of material", "sent24": "mass is similar to size", "sent25": "the property of something is the same for the things of same kind"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.8098392486572266, "hypothesis": "the mass of the ice will not change", "context": {"sent1": "water is a kind of liquid at room temperature", "sent2": "mass is a property of objects", "sent3": "as state of matter changes , mass will not change", "sent4": "water is in the solid state , called ice", "sent5": "ice is a kind of solid", "sent6": "as a substance dissolves in water , the mass of the substance will stay the same", "sent7": "stay the same means not changing", "sent8": "as the heat of an object increases , the mass of the object will stay the same", "sent9": "melting means substance changes from a solid into a liquid by increasing heat energy", "sent10": "being on something; placed in something; placed over something means touching that something", "sent11": "mass is a property of objects; matter", "sent12": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c", "sent13": "mass is a property of matter", "sent14": "as the temperature of something increases , the intensive properties of that something will not change", "sent15": "as amount; size of something increases , the intensive properties of that something will not change", "sent16": "liquid is a kind of state of matter", "sent17": "the ice melts", "sent18": "the intensive properties of a substance will stay the same", "sent19": "temperature changing does not cause mass to change", "sent20": "ice is a kind of solid", "sent21": "melting means matter; a substance changes from a solid into a liquid by increasing heat energy", "sent22": "phase changes do not change mass", "sent23": "melting means a substance changes from a solid into a liquid by increasing heat energy", "sent24": "liquid is a kind of state of matter", "sent25": "water is a kind of liquid at room temperature"}, "proof_gt": ""}, {"proof_pred": "sent2 & sent16 & sent12 -> hypothesis", "score": 0.8226457238197327, "hypothesis": "hail is water in solid ice", "context": {"sent1": "lightning occurs during lightning storms / thunderstorms", "sent2": "water is in the solid state , called ice , for temperatures between -273 and 0 c", "sent3": "water is a kind of liquid at room temperature", "sent4": "a thunderstorm is a kind of storm", "sent5": "water exists in liquid;solid;gas state on earth", "sent6": "water is a kind of object", "sent7": "water is a kind of object", "sent8": "water is in the liquid state, called water", "sent9": "solid is a kind of state of matter", "sent10": "water is a kind of liquid at room temperature", "sent11": "water is in the liquid state , called liquid water , for temperatures between 273; 32; 0 and 373; 212; 100 k; f; c", "sent12": "hail is a kind of ice", "sent13": "lightning occurs during lightning storms; thunderstorms", "sent14": "precipitation is when rain;snow;hail fall from clouds to the earth;ground", "sent15": "storm is a kind of weather; weather event", "sent16": "water is in the solid state , called ice", "sent17": "hail is a kind of precipitation; ice", "sent18": "thunderstorm is a kind of severe weather", "sent19": "hailing is when hail fall from clouds to the earth;ground", "sent20": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c", "sent21": "a thunderstorm is a kind of storm", "sent22": "hail is a kind of precipitation", "sent23": "a storm is usually a source of strong winds", "sent24": "water is a kind of liquid", "sent25": "solid is a kind of state of matter"}, "proof_gt": ""}, {"proof_pred": "sent3 & sent20 -> int1: ice is a solid in the solid state; sent9 & sent19 & sent19 -> int2: ice is in the solid state; sent18 & sent22 -> int3: a piece of aluminum is a kind of object; int3 & sent13 & sent24 -> int4: ice and a piece of aluminum are kinds of objects; int4 & int2 & int1 -> int5: ice, a rock, and a piece of aluminum are solids; int5 & sent6 -> hypothesis", "score": 0.8330336213111877, "hypothesis": "ice, a rock, and a piece of aluminum are all solids", "context": {"sent1": "metal is a kind of material", "sent2": "solid is a kind of state of matter", "sent3": "ice is a kind of solid", "sent4": "objects are made of materials", "sent5": "aluminum is a kind of metal", "sent6": "a rock is usually a solid", "sent7": "a rock is usually a solid", "sent8": "aluminum is a kind of material", "sent9": "water is in the solid state , called ice", "sent10": "if an object is made of a material then that object has the properties of that material", "sent11": "in common is similar to the same", "sent12": "a metal is usually a solid at room temperature", "sent13": "ice is a kind of object", "sent14": "similar means in common", "sent15": "rocks sometimes contain aluminum", "sent16": "objects are made of materials; substances; matter", "sent17": "if an object is made of a material then that object has the properties of that material", "sent18": "aluminum is a kind of object", "sent19": "water is in the solid state , called ice , for temperatures between 0; -459; -273 and 273; 32; 0 k; f; c", "sent20": "ice is a kind of solid", "sent21": "metals are made of metal", "sent22": "a piece of something is a kind of object", "sent23": "metal is a kind of material", "sent24": "ice is a kind of object", "sent25": "solid is a kind of state of matter"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent20 -> int1: paper and spices are kinds of materials; sent8 & sent5 & int1 -> int2: paper, spices, and fibers are sources of plants; sent15 & sent2 -> int3: spices come from plants; sent24 & sent25 -> int4: if something comes from a source then that something comes from that source; int2 & int4 & int3 -> hypothesis", "score": 0.8039339780807495, "hypothesis": "paper, spices, and fibers are products of plants", "context": {"sent1": "where something comes from is a source of that something", "sent2": "plants are the source of spices", "sent3": "an object; material; substance comes from that object or material's source", "sent4": "a plant is a kind of organism", "sent5": "plants are a source of fibers", "sent6": "one can get something from a source", "sent7": "paper is a kind of material", "sent8": "plants are a source of spices", "sent9": "if something comes from something else then that something else is a source of that something", "sent10": "a tree is a kind of plant", "sent11": "trees are a source of paper", "sent12": "spices are a kind of material", "sent13": "if something is a raw material then that something comes directly from a source", "sent14": "spice is a kind of food", "sent15": "if something is a source of something else then that something else comes from that something", "sent16": "a plant is a kind of living thing", "sent17": "one can get something from a source", "sent18": "a plant is a kind of living thing", "sent19": "a tree is a kind of plant", "sent20": "fiber is a kind of material", "sent21": "green plant is a kind of plant", "sent22": "a plant is a kind of organism", "sent23": "plants are a kind of organism", "sent24": "if something comes from something else then that something else is a source of that something", "sent25": "something comes from a source of that something"}, "proof_gt": ""}, {"proof_pred": "sent10 & sent15 -> int1: a simple machine is a kind of simple machine; sent12 & sent23 -> int2: a physicist is the scientist who studies energy; int1 & int2 -> hypothesis", "score": 0.8515749573707581, "hypothesis": "a physicist is the scientist who study the relationship between simple machines and energy", "context": {"sent1": "electricity is a kind of electrical energy", "sent2": "electrical energy is a kind of energy", "sent3": "if two or more things are in a relationship then those things impact each other", "sent4": "a class of something means a type of something", "sent5": "a type is synonymous with a kind", "sent6": "a scientist is a kind of human", "sent7": "researcher is a kind of scientist", "sent8": "a relationship occurs when two or more things interact with one another", "sent9": "a simple machine requires mechanical energy to function", "sent10": "a screw is a kind of simple machine", "sent11": "to study means to examine", "sent12": "a physicist studies energy", "sent13": "scientists make observations", "sent14": "a complex machine is made of more than one simple machine", "sent15": "a screw is a kind of simple machine", "sent16": "studying is similar to investigating", "sent17": "mechanical energy is a kind of energy", "sent18": "mechanical energy is a kind of energy", "sent19": "if a tool is made of a simple machine then that tool uses the principle demonstrated in that simple machine", "sent20": "electrical energy is a kind of energy", "sent21": "a machine is a kind of device", "sent22": "a simple machine is a kind of tool", "sent23": "a physicist is a kind of scientist", "sent24": "an electrical device can be a part of a machine", "sent25": "a machine is a kind of object"}, "proof_gt": ""}, {"proof_pred": "sent12 & sent19 -> int1: an airplane is faster than a car; sent11 & int1 -> int2: an airplane is used for moving people; sent25 & int2 -> int3: an airplane is fast for moving people; sent15 & int3 -> int4: an airplane is fast for travelling quickly; int4 & sent13 -> int5: an airplane has a positive impact on people travelling quickly; int5 & sent22 -> hypothesis", "score": 0.8543271422386169, "hypothesis": "an airplane can help people travel quickly", "context": {"sent1": "something that has a positive impact on something else is a kind of benefit", "sent2": "good means positive", "sent3": "if something has a positive impact on something else then that something is good for that something else", "sent4": "an airplane is a kind of vehicle", "sent5": "beneficial means helpful", "sent6": "high speed means fast", "sent7": "advantage has a positive impact on something", "sent8": "having a positive impact on something helps that something", "sent9": "negative impact is the opposite of positive impact", "sent10": "fast means quickly", "sent11": "a airplane is used for moving people; products across bodies of water; to far away places", "sent12": "faster means an increase; higher in speed", "sent13": "if something increases something else then that something has a positive impact on that something else", "sent14": "rapidly means quickly", "sent15": "moving fast is similar to travelling quickly", "sent16": "high is similar to increase", "sent17": "negative impact is the opposite of positive impact", "sent18": "a positive impact is a benefit", "sent19": "faster means an increase in speed", "sent20": "to help; to benefit means to be of use", "sent21": "if something has a positive impact on something else then that something helps that something else", "sent22": "helping something has a positive impact on that something", "sent23": "a positive impact is a helpful effect", "sent24": "flying is a kind of motion through air; space", "sent25": "an airplane is fast in speed"}, "proof_gt": ""}, {"proof_pred": "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", "score": 0.7641483545303345, "hypothesis": "refrigerator is the invention that can keep food fresh for a long period of time", "context": {"sent1": "person is synonymous with human", "sent2": "to help; to benefit means to be of use", "sent3": "length of time means period of time", "sent4": "appliance is similar to technology", "sent5": "a refrigerator is a kind of appliance", "sent6": "if something; an invention; a discovery is invented; discovered then that something; that invention; that discovery can be used", "sent7": "a tool is a kind of invention", "sent8": "a refrigerator is used for keeping food fresh for a long period of time", "sent9": "a human is a kind of animal", "sent10": "technology is similar to tool", "sent11": "a human is a kind of animal", "sent12": "to preserve food means to keep fresh food from spoiling", "sent13": "a human is a kind of organism", "sent14": "keeping food cold is used for keeping food fresh", "sent15": "a person is a kind of animal", "sent16": "to help means to aid", "sent17": "an invention is a kind of tool", "sent18": "a person is a kind of living thing", "sent19": "a freezer; refrigerator is cool; cold in temperature", "sent20": "helping something has a positive impact on that something", "sent21": "humans are a kind of organism", "sent22": "to be used for something means to help to do that something", "sent23": "helping something has a positive impact on that something", "sent24": "if something / an invention / a discovery is invented / discovered then that something / that invention / that discovery can be used", "sent25": "a human is a kind of living thing"}, "proof_gt": ""}]