the input is not a hostel and it is not a kind of a Peabody.
sent1: the boll does synthesize and/or it levels callithump. sent2: if there is something such that the fact that it does not level callithump and is not a kind of a hostel does not hold then the input does not fidget hemosiderin. sent3: the fact that the halophyte is a stipend but it does not level input is not right. sent4: the halophyte does not fidget hemosiderin if there exists something such that the fact that it is both non-costive and not explosive is incorrect. sent5: the input does not pain if that it is both not a hostel and not a Peabody is wrong. sent6: the monocle fidgets hemosiderin and is not a Pinctada if the halophyte does not fidgets hemosiderin. sent7: if the boll does level callithump then the Popper does level callithump. sent8: that if the boll is a hostel that the input is a kind of a Peabody and levels callithump does not hold hold. sent9: that the monocle is a pain but it does not fidget hemosiderin is not correct. sent10: the Popper levels callithump if that the boll does synthesize is true. sent11: if something is not a pain then that it is a kind of explosive thing that is not a kind of a Pinctada is wrong. sent12: the input is not explosive if there is something such that that it is not costive and it is not a pain does not hold. sent13: if the monocle does not fidget hemosiderin the input fidget hemosiderin and is not an explosive. sent14: if the Popper does level callithump the fact that the monocle fidgets hemosiderin and is not a Pinctada is not true. sent15: the fact that something is a kind of non-costive thing that is not an explosive is not true if it is not a kind of a pain. sent16: the input is a hostel and does not level callithump if that the Popper is not a hostel is right. sent17: the input levels callithump and is not a Peabody.
void -> assump1: Let's assume that that the input is not a hostel and it is not a Peabody does not hold.; sent5 & assump1 -> int1: the input is not a pain.; sent15 -> int2: if the input is not a kind of a pain then the fact that it is not costive and it is not explosive does not hold.; int1 & int2 -> int3: that the input is not costive and it is nonexplosive does not hold.; int3 -> int4: there is something such that the fact that it is not costive and it is not an explosive is false.; int4 & sent4 -> int5: the halophyte does not fidget hemosiderin.; int5 & sent6 -> int6: the monocle does fidget hemosiderin and is not a Pinctada.; sent1 & sent10 & sent7 -> int7: that the Popper does level callithump hold.; sent14 & int7 -> int8: the fact that the monocle does fidget hemosiderin and is not a kind of a Pinctada is not true.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
that the input is both not a hostel and not a Peabody does not hold.
$hypothesis$ = the input is not a hostel and it is not a kind of a Peabody. ; $context$ = sent1: the boll does synthesize and/or it levels callithump. sent2: if there is something such that the fact that it does not level callithump and is not a kind of a hostel does not hold then the input does not fidget hemosiderin. sent3: the fact that the halophyte is a stipend but it does not level input is not right. sent4: the halophyte does not fidget hemosiderin if there exists something such that the fact that it is both non-costive and not explosive is incorrect. sent5: the input does not pain if that it is both not a hostel and not a Peabody is wrong. sent6: the monocle fidgets hemosiderin and is not a Pinctada if the halophyte does not fidgets hemosiderin. sent7: if the boll does level callithump then the Popper does level callithump. sent8: that if the boll is a hostel that the input is a kind of a Peabody and levels callithump does not hold hold. sent9: that the monocle is a pain but it does not fidget hemosiderin is not correct. sent10: the Popper levels callithump if that the boll does synthesize is true. sent11: if something is not a pain then that it is a kind of explosive thing that is not a kind of a Pinctada is wrong. sent12: the input is not explosive if there is something such that that it is not costive and it is not a pain does not hold. sent13: if the monocle does not fidget hemosiderin the input fidget hemosiderin and is not an explosive. sent14: if the Popper does level callithump the fact that the monocle fidgets hemosiderin and is not a Pinctada is not true. sent15: the fact that something is a kind of non-costive thing that is not an explosive is not true if it is not a kind of a pain. sent16: the input is a hostel and does not level callithump if that the Popper is not a hostel is right. sent17: the input levels callithump and is not a Peabody. ; $proof$ = 
void -> assump1: Let's assume that that the input is not a hostel and it is not a Peabody does not hold.; sent5 & assump1 -> int1: the input is not a pain.; sent15 -> int2: if the input is not a kind of a pain then the fact that it is not costive and it is not explosive does not hold.; int1 & int2 -> int3: that the input is not costive and it is nonexplosive does not hold.; int3 -> int4: there is something such that the fact that it is not costive and it is not an explosive is false.; int4 & sent4 -> int5: the halophyte does not fidget hemosiderin.; int5 & sent6 -> int6: the monocle does fidget hemosiderin and is not a Pinctada.; sent1 & sent10 & sent7 -> int7: that the Popper does level callithump hold.; sent14 & int7 -> int8: the fact that the monocle does fidget hemosiderin and is not a kind of a Pinctada is not true.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__