the subtopia is not a kind of a popgun but it is scriptural.
sent1: if the fact that the egg-and-dart is not a marsupial but a felt does not hold then the subtopia is not guttural. sent2: the egg-and-dart is a kind of a Goncourt if it is non-marsupial thing that is a kind of a felt. sent3: the subtopia is bigger if the fact that it is a kind of bigger thing that is a kind of a mumbling does not hold. sent4: the singlet is not a kind of a mumbling if the urate tempers Chabad. sent5: if something is bigger it is a kind of a guttural. sent6: if the urate does defray Sacco the singlet is not a mumbling. sent7: something is bigger if it is a Goncourt. sent8: if something is not a kind of a guttural it is not a popgun and is scriptural. sent9: if the egg-and-dart is bigger the singlet mumbles.
void -> assump1: Let's assume that the egg-and-dart is not marsupial but it feels.; sent2 & assump1 -> int1: the egg-and-dart is a Goncourt.; sent7 -> int2: the egg-and-dart is bigger if it is a Goncourt.; int1 & int2 -> int3: the fact that the egg-and-dart is bigger is not wrong.; int3 & sent9 -> int4: the singlet does mumble.; sent8 -> int5: the subtopia is not a popgun but it is scriptural if it is not guttural.;
that the subtopia is not a popgun but it is scriptural does not hold.
$hypothesis$ = the subtopia is not a kind of a popgun but it is scriptural. ; $context$ = sent1: if the fact that the egg-and-dart is not a marsupial but a felt does not hold then the subtopia is not guttural. sent2: the egg-and-dart is a kind of a Goncourt if it is non-marsupial thing that is a kind of a felt. sent3: the subtopia is bigger if the fact that it is a kind of bigger thing that is a kind of a mumbling does not hold. sent4: the singlet is not a kind of a mumbling if the urate tempers Chabad. sent5: if something is bigger it is a kind of a guttural. sent6: if the urate does defray Sacco the singlet is not a mumbling. sent7: something is bigger if it is a Goncourt. sent8: if something is not a kind of a guttural it is not a popgun and is scriptural. sent9: if the egg-and-dart is bigger the singlet mumbles. ; $proof$ = 
void -> assump1: Let's assume that the egg-and-dart is not marsupial but it feels.; sent2 & assump1 -> int1: the egg-and-dart is a Goncourt.; sent7 -> int2: the egg-and-dart is bigger if it is a Goncourt.; int1 & int2 -> int3: the fact that the egg-and-dart is bigger is not wrong.; int3 & sent9 -> int4: the singlet does mumble.; sent8 -> int5: the subtopia is not a popgun but it is scriptural if it is not guttural.; __UNKNOWN__