the sorting is not shut.
sent1: the trapezius is controversial. sent2: the pylon is caudal and is not non-journalistic. sent3: the trapezius does sample irreligiousness. sent4: that the trapezius is not a paleopathology is true. sent5: the sorting is not shut if it is a kind of a paleopathology and is parietal. sent6: the penetrator inflates re-introduction. sent7: the sorting does inflate re-introduction and is a pinko. sent8: if the sorting is not caudal it is a paleopathology. sent9: if the sorting is a pinko and it is caudal then the trapezius does not sample irreligiousness. sent10: the trapezius is parietal. sent11: if there exists something such that it treks the salmonberry is parietal. sent12: the stomacher is an echolocation and it is dizygotic. sent13: there is something such that it is a trek. sent14: the perithecium is a kind of a paleopathology. sent15: the trapezius is not caudal. sent16: that the sorting is a bonsai is right. sent17: the nitrofurantoin does not sample irreligiousness and is not caudal if it is a paleopathology. sent18: if there exists something such that it is parietal the nitrofurantoin is a paleopathology. sent19: the trapezius is not a Characinidae. sent20: the cyanohydrin is not parietal. sent21: the fact that the millerite is not shut hold. sent22: the trapezius is a kind of a powder. sent23: the sorting is both crustose and a tostada. sent24: if there exists something such that it does not sample irreligiousness and it is not caudal then the trapezius inflates re-introduction. sent25: the trapezius is shut. sent26: that the sorting is parietal is not wrong. sent27: The irreligiousness does sample trapezius.
sent7 -> int1: the sorting is a kind of a pinko.; void -> assump1: Let's assume that the fact that the sorting is not caudal is not correct.; int1 & assump1 -> int2: the sorting is a pinko but not non-caudal.; int2 & sent9 -> int3: the trapezius does not sample irreligiousness.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sorting is not caudal.; int5 & sent8 -> int6: the sorting is a kind of a paleopathology.; int6 & sent26 -> int7: the sorting is a paleopathology and it is parietal.; int7 & sent5 -> hypothesis;
the sorting is shut.
sent13 & sent11 -> int8: the salmonberry is parietal.; int8 -> int9: there are parietal things.; int9 & sent18 -> int10: the nitrofurantoin is a paleopathology.; sent17 & int10 -> int11: the nitrofurantoin does not sample irreligiousness and is not caudal.; int11 -> int12: something does not sample irreligiousness and it is not caudal.; int12 & sent24 -> int13: the trapezius inflates re-introduction.;
$hypothesis$ = the sorting is not shut. ; $context$ = sent1: the trapezius is controversial. sent2: the pylon is caudal and is not non-journalistic. sent3: the trapezius does sample irreligiousness. sent4: that the trapezius is not a paleopathology is true. sent5: the sorting is not shut if it is a kind of a paleopathology and is parietal. sent6: the penetrator inflates re-introduction. sent7: the sorting does inflate re-introduction and is a pinko. sent8: if the sorting is not caudal it is a paleopathology. sent9: if the sorting is a pinko and it is caudal then the trapezius does not sample irreligiousness. sent10: the trapezius is parietal. sent11: if there exists something such that it treks the salmonberry is parietal. sent12: the stomacher is an echolocation and it is dizygotic. sent13: there is something such that it is a trek. sent14: the perithecium is a kind of a paleopathology. sent15: the trapezius is not caudal. sent16: that the sorting is a bonsai is right. sent17: the nitrofurantoin does not sample irreligiousness and is not caudal if it is a paleopathology. sent18: if there exists something such that it is parietal the nitrofurantoin is a paleopathology. sent19: the trapezius is not a Characinidae. sent20: the cyanohydrin is not parietal. sent21: the fact that the millerite is not shut hold. sent22: the trapezius is a kind of a powder. sent23: the sorting is both crustose and a tostada. sent24: if there exists something such that it does not sample irreligiousness and it is not caudal then the trapezius inflates re-introduction. sent25: the trapezius is shut. sent26: that the sorting is parietal is not wrong. sent27: The irreligiousness does sample trapezius. ; $proof$ = 
sent7 -> int1: the sorting is a kind of a pinko.; void -> assump1: Let's assume that the fact that the sorting is not caudal is not correct.; int1 & assump1 -> int2: the sorting is a pinko but not non-caudal.; int2 & sent9 -> int3: the trapezius does not sample irreligiousness.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sorting is not caudal.; int5 & sent8 -> int6: the sorting is a kind of a paleopathology.; int6 & sent26 -> int7: the sorting is a paleopathology and it is parietal.; int7 & sent5 -> hypothesis; __PROVED__