the fact that there exists something such that it is a lettuce does not hold.
sent1: the Shiite does not unseal skillfulness and is not accessional. sent2: the tri-iodothyronine is not a masquerade if the Shiite is not irresolute and masquerade. sent3: the arbiter is not a kind of a shopwindow and is non-irresolute. sent4: the tri-iodothyronine is non-irresolute. sent5: everything is not a bombsight. sent6: if something that is not a masquerade is not a bombsight it is a lettuce. sent7: the Shiite is both not irresolute and a masquerade. sent8: the tri-iodothyronine does not bankrupt incest.
sent5 -> int1: the tri-iodothyronine is not a kind of a bombsight.; sent2 & sent7 -> int2: the tri-iodothyronine does not masquerade.; int1 & int2 -> int3: the tri-iodothyronine is not a masquerade and it is not a kind of a bombsight.; sent6 -> int4: if the tri-iodothyronine is not a masquerade and it is not a bombsight it is a lettuce.; int3 & int4 -> int5: the tri-iodothyronine is a kind of a lettuce.; int5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that it is a lettuce does not hold. ; $context$ = sent1: the Shiite does not unseal skillfulness and is not accessional. sent2: the tri-iodothyronine is not a masquerade if the Shiite is not irresolute and masquerade. sent3: the arbiter is not a kind of a shopwindow and is non-irresolute. sent4: the tri-iodothyronine is non-irresolute. sent5: everything is not a bombsight. sent6: if something that is not a masquerade is not a bombsight it is a lettuce. sent7: the Shiite is both not irresolute and a masquerade. sent8: the tri-iodothyronine does not bankrupt incest. ; $proof$ = 
sent5 -> int1: the tri-iodothyronine is not a kind of a bombsight.; sent2 & sent7 -> int2: the tri-iodothyronine does not masquerade.; int1 & int2 -> int3: the tri-iodothyronine is not a masquerade and it is not a kind of a bombsight.; sent6 -> int4: if the tri-iodothyronine is not a masquerade and it is not a bombsight it is a lettuce.; int3 & int4 -> int5: the tri-iodothyronine is a kind of a lettuce.; int5 -> hypothesis; __DISPROVED__