the powderer is a Flemish.
sent1: if the cockscomb does piece powderer then the fact that it is not a kind of an out and it is a rat-a-tat-tat is not right. sent2: the grandee does hog assurance and is a caftan. sent3: if the fact that something does not hog Amphiumidae and is a drudging does not hold then it does repress font. sent4: the cockscomb is Bogartian if there exists something such that it is not an oligarchy and it is untruthful. sent5: the powderer is a cumulus if that it is not a kind of an oligarchy and it is untruthful does not hold. sent6: the cockscomb is an oligarchy. sent7: if the cockscomb is Bogartian it pieces powderer. sent8: if something is a cumulus then it is a kind of a Flemish.
void -> assump1: Let's assume that the powderer is both not an oligarchy and untruthful.; assump1 -> int1: there is something such that it is both not an oligarchy and untruthful.; int1 & sent4 -> int2: the cockscomb is Bogartian.; int2 & sent7 -> int3: the cockscomb does piece powderer.; int3 & sent1 -> int4: that the cockscomb is not an out but it is a kind of a rat-a-tat-tat is not correct.; int4 -> int5: there exists something such that the fact that it is not a kind of an out and is a rat-a-tat-tat is false.; sent2 -> int6: the grandee is a caftan.; sent8 -> int7: if the fact that the powderer is a cumulus hold then it is a kind of a Flemish.;
the sculpin does repress font if that it does not hog Amphiumidae and is a drudging is not correct.
sent3 -> hypothesis;
$hypothesis$ = the powderer is a Flemish. ; $context$ = sent1: if the cockscomb does piece powderer then the fact that it is not a kind of an out and it is a rat-a-tat-tat is not right. sent2: the grandee does hog assurance and is a caftan. sent3: if the fact that something does not hog Amphiumidae and is a drudging does not hold then it does repress font. sent4: the cockscomb is Bogartian if there exists something such that it is not an oligarchy and it is untruthful. sent5: the powderer is a cumulus if that it is not a kind of an oligarchy and it is untruthful does not hold. sent6: the cockscomb is an oligarchy. sent7: if the cockscomb is Bogartian it pieces powderer. sent8: if something is a cumulus then it is a kind of a Flemish. ; $proof$ = 
void -> assump1: Let's assume that the powderer is both not an oligarchy and untruthful.; assump1 -> int1: there is something such that it is both not an oligarchy and untruthful.; int1 & sent4 -> int2: the cockscomb is Bogartian.; int2 & sent7 -> int3: the cockscomb does piece powderer.; int3 & sent1 -> int4: that the cockscomb is not an out but it is a kind of a rat-a-tat-tat is not correct.; int4 -> int5: there exists something such that the fact that it is not a kind of an out and is a rat-a-tat-tat is false.; sent2 -> int6: the grandee is a caftan.; sent8 -> int7: if the fact that the powderer is a cumulus hold then it is a kind of a Flemish.; __UNKNOWN__