that the pastrami catapults iniquity if the speck does belabor speck is not right.
sent1: the rockcress is not obtuse if the pastrami does not catapult iniquity. sent2: the smokescreen does not catapult pastrami but it is not impatient. sent3: the rockcress catapults smokescreen. sent4: the rockcress is a kind of non-obtuse thing that is a patient if that the pastrami does not catapult iniquity is not wrong. sent5: if the rockcress is a kind of non-obtuse a patient the speck does not belabor speck. sent6: the rockcress is not obtuse and is a patient if the fact that the pastrami catapults iniquity is not wrong. sent7: that the rockcress is not obtuse is not wrong. sent8: the fact that the pastrami does not belabor speck hold if the rockcress does not catapult iniquity but it is obtuse.
void -> assump2: Let's assume that the speck does belabor speck.; void -> assump1: Let's assume that the pastrami does not catapult iniquity.; sent4 & assump1 -> int1: the rockcress is non-obtuse but it is a patient.; sent5 & int1 -> int2: the speck does not belabor speck.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pastrami catapults iniquity.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that the pastrami catapults iniquity if the speck does belabor speck is not right. ; $context$ = sent1: the rockcress is not obtuse if the pastrami does not catapult iniquity. sent2: the smokescreen does not catapult pastrami but it is not impatient. sent3: the rockcress catapults smokescreen. sent4: the rockcress is a kind of non-obtuse thing that is a patient if that the pastrami does not catapult iniquity is not wrong. sent5: if the rockcress is a kind of non-obtuse a patient the speck does not belabor speck. sent6: the rockcress is not obtuse and is a patient if the fact that the pastrami catapults iniquity is not wrong. sent7: that the rockcress is not obtuse is not wrong. sent8: the fact that the pastrami does not belabor speck hold if the rockcress does not catapult iniquity but it is obtuse. ; $proof$ = 
void -> assump2: Let's assume that the speck does belabor speck.; void -> assump1: Let's assume that the pastrami does not catapult iniquity.; sent4 & assump1 -> int1: the rockcress is non-obtuse but it is a patient.; sent5 & int1 -> int2: the speck does not belabor speck.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pastrami catapults iniquity.; [assump2] & int4 -> hypothesis; __DISPROVED__