the magnet does not hog Elizabeth.
sent1: something is a dark if it is not hymenal. sent2: if something is dark it does hog Elizabeth. sent3: something is not hymenal if it is not a bullion. sent4: the pieplant is a kind of a Westminster. sent5: the magnet is not a centavo and not a bullion if the pieplant is a kind of a centavo. sent6: the pieplant is a centavo if it is a kind of a Westminster.
sent6 & sent4 -> int1: that the pieplant is a centavo is not incorrect.; int1 & sent5 -> int2: the magnet is not a kind of a centavo and is not a bullion.; int2 -> int3: the magnet is not a bullion.; sent3 -> int4: that the magnet is not hymenal is right if that it is not a kind of a bullion hold.; int3 & int4 -> int5: the magnet is not hymenal.; sent1 -> int6: the magnet is not non-dark if it is not hymenal.; int5 & int6 -> int7: the magnet is a kind of a dark.; sent2 -> int8: if the magnet is not non-dark then it does hog Elizabeth.; int7 & int8 -> hypothesis;
$hypothesis$ = the magnet does not hog Elizabeth. ; $context$ = sent1: something is a dark if it is not hymenal. sent2: if something is dark it does hog Elizabeth. sent3: something is not hymenal if it is not a bullion. sent4: the pieplant is a kind of a Westminster. sent5: the magnet is not a centavo and not a bullion if the pieplant is a kind of a centavo. sent6: the pieplant is a centavo if it is a kind of a Westminster. ; $proof$ = 
sent6 & sent4 -> int1: that the pieplant is a centavo is not incorrect.; int1 & sent5 -> int2: the magnet is not a kind of a centavo and is not a bullion.; int2 -> int3: the magnet is not a bullion.; sent3 -> int4: that the magnet is not hymenal is right if that it is not a kind of a bullion hold.; int3 & int4 -> int5: the magnet is not hymenal.; sent1 -> int6: the magnet is not non-dark if it is not hymenal.; int5 & int6 -> int7: the magnet is a kind of a dark.; sent2 -> int8: if the magnet is not non-dark then it does hog Elizabeth.; int7 & int8 -> hypothesis; __DISPROVED__