the fact that the frogmouth is a kind of a fixative that is not disjunctive is not true.
sent1: if the frogmouth does not cater it is not a sheepshank. sent2: the frogmouth does not cater. sent3: the frogmouth is off if that it is a fixative and it is not disjunctive is wrong. sent4: if something quietens Aphriza it is a rickettsialpox. sent5: an off thing does quieten Aphriza. sent6: if the protist quietens Aphriza then the fact that the frogmouth is a fixative but it is not disjunctive is false. sent7: the frogmouth is not a rickettsialpox if it is not a sheepshank.
void -> assump1: Let's assume that that the frogmouth is a kind of a fixative that is not disjunctive does not hold.; sent3 & assump1 -> int1: the frogmouth is off.; sent5 -> int2: if the frogmouth is off that it quietens Aphriza is not false.; int1 & int2 -> int3: the fact that the frogmouth does quieten Aphriza hold.; sent4 -> int4: the frogmouth is a kind of a rickettsialpox if it quietens Aphriza.; int3 & int4 -> int5: the frogmouth is a kind of a rickettsialpox.; sent1 & sent2 -> int6: the frogmouth is not a sheepshank.; sent7 & int6 -> int7: that the frogmouth is not a rickettsialpox is true.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the fact that the frogmouth is a fixative that is not disjunctive does not hold.
$hypothesis$ = the fact that the frogmouth is a kind of a fixative that is not disjunctive is not true. ; $context$ = sent1: if the frogmouth does not cater it is not a sheepshank. sent2: the frogmouth does not cater. sent3: the frogmouth is off if that it is a fixative and it is not disjunctive is wrong. sent4: if something quietens Aphriza it is a rickettsialpox. sent5: an off thing does quieten Aphriza. sent6: if the protist quietens Aphriza then the fact that the frogmouth is a fixative but it is not disjunctive is false. sent7: the frogmouth is not a rickettsialpox if it is not a sheepshank. ; $proof$ = 
void -> assump1: Let's assume that that the frogmouth is a kind of a fixative that is not disjunctive does not hold.; sent3 & assump1 -> int1: the frogmouth is off.; sent5 -> int2: if the frogmouth is off that it quietens Aphriza is not false.; int1 & int2 -> int3: the fact that the frogmouth does quieten Aphriza hold.; sent4 -> int4: the frogmouth is a kind of a rickettsialpox if it quietens Aphriza.; int3 & int4 -> int5: the frogmouth is a kind of a rickettsialpox.; sent1 & sent2 -> int6: the frogmouth is not a sheepshank.; sent7 & int6 -> int7: that the frogmouth is not a rickettsialpox is true.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__