that the landlord coats samarskite but it is not plumbaginaceous does not hold.
sent1: that something does coat samarskite but it is not plumbaginaceous is wrong if it is a cheddar. sent2: the clout is a cheddar and does not coat samarskite. sent3: the samarskite coats samarskite but it is not impassable. sent4: the landlord coats samarskite and is not plumbaginaceous if the clout does not coats samarskite. sent5: if that the clout is not plumbaginaceous hold the landlord is plumbaginaceous.
sent2 -> int1: the clout does not coat samarskite.; sent4 & int1 -> hypothesis;
the fact that the landlord does coat samarskite but it is not plumbaginaceous is not right.
sent1 -> int2: that the landlord does coat samarskite but it is non-plumbaginaceous does not hold if it is a cheddar.;
$hypothesis$ = that the landlord coats samarskite but it is not plumbaginaceous does not hold. ; $context$ = sent1: that something does coat samarskite but it is not plumbaginaceous is wrong if it is a cheddar. sent2: the clout is a cheddar and does not coat samarskite. sent3: the samarskite coats samarskite but it is not impassable. sent4: the landlord coats samarskite and is not plumbaginaceous if the clout does not coats samarskite. sent5: if that the clout is not plumbaginaceous hold the landlord is plumbaginaceous. ; $proof$ = 
sent2 -> int1: the clout does not coat samarskite.; sent4 & int1 -> hypothesis; __DISPROVED__