that the gyrostabilizer is not Liberian but it is a esthetician does not hold.
sent1: if the mount is not a esthetician the fact that the gyrostabilizer is not Liberian but it is a esthetician does not hold. sent2: the gyrostabilizer is not nonwashable if there exists something such that the fact that it is not a kind of a esthetician and is Liberian is not correct. sent3: if there exists something such that that it is a kind of non-nonwashable a Joffrey is not correct the fact that the mount is not a esthetician is right. sent4: there is something such that that it is not a esthetician and it is a Joffrey does not hold. sent5: the fact that the sika is not nonwashable but it is a Joffrey is not true.
sent5 -> int1: there exists something such that the fact that it is not nonwashable and it is a Joffrey is wrong.; int1 & sent3 -> int2: the mount is not a esthetician.; sent1 & int2 -> hypothesis;
$hypothesis$ = that the gyrostabilizer is not Liberian but it is a esthetician does not hold. ; $context$ = sent1: if the mount is not a esthetician the fact that the gyrostabilizer is not Liberian but it is a esthetician does not hold. sent2: the gyrostabilizer is not nonwashable if there exists something such that the fact that it is not a kind of a esthetician and is Liberian is not correct. sent3: if there exists something such that that it is a kind of non-nonwashable a Joffrey is not correct the fact that the mount is not a esthetician is right. sent4: there is something such that that it is not a esthetician and it is a Joffrey does not hold. sent5: the fact that the sika is not nonwashable but it is a Joffrey is not true. ; $proof$ = 
sent5 -> int1: there exists something such that the fact that it is not nonwashable and it is a Joffrey is wrong.; int1 & sent3 -> int2: the mount is not a esthetician.; sent1 & int2 -> hypothesis; __PROVED__