the agnathan is not a quest.
sent1: if something is a nerve it is a diesel-electric. sent2: that the utensil is thermionic hold. sent3: if something is a Heliobacter then that it does quest and it is not a kind of a caddie does not hold. sent4: if the hem is thermionic it is not a percolator and it is not adjectival. sent5: if the allies is a Heliobacter then the hem is a Heliobacter. sent6: the agnathan quests if something is a Heliobacter and a caddie. sent7: that the hem is a Einstein is correct. sent8: if the utensil is thermionic but it is not a diesel-electric then it is a percolator. sent9: there exists something such that it is a quest. sent10: the hem is thermionic if the allies is thermionic thing that is not a septectomy. sent11: if that something quests but it is not a kind of a caddie is not right then it does not quests. sent12: the hem is a caddie if there exists something such that the fact that it is not pyroelectric and it discontinues is incorrect. sent13: the allies does fumble utensil. sent14: there is something such that the fact that it is not pyroelectric and it discontinues does not hold. sent15: that the fact that the utensil is a quest that is not adjectival is not right hold if it is a percolator. sent16: if something is a kind of a diesel-electric it is thermionic and it is not a kind of a septectomy. sent17: the fact that the allies is a kind of a nerve hold if it fumbles utensil. sent18: the allies is a Heliobacter.
sent14 & sent12 -> int1: the hem caddies.; sent5 & sent18 -> int2: the hem is a Heliobacter.; int1 & int2 -> int3: the hem is a Heliobacter and a caddie.; int3 -> int4: there is something such that it is a kind of a Heliobacter that is a kind of a caddie.; int4 & sent6 -> hypothesis;
the agnathan does not quest.
sent11 -> int5: if that the agnathan is a kind of a quest that is not a caddie is false that that it does quest hold is not right.; sent3 -> int6: that the agnathan is a quest but not a caddie is false if it is a kind of a Heliobacter.; sent16 -> int7: if the allies is a kind of a diesel-electric then it is thermionic and it is not a kind of a septectomy.; sent1 -> int8: if that the allies is a nerve is correct it is a diesel-electric.; sent17 & sent13 -> int9: the allies is a nerve.; int8 & int9 -> int10: the allies is a diesel-electric.; int7 & int10 -> int11: the allies is a kind of thermionic thing that is not a septectomy.; sent10 & int11 -> int12: the hem is thermionic.; sent4 & int12 -> int13: the hem is not a percolator and not adjectival.; int13 -> int14: there is something such that it is not a kind of a percolator and it is not adjectival.;
$hypothesis$ = the agnathan is not a quest. ; $context$ = sent1: if something is a nerve it is a diesel-electric. sent2: that the utensil is thermionic hold. sent3: if something is a Heliobacter then that it does quest and it is not a kind of a caddie does not hold. sent4: if the hem is thermionic it is not a percolator and it is not adjectival. sent5: if the allies is a Heliobacter then the hem is a Heliobacter. sent6: the agnathan quests if something is a Heliobacter and a caddie. sent7: that the hem is a Einstein is correct. sent8: if the utensil is thermionic but it is not a diesel-electric then it is a percolator. sent9: there exists something such that it is a quest. sent10: the hem is thermionic if the allies is thermionic thing that is not a septectomy. sent11: if that something quests but it is not a kind of a caddie is not right then it does not quests. sent12: the hem is a caddie if there exists something such that the fact that it is not pyroelectric and it discontinues is incorrect. sent13: the allies does fumble utensil. sent14: there is something such that the fact that it is not pyroelectric and it discontinues does not hold. sent15: that the fact that the utensil is a quest that is not adjectival is not right hold if it is a percolator. sent16: if something is a kind of a diesel-electric it is thermionic and it is not a kind of a septectomy. sent17: the fact that the allies is a kind of a nerve hold if it fumbles utensil. sent18: the allies is a Heliobacter. ; $proof$ = 
sent14 & sent12 -> int1: the hem caddies.; sent5 & sent18 -> int2: the hem is a Heliobacter.; int1 & int2 -> int3: the hem is a Heliobacter and a caddie.; int3 -> int4: there is something such that it is a kind of a Heliobacter that is a kind of a caddie.; int4 & sent6 -> hypothesis; __DISPROVED__