the remise is mutable.
sent1: the dancing-master agitates. sent2: the remise is not mutable if that the fact that the dancing-master agitates and it is a resale is not correct hold. sent3: the remise is mutable if something agitates and it is a resale. sent4: the dancing-master is a resale. sent5: there exists something such that it does agitate. sent6: the fact that the fact that something does agitate and is a kind of a resale is correct is wrong if it is not riparian.
sent1 & sent4 -> int1: the dancing-master does agitate and it is a resale.; int1 -> int2: something agitates and is a kind of a resale.; int2 & sent3 -> hypothesis;
the remise is not mutable.
sent6 -> int3: if the dancing-master is not riparian then the fact that it agitates and it is a resale is not correct.;
$hypothesis$ = the remise is mutable. ; $context$ = sent1: the dancing-master agitates. sent2: the remise is not mutable if that the fact that the dancing-master agitates and it is a resale is not correct hold. sent3: the remise is mutable if something agitates and it is a resale. sent4: the dancing-master is a resale. sent5: there exists something such that it does agitate. sent6: the fact that the fact that something does agitate and is a kind of a resale is correct is wrong if it is not riparian. ; $proof$ = 
sent1 & sent4 -> int1: the dancing-master does agitate and it is a resale.; int1 -> int2: something agitates and is a kind of a resale.; int2 & sent3 -> hypothesis; __PROVED__