the fact that the psalmist is not a kind of a isomerase hold.
sent1: the collegian is a isochrone and is excusable if the stachyose is not a Rhinotermitidae. sent2: if the sun is not gubernatorial it is an incorporation. sent3: that the neoclassicist is neritic but it is not a revisionism does not hold if something is not neritic. sent4: something does spiel neoclassicist if it is an incorporation. sent5: if the silencer is not a kind of a vindictiveness then it is electromotive. sent6: the sun does not heap. sent7: the psalmist is a vindictiveness if the sun does spiel neoclassicist. sent8: if the sun does not heap then it either is not binoculars or is not gubernatorial or both. sent9: the tomalley does not spiel neoclassicist if the keurboom does not spiel neoclassicist. sent10: something is a kind of an incorporation if it is not binoculars. sent11: the hamper does not heap if the fact that the neoclassicist is neritic but it is not a revisionism is not true. sent12: if the collegian is a isochrone that is excusable the Wilderness is not neritic. sent13: the tomalley does not spiel neoclassicist if the keurboom is not a kind of a vindictiveness. sent14: the knout is not gubernatorial if the tomalley is gubernatorial and it is an incorporation. sent15: if something does not heap either the keurboom does not spiel neoclassicist or it is not a vindictiveness or both. sent16: the stachyose is not a Rhinotermitidae. sent17: if there is something such that the fact that it is not gubernatorial hold then the fact that the fact that the matchbook is a kind of binoculars thing that is not a isomerase is right is wrong. sent18: if something is a kind of a vindictiveness then it is not a isomerase.
sent10 -> int1: the sun is an incorporation if it is not binoculars.; sent8 & sent6 -> int2: the sun is not binoculars or it is not gubernatorial or both.; int1 & int2 & sent2 -> int3: the sun is an incorporation.; sent4 -> int4: if the sun is an incorporation it spiels neoclassicist.; int3 & int4 -> int5: the sun does spiel neoclassicist.; int5 & sent7 -> int6: the psalmist is a vindictiveness.; sent18 -> int7: if the psalmist is a kind of a vindictiveness then it is not a kind of a isomerase.; int6 & int7 -> hypothesis;
that the psalmist is a isomerase hold.
sent1 & sent16 -> int8: the collegian is a isochrone and is excusable.; sent12 & int8 -> int9: the Wilderness is not neritic.; int9 -> int10: something is not neritic.; int10 & sent3 -> int11: that the neoclassicist is a kind of neritic thing that is not a kind of a revisionism does not hold.; sent11 & int11 -> int12: the hamper does not heap.; int12 -> int13: there exists something such that the fact that it does not heap is right.; int13 & sent15 -> int14: the keurboom does not spiel neoclassicist and/or is not a vindictiveness.; int14 & sent9 & sent13 -> int15: the tomalley does not spiel neoclassicist.;
$hypothesis$ = the fact that the psalmist is not a kind of a isomerase hold. ; $context$ = sent1: the collegian is a isochrone and is excusable if the stachyose is not a Rhinotermitidae. sent2: if the sun is not gubernatorial it is an incorporation. sent3: that the neoclassicist is neritic but it is not a revisionism does not hold if something is not neritic. sent4: something does spiel neoclassicist if it is an incorporation. sent5: if the silencer is not a kind of a vindictiveness then it is electromotive. sent6: the sun does not heap. sent7: the psalmist is a vindictiveness if the sun does spiel neoclassicist. sent8: if the sun does not heap then it either is not binoculars or is not gubernatorial or both. sent9: the tomalley does not spiel neoclassicist if the keurboom does not spiel neoclassicist. sent10: something is a kind of an incorporation if it is not binoculars. sent11: the hamper does not heap if the fact that the neoclassicist is neritic but it is not a revisionism is not true. sent12: if the collegian is a isochrone that is excusable the Wilderness is not neritic. sent13: the tomalley does not spiel neoclassicist if the keurboom is not a kind of a vindictiveness. sent14: the knout is not gubernatorial if the tomalley is gubernatorial and it is an incorporation. sent15: if something does not heap either the keurboom does not spiel neoclassicist or it is not a vindictiveness or both. sent16: the stachyose is not a Rhinotermitidae. sent17: if there is something such that the fact that it is not gubernatorial hold then the fact that the fact that the matchbook is a kind of binoculars thing that is not a isomerase is right is wrong. sent18: if something is a kind of a vindictiveness then it is not a isomerase. ; $proof$ = 
sent10 -> int1: the sun is an incorporation if it is not binoculars.; sent8 & sent6 -> int2: the sun is not binoculars or it is not gubernatorial or both.; int1 & int2 & sent2 -> int3: the sun is an incorporation.; sent4 -> int4: if the sun is an incorporation it spiels neoclassicist.; int3 & int4 -> int5: the sun does spiel neoclassicist.; int5 & sent7 -> int6: the psalmist is a vindictiveness.; sent18 -> int7: if the psalmist is a kind of a vindictiveness then it is not a kind of a isomerase.; int6 & int7 -> hypothesis; __PROVED__