the fact that the coffin is non-immutable if the orthoptist is not a shorts is wrong.
sent1: the orthoptist is a Taurus. sent2: if the orthoptist is a shorts then the coffin is not immutable. sent3: the pterodactyl is a kind of a shorts. sent4: the postmistress is not shorts. sent5: the argil is immutable. sent6: the upholder is not shorts. sent7: the coffin is immutable if the orthoptist is not a kind of a shorts. sent8: that the coffin is a kind of a mollycoddle is correct. sent9: the coffin does not flounder ravehook. sent10: if that the coffin is immutable is not false then the orthoptist is shorts. sent11: the coffin is a kind of a shorts.
void -> assump2: Let's assume that the coffin is immutable.; sent10 & assump2 -> int1: the orthoptist is a kind of a shorts.; void -> assump1: Let's assume that the orthoptist is not a shorts.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the coffin is not immutable.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the coffin is non-immutable if the orthoptist is not a shorts is wrong. ; $context$ = sent1: the orthoptist is a Taurus. sent2: if the orthoptist is a shorts then the coffin is not immutable. sent3: the pterodactyl is a kind of a shorts. sent4: the postmistress is not shorts. sent5: the argil is immutable. sent6: the upholder is not shorts. sent7: the coffin is immutable if the orthoptist is not a kind of a shorts. sent8: that the coffin is a kind of a mollycoddle is correct. sent9: the coffin does not flounder ravehook. sent10: if that the coffin is immutable is not false then the orthoptist is shorts. sent11: the coffin is a kind of a shorts. ; $proof$ = 
void -> assump2: Let's assume that the coffin is immutable.; sent10 & assump2 -> int1: the orthoptist is a kind of a shorts.; void -> assump1: Let's assume that the orthoptist is not a shorts.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the coffin is not immutable.; [assump1] & int3 -> hypothesis; __DISPROVED__