that something is a kind of a stretcher and is a quiff is not correct.
sent1: if the flip-flop is not discomycetous then the kea does not unsaddle. sent2: if something is a cittern that it is a stretcher is true. sent3: the snuffbox is a quiff. sent4: the snuffbox is a cittern if the flip-flop is discomycetous. sent5: the kea unsaddles.
void -> assump1: Let's assume that the fact that the flip-flop is not discomycetous is not wrong.; sent1 & assump1 -> int1: the kea does not unsaddle.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the flip-flop is discomycetous.; int3 & sent4 -> int4: the snuffbox is a cittern.; sent2 -> int5: the snuffbox is a kind of a stretcher if it is a cittern.; int4 & int5 -> int6: the snuffbox is a stretcher.; int6 & sent3 -> int7: the snuffbox is a stretcher and is a quiff.; int7 -> hypothesis;
$hypothesis$ = that something is a kind of a stretcher and is a quiff is not correct. ; $context$ = sent1: if the flip-flop is not discomycetous then the kea does not unsaddle. sent2: if something is a cittern that it is a stretcher is true. sent3: the snuffbox is a quiff. sent4: the snuffbox is a cittern if the flip-flop is discomycetous. sent5: the kea unsaddles. ; $proof$ = 
void -> assump1: Let's assume that the fact that the flip-flop is not discomycetous is not wrong.; sent1 & assump1 -> int1: the kea does not unsaddle.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the flip-flop is discomycetous.; int3 & sent4 -> int4: the snuffbox is a cittern.; sent2 -> int5: the snuffbox is a kind of a stretcher if it is a cittern.; int4 & int5 -> int6: the snuffbox is a stretcher.; int6 & sent3 -> int7: the snuffbox is a stretcher and is a quiff.; int7 -> hypothesis; __DISPROVED__