the fact that the kanamycin trundles self-heal if the Carthaginian protests forint is false.
sent1: the kanamycin is excusable and it is a NIPR if the dresser is not excusable. sent2: the kanamycin does whore. sent3: if the Carthaginian is a SEB and it protests forint then that the dresser is not excusable is not wrong. sent4: the Carthaginian is a kind of a gasmask. sent5: the Carthaginian is a kind of a NIPR that reruns tang. sent6: the kanamycin is excusable. sent7: if the dresser is not excusable that the kanamycin is excusable is not incorrect. sent8: if something that does not protest forint is not a gasmask then it concretizes. sent9: the Carthaginian is a gasmask and a SEB. sent10: the dresser is a NIPR if something is a gasmask. sent11: something trundles self-heal if it is a kind of a NIPR. sent12: if something is excusable it does not protest forint and is not a gasmask.
sent9 -> int1: the Carthaginian is a kind of a SEB.; void -> assump1: Let's assume that the Carthaginian protests forint.; int1 & assump1 -> int2: the Carthaginian is a kind of a SEB and it does protest forint.; int2 & sent3 -> int3: the dresser is not excusable.; int3 & sent1 -> int4: the kanamycin is excusable and it is a NIPR.; int4 -> int5: the kanamycin is a kind of a NIPR.; sent11 -> int6: the kanamycin trundles self-heal if it is a kind of a NIPR.; int5 & int6 -> int7: the kanamycin trundles self-heal.; [assump1] & int7 -> hypothesis;
the dresser is a NIPR.
$hypothesis$ = the fact that the kanamycin trundles self-heal if the Carthaginian protests forint is false. ; $context$ = sent1: the kanamycin is excusable and it is a NIPR if the dresser is not excusable. sent2: the kanamycin does whore. sent3: if the Carthaginian is a SEB and it protests forint then that the dresser is not excusable is not wrong. sent4: the Carthaginian is a kind of a gasmask. sent5: the Carthaginian is a kind of a NIPR that reruns tang. sent6: the kanamycin is excusable. sent7: if the dresser is not excusable that the kanamycin is excusable is not incorrect. sent8: if something that does not protest forint is not a gasmask then it concretizes. sent9: the Carthaginian is a gasmask and a SEB. sent10: the dresser is a NIPR if something is a gasmask. sent11: something trundles self-heal if it is a kind of a NIPR. sent12: if something is excusable it does not protest forint and is not a gasmask. ; $proof$ = 
sent9 -> int1: the Carthaginian is a kind of a SEB.; void -> assump1: Let's assume that the Carthaginian protests forint.; int1 & assump1 -> int2: the Carthaginian is a kind of a SEB and it does protest forint.; int2 & sent3 -> int3: the dresser is not excusable.; int3 & sent1 -> int4: the kanamycin is excusable and it is a NIPR.; int4 -> int5: the kanamycin is a kind of a NIPR.; sent11 -> int6: the kanamycin trundles self-heal if it is a kind of a NIPR.; int5 & int6 -> int7: the kanamycin trundles self-heal.; [assump1] & int7 -> hypothesis; __DISPROVED__