the fact that the trawler is not a kind of a mahuang if the collards is not adient but it is a chimpanzee does not hold.
sent1: that the trawler is not a mahuang is not false if something is non-adient thing that is a chimpanzee. sent2: the collards is not adient.
void -> assump1: Let's assume that the collards is not adient but it is a chimpanzee.; assump1 -> int1: something is not adient but a chimpanzee.; int1 & sent1 -> int2: the fact that the trawler is not a mahuang is not wrong.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the trawler is not a kind of a mahuang if the collards is not adient but it is a chimpanzee does not hold. ; $context$ = sent1: that the trawler is not a mahuang is not false if something is non-adient thing that is a chimpanzee. sent2: the collards is not adient. ; $proof$ = 
void -> assump1: Let's assume that the collards is not adient but it is a chimpanzee.; assump1 -> int1: something is not adient but a chimpanzee.; int1 & sent1 -> int2: the fact that the trawler is not a mahuang is not wrong.; [assump1] & int2 -> hypothesis; __DISPROVED__