the cosmetic is a Aquitaine and/or it is a kind of an expedience.
sent1: the fact that the cosmetic does not propose checkroom but it is a kishke is not true if the three is an expedience. sent2: if that the cosmetic is phalangeal is correct the fact that the three is not a kishke and does propose checkroom is not true. sent3: if that the three is not a kind of a kishke and does propose checkroom is false the East is a boogie. sent4: the fact that the mizzen is phalangeal is not wrong. sent5: if the fact that the cosmetic is not phalangeal hold then it is an expedience.
void -> assump1: Let's assume that the cosmetic is not non-phalangeal.; sent2 & assump1 -> int1: that the three is not a kind of a kishke and proposes checkroom is incorrect.; int1 & sent3 -> int2: the East does boogie.;
$hypothesis$ = the cosmetic is a Aquitaine and/or it is a kind of an expedience. ; $context$ = sent1: the fact that the cosmetic does not propose checkroom but it is a kishke is not true if the three is an expedience. sent2: if that the cosmetic is phalangeal is correct the fact that the three is not a kishke and does propose checkroom is not true. sent3: if that the three is not a kind of a kishke and does propose checkroom is false the East is a boogie. sent4: the fact that the mizzen is phalangeal is not wrong. sent5: if the fact that the cosmetic is not phalangeal hold then it is an expedience. ; $proof$ = 
void -> assump1: Let's assume that the cosmetic is not non-phalangeal.; sent2 & assump1 -> int1: that the three is not a kind of a kishke and proposes checkroom is incorrect.; int1 & sent3 -> int2: the East does boogie.; __UNKNOWN__