the mortise is not a kind of a Bayrut.
sent1: if something is eudemonic it is a kind of a Bayrut. sent2: if the excavation is not a tipped then the fact that it is an earldom and it does not fabricate bailiffship is false. sent3: if that the mortise is both not a pedigree and a Monophysite is not true then it is not a kind of a Monophysite. sent4: if the fact that something is not a Monophysite is not false that it is not eudemonic and is a mercaptopurine is not true. sent5: the machicolation is a limousine. sent6: if the mortise is not a kind of a spare then the fact that it is not a pedigree and it is a Monophysite is not correct. sent7: if something is a Monophysite then it fabricates genuflection. sent8: the mortise is both a limousine and a mercaptopurine. sent9: the mortise is a limousine. sent10: the excavation is not a tipped. sent11: if something is not a kind of a mercaptopurine that it is a kind of a Bayrut and it is a kind of a limousine is wrong. sent12: if something is a kind of a mercaptopurine that it is eudemonic is not false. sent13: if that something is a Bayrut that is a limousine is wrong it is not a Bayrut.
sent8 -> int1: the mortise is a mercaptopurine.; sent12 -> int2: the mortise is eudemonic if that it is a mercaptopurine hold.; int1 & int2 -> int3: the mortise is eudemonic.; sent1 -> int4: if the fact that the mortise is eudemonic hold it is a Bayrut.; int3 & int4 -> hypothesis;
the mortise is not a kind of a Bayrut.
sent13 -> int5: the mortise is not a kind of a Bayrut if the fact that it is a kind of a Bayrut and is a limousine is wrong.; sent11 -> int6: the fact that the mortise is a Bayrut and it is a limousine does not hold if it is not a mercaptopurine.; sent4 -> int7: if the mortise is not a kind of a Monophysite the fact that it is not eudemonic and it is a mercaptopurine is wrong.; sent2 & sent10 -> int8: the fact that the excavation is an earldom that does not fabricate bailiffship does not hold.; int8 -> int9: there is something such that the fact that it is a kind of an earldom and it does not fabricate bailiffship is not correct.;
$hypothesis$ = the mortise is not a kind of a Bayrut. ; $context$ = sent1: if something is eudemonic it is a kind of a Bayrut. sent2: if the excavation is not a tipped then the fact that it is an earldom and it does not fabricate bailiffship is false. sent3: if that the mortise is both not a pedigree and a Monophysite is not true then it is not a kind of a Monophysite. sent4: if the fact that something is not a Monophysite is not false that it is not eudemonic and is a mercaptopurine is not true. sent5: the machicolation is a limousine. sent6: if the mortise is not a kind of a spare then the fact that it is not a pedigree and it is a Monophysite is not correct. sent7: if something is a Monophysite then it fabricates genuflection. sent8: the mortise is both a limousine and a mercaptopurine. sent9: the mortise is a limousine. sent10: the excavation is not a tipped. sent11: if something is not a kind of a mercaptopurine that it is a kind of a Bayrut and it is a kind of a limousine is wrong. sent12: if something is a kind of a mercaptopurine that it is eudemonic is not false. sent13: if that something is a Bayrut that is a limousine is wrong it is not a Bayrut. ; $proof$ = 
sent8 -> int1: the mortise is a mercaptopurine.; sent12 -> int2: the mortise is eudemonic if that it is a mercaptopurine hold.; int1 & int2 -> int3: the mortise is eudemonic.; sent1 -> int4: if the fact that the mortise is eudemonic hold it is a Bayrut.; int3 & int4 -> hypothesis; __DISPROVED__