the tape is not comatose.
sent1: the fact that the tape is a kind of a statuary and it is comatose is false if the raceabout is not comatose. sent2: something is not a kind of a statuary if that it is not a kind of a Furnivall and it housekeeps bilabial is wrong. sent3: there is something such that that the fact that it is comatose and granulomatous is true is incorrect. sent4: if the fact that the raceabout is not a statuary hold then the plier is alphabetic. sent5: that the blackbird is not a kind of a jobcentre is correct. sent6: if either something does not housekeep biologism or it is not granulomatous or both then the blackbird does not housekeep biologism. sent7: the tape is not alphabetic if there exists something such that that it is not alphabetic is true. sent8: if the plier is alphabetic the fact that the tape is comatose is not false. sent9: if the plier is not alphabetic then that the raceabout is a kind of a Furnivall that is alphabetic is not true. sent10: the plier is a statuary. sent11: if the blackbird does not housekeep bilabial the fact that the raceabout is not a Furnivall but it housekeep bilabial is false. sent12: something does not housekeep biologism or is non-granulomatous or both. sent13: if that the blackbird housekeeps bilabial is not incorrect it housekeeps biologism. sent14: the fact that the tape is not comatose is true if the blackbird is comatose thing that does not housekeep biologism. sent15: that the raceabout is alphabetic if the plier does housekeep bilabial is not false. sent16: if something is a spheroid then it does not bottle.
void -> assump1: Let's assume that the blackbird housekeeps bilabial.; sent13 & assump1 -> int1: that the blackbird does housekeep biologism is correct.; sent12 & sent6 -> int2: the blackbird does not housekeep biologism.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blackbird does not housekeep bilabial.; int4 & sent11 -> int5: the fact that the raceabout is not a Furnivall and does housekeep bilabial is not right.; sent2 -> int6: if the fact that the raceabout is not a Furnivall but it housekeeps bilabial is incorrect then it is not statuary.; int5 & int6 -> int7: the raceabout is not a kind of a statuary.; int7 & sent4 -> int8: the plier is alphabetic.; int8 & sent8 -> hypothesis;
the trochanter is not a statuary.
$hypothesis$ = the tape is not comatose. ; $context$ = sent1: the fact that the tape is a kind of a statuary and it is comatose is false if the raceabout is not comatose. sent2: something is not a kind of a statuary if that it is not a kind of a Furnivall and it housekeeps bilabial is wrong. sent3: there is something such that that the fact that it is comatose and granulomatous is true is incorrect. sent4: if the fact that the raceabout is not a statuary hold then the plier is alphabetic. sent5: that the blackbird is not a kind of a jobcentre is correct. sent6: if either something does not housekeep biologism or it is not granulomatous or both then the blackbird does not housekeep biologism. sent7: the tape is not alphabetic if there exists something such that that it is not alphabetic is true. sent8: if the plier is alphabetic the fact that the tape is comatose is not false. sent9: if the plier is not alphabetic then that the raceabout is a kind of a Furnivall that is alphabetic is not true. sent10: the plier is a statuary. sent11: if the blackbird does not housekeep bilabial the fact that the raceabout is not a Furnivall but it housekeep bilabial is false. sent12: something does not housekeep biologism or is non-granulomatous or both. sent13: if that the blackbird housekeeps bilabial is not incorrect it housekeeps biologism. sent14: the fact that the tape is not comatose is true if the blackbird is comatose thing that does not housekeep biologism. sent15: that the raceabout is alphabetic if the plier does housekeep bilabial is not false. sent16: if something is a spheroid then it does not bottle. ; $proof$ = 
void -> assump1: Let's assume that the blackbird housekeeps bilabial.; sent13 & assump1 -> int1: that the blackbird does housekeep biologism is correct.; sent12 & sent6 -> int2: the blackbird does not housekeep biologism.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blackbird does not housekeep bilabial.; int4 & sent11 -> int5: the fact that the raceabout is not a Furnivall and does housekeep bilabial is not right.; sent2 -> int6: if the fact that the raceabout is not a Furnivall but it housekeeps bilabial is incorrect then it is not statuary.; int5 & int6 -> int7: the raceabout is not a kind of a statuary.; int7 & sent4 -> int8: the plier is alphabetic.; int8 & sent8 -> hypothesis; __DISPROVED__