if the chiffon is not buteonine then the lugworm is an open.
sent1: if the chiffon is buteonine then the lugworm is not non-open. sent2: the chiffon is psychomotor if it is not a buteonine. sent3: if something is seaworthy and is not a kind of a buteonine then it is psychomotor. sent4: if something is a naumachy then it is dormant. sent5: there exists something such that it is postpositive. sent6: the chiffon is not seaworthy if there exists something such that it is postpositive. sent7: the lugworm scrubs. sent8: if something is seaworthy then it is a hospitalization. sent9: that if something is a kind of a hospitalization it does open is not wrong. sent10: the chiffon is psychomotor if that it is buteonine is not wrong. sent11: if the chiffon is psychomotor then the lugworm is seaworthy. sent12: the chiffon is not seaworthy. sent13: if something that is not open is not a hospitalization then it is not a buteonine. sent14: the fact that the chiffon does not add Mahan is not false. sent15: the Cortland is a acrylamide if it severalizes Muscicapidae. sent16: that the chiffon is a cerate hold. sent17: if the chiffon is not seaworthy and is a kind of a cerate then the chatterbox is seaworthy.
void -> assump1: Let's assume that the chiffon is not buteonine.; sent2 & assump1 -> int1: the chiffon is psychomotor.; int1 & sent11 -> int2: the lugworm is seaworthy.; sent8 -> int3: the lugworm is a hospitalization if it is seaworthy.; int2 & int3 -> int4: the lugworm is a hospitalization.; sent9 -> int5: that the lugworm does open is not wrong if the fact that it is a hospitalization is not incorrect.; int4 & int5 -> int6: the lugworm does open.; [assump1] & int6 -> hypothesis;
the chatterbox is psychomotor.
sent3 -> int7: if the chatterbox is seaworthy and is not a buteonine it is psychomotor.; sent5 & sent6 -> int8: the chiffon is not seaworthy.; int8 & sent16 -> int9: the chiffon is not seaworthy but a cerate.; sent17 & int9 -> int10: the fact that the chatterbox is seaworthy is not wrong.; sent13 -> int11: the chatterbox is non-buteonine if it is not an open and is not a kind of a hospitalization.;
$hypothesis$ = if the chiffon is not buteonine then the lugworm is an open. ; $context$ = sent1: if the chiffon is buteonine then the lugworm is not non-open. sent2: the chiffon is psychomotor if it is not a buteonine. sent3: if something is seaworthy and is not a kind of a buteonine then it is psychomotor. sent4: if something is a naumachy then it is dormant. sent5: there exists something such that it is postpositive. sent6: the chiffon is not seaworthy if there exists something such that it is postpositive. sent7: the lugworm scrubs. sent8: if something is seaworthy then it is a hospitalization. sent9: that if something is a kind of a hospitalization it does open is not wrong. sent10: the chiffon is psychomotor if that it is buteonine is not wrong. sent11: if the chiffon is psychomotor then the lugworm is seaworthy. sent12: the chiffon is not seaworthy. sent13: if something that is not open is not a hospitalization then it is not a buteonine. sent14: the fact that the chiffon does not add Mahan is not false. sent15: the Cortland is a acrylamide if it severalizes Muscicapidae. sent16: that the chiffon is a cerate hold. sent17: if the chiffon is not seaworthy and is a kind of a cerate then the chatterbox is seaworthy. ; $proof$ = 
void -> assump1: Let's assume that the chiffon is not buteonine.; sent2 & assump1 -> int1: the chiffon is psychomotor.; int1 & sent11 -> int2: the lugworm is seaworthy.; sent8 -> int3: the lugworm is a hospitalization if it is seaworthy.; int2 & int3 -> int4: the lugworm is a hospitalization.; sent9 -> int5: that the lugworm does open is not wrong if the fact that it is a hospitalization is not incorrect.; int4 & int5 -> int6: the lugworm does open.; [assump1] & int6 -> hypothesis; __PROVED__