the fact that there exists something such that it is not a kind of a Sotho is not right.
sent1: that the snowcap occidentalizes snowcap and does occidentalize fidelity is not correct. sent2: that something is not an oboist is correct. sent3: if that something is not thirsty and it is not a Sotho is incorrect it is thirsty. sent4: if there exists something such that it is thirsty the fact that the ADA does not occidentalize snowcap and it is not a Winesap is not right. sent5: if that something is not probabilistic but Manx does not hold then it is not indissoluble. sent6: the parent does reposit findings or it does not occidentalize racecard or both. sent7: the parent is not presocratic if the fact that it is not a Verner and does horripilate solvency is false. sent8: if the fact that something is a Winesap is correct that it does not occidentalize racecard and is Albigensian is incorrect. sent9: that the parent is a Verner is correct. sent10: the parent is not central and/or is not a Sotho. sent11: the parent is not Sotho if it does not occidentalize snowcap and/or is not thirsty. sent12: if something is unsinkable then it does not reposit Arcadian. sent13: the parent is not a Hordeum and/or it occidentalizes racecard. sent14: the fact that something is not thirsty and it is not Sotho is incorrect if it is a Verner. sent15: that the licentiate does summon is not false. sent16: the reminder does not occidentalize snowcap. sent17: the parent does not summon if that it is non-Albigensian thing that is historical is wrong. sent18: if the fact that the parent is a Verner hold then it is a Winesap. sent19: something reposits tryst. sent20: that something is a kind of a Sotho hold. sent21: that the parent is a kind of acidic thing that is a Winesap is false. sent22: something does not occidentalize snowcap if that it does not occidentalize racecard and it is Albigensian does not hold. sent23: the parent is not operable. sent24: the fact that the ruminant is a Winesap and it is a myelin is false.
sent8 -> int1: if the parent is a kind of a Winesap the fact that it does not occidentalize racecard and it is Albigensian is incorrect.; sent18 & sent9 -> int2: the parent is a Winesap.; int1 & int2 -> int3: the fact that the parent does not occidentalize racecard and is Albigensian does not hold.; sent22 -> int4: the parent does not occidentalize snowcap if the fact that it does not occidentalize racecard and it is Albigensian does not hold.; int3 & int4 -> int5: the parent does not occidentalize snowcap.; int5 -> int6: the parent does not occidentalize snowcap and/or it is not thirsty.; int6 & sent11 -> int7: the parent is not a kind of a Sotho.; int7 -> hypothesis;
the ADA is a kind of a Winesap.
sent3 -> int8: the fact that the petrifaction is thirsty is right if the fact that it is not thirsty and it is not a Sotho is wrong.; sent14 -> int9: if the cracker is a Verner that it is both not thirsty and not Sotho is incorrect.;
$hypothesis$ = the fact that there exists something such that it is not a kind of a Sotho is not right. ; $context$ = sent1: that the snowcap occidentalizes snowcap and does occidentalize fidelity is not correct. sent2: that something is not an oboist is correct. sent3: if that something is not thirsty and it is not a Sotho is incorrect it is thirsty. sent4: if there exists something such that it is thirsty the fact that the ADA does not occidentalize snowcap and it is not a Winesap is not right. sent5: if that something is not probabilistic but Manx does not hold then it is not indissoluble. sent6: the parent does reposit findings or it does not occidentalize racecard or both. sent7: the parent is not presocratic if the fact that it is not a Verner and does horripilate solvency is false. sent8: if the fact that something is a Winesap is correct that it does not occidentalize racecard and is Albigensian is incorrect. sent9: that the parent is a Verner is correct. sent10: the parent is not central and/or is not a Sotho. sent11: the parent is not Sotho if it does not occidentalize snowcap and/or is not thirsty. sent12: if something is unsinkable then it does not reposit Arcadian. sent13: the parent is not a Hordeum and/or it occidentalizes racecard. sent14: the fact that something is not thirsty and it is not Sotho is incorrect if it is a Verner. sent15: that the licentiate does summon is not false. sent16: the reminder does not occidentalize snowcap. sent17: the parent does not summon if that it is non-Albigensian thing that is historical is wrong. sent18: if the fact that the parent is a Verner hold then it is a Winesap. sent19: something reposits tryst. sent20: that something is a kind of a Sotho hold. sent21: that the parent is a kind of acidic thing that is a Winesap is false. sent22: something does not occidentalize snowcap if that it does not occidentalize racecard and it is Albigensian does not hold. sent23: the parent is not operable. sent24: the fact that the ruminant is a Winesap and it is a myelin is false. ; $proof$ = 
sent8 -> int1: if the parent is a kind of a Winesap the fact that it does not occidentalize racecard and it is Albigensian is incorrect.; sent18 & sent9 -> int2: the parent is a Winesap.; int1 & int2 -> int3: the fact that the parent does not occidentalize racecard and is Albigensian does not hold.; sent22 -> int4: the parent does not occidentalize snowcap if the fact that it does not occidentalize racecard and it is Albigensian does not hold.; int3 & int4 -> int5: the parent does not occidentalize snowcap.; int5 -> int6: the parent does not occidentalize snowcap and/or it is not thirsty.; int6 & sent11 -> int7: the parent is not a kind of a Sotho.; int7 -> hypothesis; __DISPROVED__