the life-of-man is not testimonial.
sent1: if the gloxinia is not leptosporangiate then the fact that the chandlery is not alkahestic is not false. sent2: the chandlery is not atrioventricular. sent3: that the yellowbird is not filarial hold. sent4: the scoter is not atrioventricular. sent5: if the fact that the yellowbird is a kind of non-atrioventricular thing that is not a waterspout is false then the gloxinia is not leptosporangiate. sent6: if the fact that that the chandlery is not nonarbitrable and it is not atrioventricular is not wrong is not true then that the yellowbird is not alkahestic is true. sent7: that the chandlery is not a waterspout and not alkahestic is not true. sent8: the chandlery does not maintain cocoon. sent9: either the yellowbird is not a waterspout or it is alkahestic or both. sent10: if that something is a poppet and it is Romansh is not correct it is not a kind of a Anatolian. sent11: if the chandlery does not maintain cocoon the fact that it is not a leprechaun and it is cutting is not true. sent12: the gloxinia is not leptosporangiate if the yellowbird is a kind of a waterspout. sent13: the life-of-man is not testimonial if the chandlery is not arbitrable. sent14: if the chandlery is not pituitary the fact that the gloxinia is a poppet and it is a Romansh is wrong. sent15: the fact that the yellowbird is not atrioventricular but it is a kind of a waterspout is not true. sent16: the life-of-man is not testimonial if the chandlery is non-alkahestic or is nonarbitrable or both. sent17: the fact that the yellowbird is not a kind of a waterspout and it is not alkahestic is not true. sent18: the fact that the yellowbird is not atrioventricular and is not a waterspout is not true. sent19: if the fact that the yellowbird is not nonarbitrable and it is not alkahestic is incorrect the chandlery is not atrioventricular. sent20: the life-of-man is testimonial if the yellowbird is not testimonial but it is alkahestic. sent21: the yellowbird is not leptosporangiate if the gloxinia is not a kind of a waterspout. sent22: if something is not a kind of a Anatolian then it is not a neighborhood and it is not nonarbitrable. sent23: if something is leptosporangiate it is not testimonial but alkahestic. sent24: if the fact that something is not a leprechaun but it does cut is not true then it is non-pituitary.
sent5 & sent18 -> int1: the gloxinia is not leptosporangiate.; sent1 & int1 -> int2: the chandlery is not alkahestic.; int2 -> int3: the chandlery either is not alkahestic or is nonarbitrable or both.; sent16 & int3 -> hypothesis;
the life-of-man is not non-testimonial.
sent23 -> int4: the yellowbird is non-testimonial thing that is alkahestic if it is leptosporangiate.; sent22 -> int5: if the gloxinia is not a Anatolian then it is not a neighborhood and it is not nonarbitrable.; sent10 -> int6: if the fact that the gloxinia is a poppet and it is Romansh is wrong it is not a Anatolian.; sent24 -> int7: if the fact that the chandlery is not a leprechaun and is a kind of a cutting is not right then it is not a kind of a pituitary.; sent11 & sent8 -> int8: that the chandlery is not a leprechaun but cutting is not true.; int7 & int8 -> int9: the chandlery is not a pituitary.; sent14 & int9 -> int10: that the gloxinia is a poppet and Romansh is false.; int6 & int10 -> int11: the gloxinia is not a Anatolian.; int5 & int11 -> int12: the gloxinia is not a neighborhood and is not nonarbitrable.; int12 -> int13: there exists something such that it is not a kind of a neighborhood and it is not nonarbitrable.;
$hypothesis$ = the life-of-man is not testimonial. ; $context$ = sent1: if the gloxinia is not leptosporangiate then the fact that the chandlery is not alkahestic is not false. sent2: the chandlery is not atrioventricular. sent3: that the yellowbird is not filarial hold. sent4: the scoter is not atrioventricular. sent5: if the fact that the yellowbird is a kind of non-atrioventricular thing that is not a waterspout is false then the gloxinia is not leptosporangiate. sent6: if the fact that that the chandlery is not nonarbitrable and it is not atrioventricular is not wrong is not true then that the yellowbird is not alkahestic is true. sent7: that the chandlery is not a waterspout and not alkahestic is not true. sent8: the chandlery does not maintain cocoon. sent9: either the yellowbird is not a waterspout or it is alkahestic or both. sent10: if that something is a poppet and it is Romansh is not correct it is not a kind of a Anatolian. sent11: if the chandlery does not maintain cocoon the fact that it is not a leprechaun and it is cutting is not true. sent12: the gloxinia is not leptosporangiate if the yellowbird is a kind of a waterspout. sent13: the life-of-man is not testimonial if the chandlery is not arbitrable. sent14: if the chandlery is not pituitary the fact that the gloxinia is a poppet and it is a Romansh is wrong. sent15: the fact that the yellowbird is not atrioventricular but it is a kind of a waterspout is not true. sent16: the life-of-man is not testimonial if the chandlery is non-alkahestic or is nonarbitrable or both. sent17: the fact that the yellowbird is not a kind of a waterspout and it is not alkahestic is not true. sent18: the fact that the yellowbird is not atrioventricular and is not a waterspout is not true. sent19: if the fact that the yellowbird is not nonarbitrable and it is not alkahestic is incorrect the chandlery is not atrioventricular. sent20: the life-of-man is testimonial if the yellowbird is not testimonial but it is alkahestic. sent21: the yellowbird is not leptosporangiate if the gloxinia is not a kind of a waterspout. sent22: if something is not a kind of a Anatolian then it is not a neighborhood and it is not nonarbitrable. sent23: if something is leptosporangiate it is not testimonial but alkahestic. sent24: if the fact that something is not a leprechaun but it does cut is not true then it is non-pituitary. ; $proof$ = 
sent5 & sent18 -> int1: the gloxinia is not leptosporangiate.; sent1 & int1 -> int2: the chandlery is not alkahestic.; int2 -> int3: the chandlery either is not alkahestic or is nonarbitrable or both.; sent16 & int3 -> hypothesis; __PROVED__