the moa is a bombshell.
sent1: if the musical is not a bombshell but it is fossiliferous it is not a sirenian. sent2: something is not a bombshell and is fossiliferous if it is a tapster. sent3: something is not a bombshell if the fact that it fabricates sociolinguist and/or is not a PX is incorrect. sent4: if the musical is a PX then the thyrse is a kind of a cowbarn. sent5: if that something is fossiliferous hold it is a bombshell. sent6: if the fact that the musical is non-anthracitic thing that does not fabricate credendum is false it does not fabricate disordered. sent7: if the thyrse fabricates disordered then the decarboxylation is anthracitic. sent8: if something that is not a cowbarn is a PX then it fabricates sociolinguist. sent9: if something is not a kind of a sirenian that it is not anthracitic and it does not fabricate credendum is false. sent10: the musical is a PX and does fabricate sociolinguist. sent11: the moa is fossiliferous if it does not fabricate credendum and is not a kind of a sirenian. sent12: if there exists something such that it is anthracitic then the moa does not fabricate credendum and it is not a kind of a sirenian. sent13: the fact that the thyrse fabricates disordered is not incorrect if it is a cowbarn. sent14: the musical does broil musical and/or quarantines moa.
sent10 -> int1: the musical is a PX.; int1 & sent4 -> int2: the thyrse is a kind of a cowbarn.; int2 & sent13 -> int3: the thyrse does fabricate disordered.; int3 & sent7 -> int4: the decarboxylation is anthracitic.; int4 -> int5: there exists something such that it is anthracitic.; int5 & sent12 -> int6: the moa does not fabricate credendum and it is not a sirenian.; int6 & sent11 -> int7: the moa is fossiliferous.; sent5 -> int8: the moa is a bombshell if it is fossiliferous.; int7 & int8 -> hypothesis;
the moa is not a bombshell.
sent3 -> int9: the moa is not a bombshell if the fact that it does fabricate sociolinguist and/or it is not a kind of a PX is not correct.;
$hypothesis$ = the moa is a bombshell. ; $context$ = sent1: if the musical is not a bombshell but it is fossiliferous it is not a sirenian. sent2: something is not a bombshell and is fossiliferous if it is a tapster. sent3: something is not a bombshell if the fact that it fabricates sociolinguist and/or is not a PX is incorrect. sent4: if the musical is a PX then the thyrse is a kind of a cowbarn. sent5: if that something is fossiliferous hold it is a bombshell. sent6: if the fact that the musical is non-anthracitic thing that does not fabricate credendum is false it does not fabricate disordered. sent7: if the thyrse fabricates disordered then the decarboxylation is anthracitic. sent8: if something that is not a cowbarn is a PX then it fabricates sociolinguist. sent9: if something is not a kind of a sirenian that it is not anthracitic and it does not fabricate credendum is false. sent10: the musical is a PX and does fabricate sociolinguist. sent11: the moa is fossiliferous if it does not fabricate credendum and is not a kind of a sirenian. sent12: if there exists something such that it is anthracitic then the moa does not fabricate credendum and it is not a kind of a sirenian. sent13: the fact that the thyrse fabricates disordered is not incorrect if it is a cowbarn. sent14: the musical does broil musical and/or quarantines moa. ; $proof$ = 
sent10 -> int1: the musical is a PX.; int1 & sent4 -> int2: the thyrse is a kind of a cowbarn.; int2 & sent13 -> int3: the thyrse does fabricate disordered.; int3 & sent7 -> int4: the decarboxylation is anthracitic.; int4 -> int5: there exists something such that it is anthracitic.; int5 & sent12 -> int6: the moa does not fabricate credendum and it is not a sirenian.; int6 & sent11 -> int7: the moa is fossiliferous.; sent5 -> int8: the moa is a bombshell if it is fossiliferous.; int7 & int8 -> hypothesis; __PROVED__