the fact that the omnirange is a saber hold.
sent1: the tinfoil is abomasal if it is not a Zurvanism. sent2: the tinfoil is not a Zurvanism. sent3: if the tinfoil is a kind of a Jabalpur it is a laborer. sent4: if something is a kind of a Jabalpur the fact that it sabers hold. sent5: if something is not non-purposeless then the fact that it is abomasal and it does not slog is not right. sent6: the wickiup is abomasal and it is not non-purposeless if the herbivore does not slog. sent7: if the wickiup is abomasal and it is purposeless the tinfoil is not purposeless. sent8: that the omnirange is a Jabalpur and/or it is a laborer if there are non-purposeless things is true. sent9: if the wickiup is not intradermal the omnirange does not saber. sent10: if something is a laborer it is purposeless. sent11: if the tinfoil is not a kind of a Zurvanism then it is abomasal and it does not slog. sent12: the omnirange is a Zurvanism. sent13: that something does not slog is right if it is not intradermal. sent14: if the tinfoil is not a kind of a Jabalpur the fact that the wickiup is not intradermal is true. sent15: that the burrfish is a Zurvanism and it is intradermal is wrong.
void -> assump1: Let's assume that the tinfoil is a kind of a Jabalpur.; sent3 & assump1 -> int1: the tinfoil is a kind of a laborer.; sent10 -> int2: the tinfoil is purposeless if it is a laborer.; int1 & int2 -> int3: the tinfoil is purposeless.; sent5 -> int4: that the tinfoil is abomasal and does not slog is not correct if it is purposeless.; int3 & int4 -> int5: that the tinfoil is a kind of abomasal thing that does not slog does not hold.; sent11 & sent2 -> int6: the tinfoil is abomasal thing that does not slog.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tinfoil is not a Jabalpur.; int8 & sent14 -> int9: the wickiup is not intradermal.; int9 & sent9 -> hypothesis;
the omnirange sabers.
sent13 -> int10: the herbivore does not slog if the fact that it is not intradermal hold.; sent15 -> int11: there exists something such that the fact that it is a Zurvanism and it is intradermal is incorrect.; sent4 -> int12: the omnirange is a saber if it is a Jabalpur.;
$hypothesis$ = the fact that the omnirange is a saber hold. ; $context$ = sent1: the tinfoil is abomasal if it is not a Zurvanism. sent2: the tinfoil is not a Zurvanism. sent3: if the tinfoil is a kind of a Jabalpur it is a laborer. sent4: if something is a kind of a Jabalpur the fact that it sabers hold. sent5: if something is not non-purposeless then the fact that it is abomasal and it does not slog is not right. sent6: the wickiup is abomasal and it is not non-purposeless if the herbivore does not slog. sent7: if the wickiup is abomasal and it is purposeless the tinfoil is not purposeless. sent8: that the omnirange is a Jabalpur and/or it is a laborer if there are non-purposeless things is true. sent9: if the wickiup is not intradermal the omnirange does not saber. sent10: if something is a laborer it is purposeless. sent11: if the tinfoil is not a kind of a Zurvanism then it is abomasal and it does not slog. sent12: the omnirange is a Zurvanism. sent13: that something does not slog is right if it is not intradermal. sent14: if the tinfoil is not a kind of a Jabalpur the fact that the wickiup is not intradermal is true. sent15: that the burrfish is a Zurvanism and it is intradermal is wrong. ; $proof$ = 
void -> assump1: Let's assume that the tinfoil is a kind of a Jabalpur.; sent3 & assump1 -> int1: the tinfoil is a kind of a laborer.; sent10 -> int2: the tinfoil is purposeless if it is a laborer.; int1 & int2 -> int3: the tinfoil is purposeless.; sent5 -> int4: that the tinfoil is abomasal and does not slog is not correct if it is purposeless.; int3 & int4 -> int5: that the tinfoil is a kind of abomasal thing that does not slog does not hold.; sent11 & sent2 -> int6: the tinfoil is abomasal thing that does not slog.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tinfoil is not a Jabalpur.; int8 & sent14 -> int9: the wickiup is not intradermal.; int9 & sent9 -> hypothesis; __DISPROVED__