the cementite is a Gobi.
sent1: if the fact that the cementite is cytokinetic and is not a kind of a ablution is not right that it is a Gobi is correct. sent2: if that something is a MA and/or it is not macrobiotic is incorrect it is a kind of a ablution. sent3: something is a Hellman if that either it is cytokinetic or it is a ablution or both does not hold. sent4: the rubber is a ablution if the ruddle is a kind of a Hellman. sent5: if the fact that something is an oxide and/or it is not a MA is incorrect it manacles exhibitor. sent6: the ruddle is a Hellman if the exhibitor is macrobiotic. sent7: there is nothing that is an oxide or not a MA or both. sent8: the ruddle is not cytokinetic. sent9: that the cementite is cytokinetic and is not a ablution does not hold if the rubber is a ablution. sent10: that the exhibitor is an oxide and/or it is not a ablution is wrong. sent11: the fact that the exhibitor is a Gobi and it manacles exhibitor is incorrect. sent12: the exhibitor is a ablution. sent13: if something is not cytokinetic then that it is a ablution and it is a kind of a Hellman is false. sent14: the ruddle is a kind of a Gobi. sent15: if something does manacle exhibitor it is macrobiotic. sent16: if something that does not manacle exhibitor is macrobiotic it is not a Gobi.
sent5 -> int1: if that either the exhibitor is an oxide or it is not a MA or both is not correct then it manacles exhibitor.; sent7 -> int2: the fact that the exhibitor is a kind of an oxide and/or it is not a MA is not correct.; int1 & int2 -> int3: the exhibitor manacles exhibitor.; sent15 -> int4: the exhibitor is macrobiotic if it manacles exhibitor.; int3 & int4 -> int5: the exhibitor is macrobiotic.; int5 & sent6 -> int6: the ruddle is a Hellman.; int6 & sent4 -> int7: the rubber is a ablution.; int7 & sent9 -> int8: that the cementite is cytokinetic but it is not a ablution is not true.; int8 & sent1 -> hypothesis;
the cementite is not a kind of a Gobi.
sent16 -> int9: the cementite is not a kind of a Gobi if it does not manacle exhibitor and is macrobiotic.; sent13 -> int10: if the ruddle is not cytokinetic then that it is a ablution that is a Hellman is incorrect.; int10 & sent8 -> int11: the fact that the ruddle is a ablution that is a Hellman does not hold.; int11 -> int12: there is something such that the fact that it is a ablution and a Hellman does not hold.;
$hypothesis$ = the cementite is a Gobi. ; $context$ = sent1: if the fact that the cementite is cytokinetic and is not a kind of a ablution is not right that it is a Gobi is correct. sent2: if that something is a MA and/or it is not macrobiotic is incorrect it is a kind of a ablution. sent3: something is a Hellman if that either it is cytokinetic or it is a ablution or both does not hold. sent4: the rubber is a ablution if the ruddle is a kind of a Hellman. sent5: if the fact that something is an oxide and/or it is not a MA is incorrect it manacles exhibitor. sent6: the ruddle is a Hellman if the exhibitor is macrobiotic. sent7: there is nothing that is an oxide or not a MA or both. sent8: the ruddle is not cytokinetic. sent9: that the cementite is cytokinetic and is not a ablution does not hold if the rubber is a ablution. sent10: that the exhibitor is an oxide and/or it is not a ablution is wrong. sent11: the fact that the exhibitor is a Gobi and it manacles exhibitor is incorrect. sent12: the exhibitor is a ablution. sent13: if something is not cytokinetic then that it is a ablution and it is a kind of a Hellman is false. sent14: the ruddle is a kind of a Gobi. sent15: if something does manacle exhibitor it is macrobiotic. sent16: if something that does not manacle exhibitor is macrobiotic it is not a Gobi. ; $proof$ = 
sent5 -> int1: if that either the exhibitor is an oxide or it is not a MA or both is not correct then it manacles exhibitor.; sent7 -> int2: the fact that the exhibitor is a kind of an oxide and/or it is not a MA is not correct.; int1 & int2 -> int3: the exhibitor manacles exhibitor.; sent15 -> int4: the exhibitor is macrobiotic if it manacles exhibitor.; int3 & int4 -> int5: the exhibitor is macrobiotic.; int5 & sent6 -> int6: the ruddle is a Hellman.; int6 & sent4 -> int7: the rubber is a ablution.; int7 & sent9 -> int8: that the cementite is cytokinetic but it is not a ablution is not true.; int8 & sent1 -> hypothesis; __PROVED__