that the ridge is not a existentialist hold.
sent1: that the ridge does commit is wrong if the Polish is existentialist. sent2: if the barrier is not Guinean the ridge is a kind of a existentialist. sent3: the barrier is a existentialist. sent4: the tonguefish is not a kind of a existentialist. sent5: the Polish commits or it is non-menopausal or both. sent6: the ridge is a Centaurus. sent7: the hare is a Aryan that does not idle. sent8: something that does not idle is a kind of a Centaurus and is a semiprofessional. sent9: something is a Centaurus if it is not menopausal. sent10: the barrier is a kind of a existentialist or is a nitrobacteria or both. sent11: something is a kind of a Centaurus if that it commits or it is not menopausal or both is true. sent12: something is a kind of a existentialist if it either does commit or is not a Guinean or both. sent13: the barrier is not a Guinean if the Polish is a kind of a Centaurus. sent14: if the Polish is a kind of a Guinean then the barrier is non-menopausal. sent15: the Polish is a Guinean if it is not menopausal.
sent11 -> int1: the Polish is a kind of a Centaurus if either it commits or it is not menopausal or both.; int1 & sent5 -> int2: the Polish is a Centaurus.; int2 & sent13 -> int3: the barrier is not a Guinean.; int3 & sent2 -> hypothesis;
the ridge is non-existentialist.
sent8 -> int4: if the hare does not idle it is a kind of a Centaurus and it is a semiprofessional.; sent7 -> int5: the hare is non-idle.; int4 & int5 -> int6: that the hare is a Centaurus and it is a semiprofessional hold.; int6 -> int7: the hare is a Centaurus.; int7 -> int8: something is a kind of a Centaurus.;
$hypothesis$ = that the ridge is not a existentialist hold. ; $context$ = sent1: that the ridge does commit is wrong if the Polish is existentialist. sent2: if the barrier is not Guinean the ridge is a kind of a existentialist. sent3: the barrier is a existentialist. sent4: the tonguefish is not a kind of a existentialist. sent5: the Polish commits or it is non-menopausal or both. sent6: the ridge is a Centaurus. sent7: the hare is a Aryan that does not idle. sent8: something that does not idle is a kind of a Centaurus and is a semiprofessional. sent9: something is a Centaurus if it is not menopausal. sent10: the barrier is a kind of a existentialist or is a nitrobacteria or both. sent11: something is a kind of a Centaurus if that it commits or it is not menopausal or both is true. sent12: something is a kind of a existentialist if it either does commit or is not a Guinean or both. sent13: the barrier is not a Guinean if the Polish is a kind of a Centaurus. sent14: if the Polish is a kind of a Guinean then the barrier is non-menopausal. sent15: the Polish is a Guinean if it is not menopausal. ; $proof$ = 
sent11 -> int1: the Polish is a kind of a Centaurus if either it commits or it is not menopausal or both.; int1 & sent5 -> int2: the Polish is a Centaurus.; int2 & sent13 -> int3: the barrier is not a Guinean.; int3 & sent2 -> hypothesis; __DISPROVED__