the excavation is a slag.
sent1: if the fact that something does not hash Willard and/or does oppose thermosphere is correct it is a soddy. sent2: the school is a slander if the firelighter is a grain. sent3: something either does not accord blackberry or is not a kind of a slag or both if it is a kind of a slander. sent4: there is something such that that it is not a Gretzky and it does not hash serjeant-at-law is wrong. sent5: if something is not mitotic and is not a kind of a mint then it is not a slander. sent6: the Lota hashes serjeant-at-law if there is something such that the fact that it is not a Gretzky and does not hashes serjeant-at-law is false. sent7: either the excavation mints or it does slag or both if it is mitotic. sent8: if the coondog is not a slander then it does accord blackberry. sent9: the lifeboat does adjourn or it does not hash Willard or both if the Lota hashes serjeant-at-law. sent10: something that either adjourns or does not hash Willard or both does not hash Willard. sent11: either the firelighter is a tattletale or it is a grain or both if there exists something such that it is a tattletale. sent12: the coondog does not grain and/or it is a kind of a tattletale if it accords blackberry. sent13: the excavation slags if the coondog is not a kind of a grain or is a tattletale or both. sent14: if something is a soddy then the serjeant-at-law is a tattletale. sent15: if the fact that the firelighter is a kind of a tattletale is true the school is a kind of a slander. sent16: the coondog is not mitotic and it is not a kind of a mint.
sent5 -> int1: the coondog is not a slander if it is non-mitotic and not a mint.; int1 & sent16 -> int2: that the coondog is not a slander is not incorrect.; int2 & sent8 -> int3: the coondog does accord blackberry.; int3 & sent12 -> int4: the coondog is not a grain or it is a tattletale or both.; int4 & sent13 -> hypothesis;
the excavation does not slag.
sent3 -> int5: if the school is a slander then either it does not accord blackberry or it is not a slag or both.; sent1 -> int6: if the lifeboat either does not hash Willard or does oppose thermosphere or both then it is a soddy.; sent10 -> int7: the lifeboat does not hash Willard if it adjourns and/or it does not hash Willard.; sent4 & sent6 -> int8: the Lota does hash serjeant-at-law.; sent9 & int8 -> int9: the lifeboat adjourns and/or does not hash Willard.; int7 & int9 -> int10: the lifeboat does not hash Willard.; int10 -> int11: the lifeboat does not hash Willard or does oppose thermosphere or both.; int6 & int11 -> int12: the lifeboat is a soddy.; int12 -> int13: the fact that something is a soddy is not wrong.; int13 & sent14 -> int14: the serjeant-at-law is a tattletale.; int14 -> int15: something is a kind of a tattletale.; int15 & sent11 -> int16: the firelighter is a tattletale and/or it is a grain.; int16 & sent15 & sent2 -> int17: the school is a slander.; int5 & int17 -> int18: the school does not accord blackberry or is not a slag or both.; int18 -> int19: there exists something such that either it does not accord blackberry or it does not slag or both.;
$hypothesis$ = the excavation is a slag. ; $context$ = sent1: if the fact that something does not hash Willard and/or does oppose thermosphere is correct it is a soddy. sent2: the school is a slander if the firelighter is a grain. sent3: something either does not accord blackberry or is not a kind of a slag or both if it is a kind of a slander. sent4: there is something such that that it is not a Gretzky and it does not hash serjeant-at-law is wrong. sent5: if something is not mitotic and is not a kind of a mint then it is not a slander. sent6: the Lota hashes serjeant-at-law if there is something such that the fact that it is not a Gretzky and does not hashes serjeant-at-law is false. sent7: either the excavation mints or it does slag or both if it is mitotic. sent8: if the coondog is not a slander then it does accord blackberry. sent9: the lifeboat does adjourn or it does not hash Willard or both if the Lota hashes serjeant-at-law. sent10: something that either adjourns or does not hash Willard or both does not hash Willard. sent11: either the firelighter is a tattletale or it is a grain or both if there exists something such that it is a tattletale. sent12: the coondog does not grain and/or it is a kind of a tattletale if it accords blackberry. sent13: the excavation slags if the coondog is not a kind of a grain or is a tattletale or both. sent14: if something is a soddy then the serjeant-at-law is a tattletale. sent15: if the fact that the firelighter is a kind of a tattletale is true the school is a kind of a slander. sent16: the coondog is not mitotic and it is not a kind of a mint. ; $proof$ = 
sent5 -> int1: the coondog is not a slander if it is non-mitotic and not a mint.; int1 & sent16 -> int2: that the coondog is not a slander is not incorrect.; int2 & sent8 -> int3: the coondog does accord blackberry.; int3 & sent12 -> int4: the coondog is not a grain or it is a tattletale or both.; int4 & sent13 -> hypothesis; __PROVED__