the fact that the fact that the mate compromises harpulla and is not hot hold if the harpulla is preventable does not hold.
sent1: something that does compromise harpulla and is transcultural is preventable. sent2: if something that compromises harpulla is transcultural that it is not preventable hold. sent3: if the harpulla does not compromise harpulla then the mate does compromise harpulla and is not hot. sent4: if the mate is a Virchow but it is not transcultural the harpulla does compromise harpulla. sent5: if something is not non-transcultural then it is a piroplasm. sent6: if the harpulla is preventable the mate is not hot. sent7: if the fact that the harpulla does not compromise harpulla is not incorrect then the mate is not hot. sent8: that the Satanist is a kind of a antlion is not wrong if the saddlebill is a kind of a antlion. sent9: the mate is not hot. sent10: the saddlebill compromises harpulla and is not a piroplasm. sent11: the plunger is not transcultural. sent12: the harpulla is a kind of a Virchow if that the saddlebill is both a antlion and a piroplasm is correct. sent13: that the harpulla is a Virchow is not false if the saddlebill is a antlion but it is not a piroplasm. sent14: the mate ambushes earth-god if something is both not transcultural and a Virchow. sent15: if the saddlebill does not compromise harpulla then the mate is not preventable. sent16: if something is a Virchow then it is transcultural. sent17: the saddlebill is both a antlion and not a piroplasm. sent18: the harpulla is preventable if it compromises harpulla and is transcultural. sent19: the fact that the saddlebill is not a piroplasm is not wrong.
sent13 & sent17 -> int1: the harpulla is a Virchow.; sent16 -> int2: if the harpulla is a Virchow the fact that it is transcultural is right.; int1 & int2 -> int3: the harpulla is transcultural.; void -> assump2: Let's assume that the harpulla does compromise harpulla.; int3 & assump2 -> int4: the harpulla compromises harpulla and it is transcultural.; sent2 -> int5: the harpulla is unpreventable if it compromises harpulla and it is transcultural.; int4 & int5 -> int6: the harpulla is not preventable.; void -> assump1: Let's assume that the harpulla is preventable.; int6 & assump1 -> int7: this is contradiction.; [assump2] & int7 -> int8: the harpulla does not compromise harpulla.; int8 & sent3 -> int9: the mate does compromise harpulla but it is not hot.; [assump1] & int9 -> hypothesis;
the mate ambushes earth-god and is unpreventable.
$hypothesis$ = the fact that the fact that the mate compromises harpulla and is not hot hold if the harpulla is preventable does not hold. ; $context$ = sent1: something that does compromise harpulla and is transcultural is preventable. sent2: if something that compromises harpulla is transcultural that it is not preventable hold. sent3: if the harpulla does not compromise harpulla then the mate does compromise harpulla and is not hot. sent4: if the mate is a Virchow but it is not transcultural the harpulla does compromise harpulla. sent5: if something is not non-transcultural then it is a piroplasm. sent6: if the harpulla is preventable the mate is not hot. sent7: if the fact that the harpulla does not compromise harpulla is not incorrect then the mate is not hot. sent8: that the Satanist is a kind of a antlion is not wrong if the saddlebill is a kind of a antlion. sent9: the mate is not hot. sent10: the saddlebill compromises harpulla and is not a piroplasm. sent11: the plunger is not transcultural. sent12: the harpulla is a kind of a Virchow if that the saddlebill is both a antlion and a piroplasm is correct. sent13: that the harpulla is a Virchow is not false if the saddlebill is a antlion but it is not a piroplasm. sent14: the mate ambushes earth-god if something is both not transcultural and a Virchow. sent15: if the saddlebill does not compromise harpulla then the mate is not preventable. sent16: if something is a Virchow then it is transcultural. sent17: the saddlebill is both a antlion and not a piroplasm. sent18: the harpulla is preventable if it compromises harpulla and is transcultural. sent19: the fact that the saddlebill is not a piroplasm is not wrong. ; $proof$ = 
sent13 & sent17 -> int1: the harpulla is a Virchow.; sent16 -> int2: if the harpulla is a Virchow the fact that it is transcultural is right.; int1 & int2 -> int3: the harpulla is transcultural.; void -> assump2: Let's assume that the harpulla does compromise harpulla.; int3 & assump2 -> int4: the harpulla compromises harpulla and it is transcultural.; sent2 -> int5: the harpulla is unpreventable if it compromises harpulla and it is transcultural.; int4 & int5 -> int6: the harpulla is not preventable.; void -> assump1: Let's assume that the harpulla is preventable.; int6 & assump1 -> int7: this is contradiction.; [assump2] & int7 -> int8: the harpulla does not compromise harpulla.; int8 & sent3 -> int9: the mate does compromise harpulla but it is not hot.; [assump1] & int9 -> hypothesis; __DISPROVED__