the rhodolite is not a formation.
sent1: if a homozygous thing is a tutorial it is not a kind of a formation. sent2: if the fact that the logician is a topee and it pries does not hold then the hovercraft is not a kind of a topee. sent3: if something is not voluble it is a kind of a formation. sent4: the rhodolite is vernal. sent5: that the logician is fluvial hold. sent6: if something does heap election then it is fluvial. sent7: if that the staplegun does not pry is not false then it heaps election. sent8: if something is voluble it is not a topee. sent9: if the logician is a topee the staplegun lugs. sent10: the logician is voluble and/or is a topee. sent11: the staplegun is a kind of a lug if the logician is voluble. sent12: everything is vernal. sent13: if the staplegun is fluvial the rhodolite is homozygous. sent14: something that is not a Linnaeus is antiadrenergic. sent15: everything is vernal and is a tutorial. sent16: something does heap election if it does not pry. sent17: the fact that something heaps election is not incorrect if it is a lug or it does not pry or both. sent18: the rhodolite is not a kind of a topee. sent19: the staplegun is a lug or it does pry or both.
sent10 & sent11 & sent9 -> int1: the staplegun lugs.; int1 -> int2: the staplegun does lug or it does not pry or both.; sent17 -> int3: if the staplegun is a kind of a lug and/or does not pry then it heaps election.; int2 & int3 -> int4: the staplegun heaps election.; sent6 -> int5: the staplegun is fluvial if it heaps election.; int4 & int5 -> int6: the staplegun is fluvial.; int6 & sent13 -> int7: the rhodolite is homozygous.; sent15 -> int8: that the rhodolite is vernal and it is a tutorial is not incorrect.; int8 -> int9: the rhodolite is tutorial.; int7 & int9 -> int10: the rhodolite is homozygous and it is tutorial.; sent1 -> int11: if the rhodolite is homozygous and it is a tutorial it is not a formation.; int10 & int11 -> hypothesis;
the hovercraft is a kind of a Mwanza or is a enteron or both.
sent18 -> int12: something is not a topee.;
$hypothesis$ = the rhodolite is not a formation. ; $context$ = sent1: if a homozygous thing is a tutorial it is not a kind of a formation. sent2: if the fact that the logician is a topee and it pries does not hold then the hovercraft is not a kind of a topee. sent3: if something is not voluble it is a kind of a formation. sent4: the rhodolite is vernal. sent5: that the logician is fluvial hold. sent6: if something does heap election then it is fluvial. sent7: if that the staplegun does not pry is not false then it heaps election. sent8: if something is voluble it is not a topee. sent9: if the logician is a topee the staplegun lugs. sent10: the logician is voluble and/or is a topee. sent11: the staplegun is a kind of a lug if the logician is voluble. sent12: everything is vernal. sent13: if the staplegun is fluvial the rhodolite is homozygous. sent14: something that is not a Linnaeus is antiadrenergic. sent15: everything is vernal and is a tutorial. sent16: something does heap election if it does not pry. sent17: the fact that something heaps election is not incorrect if it is a lug or it does not pry or both. sent18: the rhodolite is not a kind of a topee. sent19: the staplegun is a lug or it does pry or both. ; $proof$ = 
sent10 & sent11 & sent9 -> int1: the staplegun lugs.; int1 -> int2: the staplegun does lug or it does not pry or both.; sent17 -> int3: if the staplegun is a kind of a lug and/or does not pry then it heaps election.; int2 & int3 -> int4: the staplegun heaps election.; sent6 -> int5: the staplegun is fluvial if it heaps election.; int4 & int5 -> int6: the staplegun is fluvial.; int6 & sent13 -> int7: the rhodolite is homozygous.; sent15 -> int8: that the rhodolite is vernal and it is a tutorial is not incorrect.; int8 -> int9: the rhodolite is tutorial.; int7 & int9 -> int10: the rhodolite is homozygous and it is tutorial.; sent1 -> int11: if the rhodolite is homozygous and it is a tutorial it is not a formation.; int10 & int11 -> hypothesis; __PROVED__