the scuttle is both not a stomach and not non-guilty if the supper is pupillary.
sent1: the supper is guilty if the scuttle is not non-pupillary. sent2: that the scuttle is a stomach is correct. sent3: if the scuttle is not geophytic and does not insert Hamsun then the tracheophyte does not insert Hamsun. sent4: something is not geophytic and it does not insert Hamsun if it is pupillary. sent5: that something is a stomach is true if the fact that it does not insert Hamsun hold. sent6: if that the scuttle is not a stomach but it is guilty is not right then the supper is not pupillary. sent7: if the supper is non-pupillary thing that is guilty the scuttle is not a kind of a stomach. sent8: the fact that the supper does stomach does not hold if the scuttle is non-guilty thing that is pupillary. sent9: the supper is not guilty if the scuttle is not pupillary. sent10: if the fact that the scuttle does stomach and it is guilty does not hold then the supper is not pupillary. sent11: that the supper is not guilty is not incorrect if that the scuttle is not pupillary but it does stomach is wrong. sent12: if the supper is guilty the scuttle is not pupillary but it does stomach. sent13: the scuttle is not a programma. sent14: the dispatcher is pupillary. sent15: the scuttle is not pupillary but guilty. sent16: if the fact that the supper is a stomach is true then the scuttle is non-pupillary thing that is guilty. sent17: the scuttle is not pupillary if the fact that the supper is non-guilty but it does stomach is not right.
void -> assump2: Let's assume that the fact that the scuttle is both not a stomach and guilty is wrong.; sent6 & assump2 -> int1: the supper is not pupillary.; void -> assump1: Let's assume that the supper is pupillary.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the scuttle is both not a stomach and guilty.; [assump1] & int3 -> hypothesis;
the tracheophyte does stomach.
sent5 -> int4: if that the tracheophyte does not insert Hamsun hold then it is a kind of a stomach.; sent4 -> int5: if the scuttle is pupillary then it is not geophytic and does not insert Hamsun.;
$hypothesis$ = the scuttle is both not a stomach and not non-guilty if the supper is pupillary. ; $context$ = sent1: the supper is guilty if the scuttle is not non-pupillary. sent2: that the scuttle is a stomach is correct. sent3: if the scuttle is not geophytic and does not insert Hamsun then the tracheophyte does not insert Hamsun. sent4: something is not geophytic and it does not insert Hamsun if it is pupillary. sent5: that something is a stomach is true if the fact that it does not insert Hamsun hold. sent6: if that the scuttle is not a stomach but it is guilty is not right then the supper is not pupillary. sent7: if the supper is non-pupillary thing that is guilty the scuttle is not a kind of a stomach. sent8: the fact that the supper does stomach does not hold if the scuttle is non-guilty thing that is pupillary. sent9: the supper is not guilty if the scuttle is not pupillary. sent10: if the fact that the scuttle does stomach and it is guilty does not hold then the supper is not pupillary. sent11: that the supper is not guilty is not incorrect if that the scuttle is not pupillary but it does stomach is wrong. sent12: if the supper is guilty the scuttle is not pupillary but it does stomach. sent13: the scuttle is not a programma. sent14: the dispatcher is pupillary. sent15: the scuttle is not pupillary but guilty. sent16: if the fact that the supper is a stomach is true then the scuttle is non-pupillary thing that is guilty. sent17: the scuttle is not pupillary if the fact that the supper is non-guilty but it does stomach is not right. ; $proof$ = 
void -> assump2: Let's assume that the fact that the scuttle is both not a stomach and guilty is wrong.; sent6 & assump2 -> int1: the supper is not pupillary.; void -> assump1: Let's assume that the supper is pupillary.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the scuttle is both not a stomach and guilty.; [assump1] & int3 -> hypothesis; __PROVED__