the fact that either the breadwinner does not tunnel utterer or it does not tunnel Persephone or both is wrong.
sent1: the breadwinner either pecks breadwinner or is not a inverter or both. sent2: the outrigger does get if the autoantibody is a transportation. sent3: if the outrigger is not a kind of a get then the autoantibody get but it is not a transportation. sent4: if something is a Truman it does not tunnel utterer. sent5: the outrigger does tunnel Dasypodidae but it is not scarce. sent6: that the breadwinner is scarce but it does not tunnel Gibbon is not true if the autoantibody does not tunnel Gibbon. sent7: something does not tunnel Gibbon if it is a get but not a transportation. sent8: there is something such that the fact that the fact that it either is a kind of a Luxor or is not a mist or both is correct is not true. sent9: if that something is scarce but it does not tunnel Gibbon is wrong then it is a Truman. sent10: if there is something such that the fact that it is a Luxor and/or it is not a kind of a mist does not hold then the outrigger is not a get. sent11: if the drift is scarce the vanilla is scarce. sent12: the vanilla tunnels Gibbon and is not a kind of a Truman if it is scarce. sent13: there exists something such that the fact that it is a Luxor and/or does mist does not hold. sent14: if something is a kind of a get that is a transportation it does not tunnel Gibbon. sent15: the fact that the breadwinner is scarce and tunnels Gibbon is not right. sent16: there exists something such that it is a mist.
sent8 & sent10 -> int1: the outrigger does not get.; int1 & sent3 -> int2: the autoantibody gets but it is not a transportation.; sent7 -> int3: the autoantibody does not tunnel Gibbon if it is a get that is not a transportation.; int2 & int3 -> int4: the autoantibody does not tunnel Gibbon.; int4 & sent6 -> int5: the fact that the breadwinner is scarce and does not tunnel Gibbon is not right.; sent9 -> int6: if that the breadwinner is scarce but it does not tunnel Gibbon is not correct then it is a Truman.; int5 & int6 -> int7: the breadwinner is a Truman.; sent4 -> int8: if the breadwinner is a kind of a Truman then the fact that it does not tunnel utterer is correct.; int7 & int8 -> int9: the breadwinner does not tunnel utterer.; int9 -> hypothesis;
the fact that the breadwinner does not tunnel utterer and/or it does not tunnel Persephone is wrong.
$hypothesis$ = the fact that either the breadwinner does not tunnel utterer or it does not tunnel Persephone or both is wrong. ; $context$ = sent1: the breadwinner either pecks breadwinner or is not a inverter or both. sent2: the outrigger does get if the autoantibody is a transportation. sent3: if the outrigger is not a kind of a get then the autoantibody get but it is not a transportation. sent4: if something is a Truman it does not tunnel utterer. sent5: the outrigger does tunnel Dasypodidae but it is not scarce. sent6: that the breadwinner is scarce but it does not tunnel Gibbon is not true if the autoantibody does not tunnel Gibbon. sent7: something does not tunnel Gibbon if it is a get but not a transportation. sent8: there is something such that the fact that the fact that it either is a kind of a Luxor or is not a mist or both is correct is not true. sent9: if that something is scarce but it does not tunnel Gibbon is wrong then it is a Truman. sent10: if there is something such that the fact that it is a Luxor and/or it is not a kind of a mist does not hold then the outrigger is not a get. sent11: if the drift is scarce the vanilla is scarce. sent12: the vanilla tunnels Gibbon and is not a kind of a Truman if it is scarce. sent13: there exists something such that the fact that it is a Luxor and/or does mist does not hold. sent14: if something is a kind of a get that is a transportation it does not tunnel Gibbon. sent15: the fact that the breadwinner is scarce and tunnels Gibbon is not right. sent16: there exists something such that it is a mist. ; $proof$ = 
sent8 & sent10 -> int1: the outrigger does not get.; int1 & sent3 -> int2: the autoantibody gets but it is not a transportation.; sent7 -> int3: the autoantibody does not tunnel Gibbon if it is a get that is not a transportation.; int2 & int3 -> int4: the autoantibody does not tunnel Gibbon.; int4 & sent6 -> int5: the fact that the breadwinner is scarce and does not tunnel Gibbon is not right.; sent9 -> int6: if that the breadwinner is scarce but it does not tunnel Gibbon is not correct then it is a Truman.; int5 & int6 -> int7: the breadwinner is a Truman.; sent4 -> int8: if the breadwinner is a kind of a Truman then the fact that it does not tunnel utterer is correct.; int7 & int8 -> int9: the breadwinner does not tunnel utterer.; int9 -> hypothesis; __DISPROVED__