the casing is a prearrangement and it philanders unpopularity.
sent1: the casing is a prearrangement. sent2: the hairpiece does not palatalize and does blue muffler if the muffler is not unexportable. sent3: if something that is mutagenic is not exportable the fact that the casing philanders unpopularity is true. sent4: the hairpiece palatalizes. sent5: the muffler is mutagenic.
void -> assump1: Let's assume that the fact that the muffler is not unexportable is not false.; sent2 & assump1 -> int1: the hairpiece does not palatalize and blues muffler.; int1 -> int2: that the hairpiece does not palatalize is true.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the muffler is unexportable.; int4 & sent5 -> int5: the muffler is a kind of mutagenic thing that is unexportable.; int5 -> int6: that there is something such that it is mutagenic and it is unexportable is right.; int6 & sent3 -> int7: the casing does philander unpopularity.; int7 & sent1 -> hypothesis;
$hypothesis$ = the casing is a prearrangement and it philanders unpopularity. ; $context$ = sent1: the casing is a prearrangement. sent2: the hairpiece does not palatalize and does blue muffler if the muffler is not unexportable. sent3: if something that is mutagenic is not exportable the fact that the casing philanders unpopularity is true. sent4: the hairpiece palatalizes. sent5: the muffler is mutagenic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the muffler is not unexportable is not false.; sent2 & assump1 -> int1: the hairpiece does not palatalize and blues muffler.; int1 -> int2: that the hairpiece does not palatalize is true.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the muffler is unexportable.; int4 & sent5 -> int5: the muffler is a kind of mutagenic thing that is unexportable.; int5 -> int6: that there is something such that it is mutagenic and it is unexportable is right.; int6 & sent3 -> int7: the casing does philander unpopularity.; int7 & sent1 -> hypothesis; __PROVED__