the fact that the hoist is a incomprehension or is not an ideologist or both is not true.
sent1: there exists something such that it is functional and/or it is not a Ostwald. sent2: everything is not telephonic and does not realign sea-duty. sent3: either the domestic is a kind of an ideologist or it is not a Ostwald or both if the hoist does not realign nightshade. sent4: that if a mauve is a kind of a Peabody it is not a kind of a incomprehension is not incorrect. sent5: the domestic is not a incomprehension. sent6: the domestic is a kind of a Ostwald that is adiabatic. sent7: there exists something such that it realigns nightshade. sent8: that something that realigns sea-duty and is not a kind of a mauve does not realign nightshade hold. sent9: the hoist is not a Ostwald. sent10: the procurator is not a Ostwald if there is something such that it is functional or is not a Ostwald or both. sent11: the domestic does not realign sea-duty. sent12: everything is not paramagnetic and it is not inhospitable. sent13: if the gum-lac does not realign nightshade then the hoist is a incomprehension and/or is not a kind of an ideologist. sent14: if that something is not telephonic but it does realign sea-duty is true it is not a Peabody. sent15: the procurator is not adiabatic and frolics gum-lac. sent16: if the procurator is not adiabatic it does realign nightshade and it is a kind of a Peabody. sent17: there is something such that it does frolic subjectivism and is a kind of a weatherboard. sent18: the bone is not a Peabody if something that is a Ostwald is adiabatic. sent19: the gum-lac does not realign nightshade if the bone is not a mauve and it is not a Peabody. sent20: if something is not telephonic and does not realign sea-duty then it is not a mauve. sent21: something is not non-statistical and not non-osteal.
sent20 -> int1: the bone is not a mauve if it is not telephonic and it does not realign sea-duty.; sent2 -> int2: the bone is not telephonic and does not realign sea-duty.; int1 & int2 -> int3: the bone is not a mauve.; sent6 -> int4: something is a Ostwald that is adiabatic.; int4 & sent18 -> int5: the bone is not a Peabody.; int3 & int5 -> int6: the bone is not a mauve and it is not a Peabody.; int6 & sent19 -> int7: the gum-lac does not realign nightshade.; int7 & sent13 -> hypothesis;
the procurator is not a kind of a incomprehension.
sent4 -> int8: if the procurator is both a mauve and a Peabody then it is not a incomprehension.; sent1 & sent10 -> int9: the procurator is not a Ostwald.; sent15 -> int10: the procurator is not adiabatic.; sent16 & int10 -> int11: the procurator does realign nightshade and it is a kind of a Peabody.; int11 -> int12: the procurator is a Peabody.;
$hypothesis$ = the fact that the hoist is a incomprehension or is not an ideologist or both is not true. ; $context$ = sent1: there exists something such that it is functional and/or it is not a Ostwald. sent2: everything is not telephonic and does not realign sea-duty. sent3: either the domestic is a kind of an ideologist or it is not a Ostwald or both if the hoist does not realign nightshade. sent4: that if a mauve is a kind of a Peabody it is not a kind of a incomprehension is not incorrect. sent5: the domestic is not a incomprehension. sent6: the domestic is a kind of a Ostwald that is adiabatic. sent7: there exists something such that it realigns nightshade. sent8: that something that realigns sea-duty and is not a kind of a mauve does not realign nightshade hold. sent9: the hoist is not a Ostwald. sent10: the procurator is not a Ostwald if there is something such that it is functional or is not a Ostwald or both. sent11: the domestic does not realign sea-duty. sent12: everything is not paramagnetic and it is not inhospitable. sent13: if the gum-lac does not realign nightshade then the hoist is a incomprehension and/or is not a kind of an ideologist. sent14: if that something is not telephonic but it does realign sea-duty is true it is not a Peabody. sent15: the procurator is not adiabatic and frolics gum-lac. sent16: if the procurator is not adiabatic it does realign nightshade and it is a kind of a Peabody. sent17: there is something such that it does frolic subjectivism and is a kind of a weatherboard. sent18: the bone is not a Peabody if something that is a Ostwald is adiabatic. sent19: the gum-lac does not realign nightshade if the bone is not a mauve and it is not a Peabody. sent20: if something is not telephonic and does not realign sea-duty then it is not a mauve. sent21: something is not non-statistical and not non-osteal. ; $proof$ = 
sent20 -> int1: the bone is not a mauve if it is not telephonic and it does not realign sea-duty.; sent2 -> int2: the bone is not telephonic and does not realign sea-duty.; int1 & int2 -> int3: the bone is not a mauve.; sent6 -> int4: something is a Ostwald that is adiabatic.; int4 & sent18 -> int5: the bone is not a Peabody.; int3 & int5 -> int6: the bone is not a mauve and it is not a Peabody.; int6 & sent19 -> int7: the gum-lac does not realign nightshade.; int7 & sent13 -> hypothesis; __DISPROVED__