that the patty-pan is not a polyandrist is not wrong.
sent1: the patty-pan is a London. sent2: if something is not unregenerate the patty-pan is an alphabet. sent3: if the fact that the patty-pan is an alphabet and rambles Digitaria is not false then it is not a polyandrist. sent4: the patty-pan rambles Digitaria if it is a London.
sent4 & sent1 -> int1: the patty-pan does ramble Digitaria.;
$hypothesis$ = that the patty-pan is not a polyandrist is not wrong. ; $context$ = sent1: the patty-pan is a London. sent2: if something is not unregenerate the patty-pan is an alphabet. sent3: if the fact that the patty-pan is an alphabet and rambles Digitaria is not false then it is not a polyandrist. sent4: the patty-pan rambles Digitaria if it is a London. ; $proof$ = 
sent4 & sent1 -> int1: the patty-pan does ramble Digitaria.; __UNKNOWN__