the fact that the bootjack does not service chamomile hold.
sent1: if there is something such that that it does not service chamomile and it does specify Myocastor is incorrect then the bluefin does not specify Myocastor. sent2: if the fact that something is not a founder but reverent is not correct then it does specify Myocastor. sent3: there exists something such that it specifies visionary. sent4: the lignin services chamomile. sent5: if there exists something such that it does specify visionary then the fact that the chamomile does not founder and is reverent does not hold. sent6: if something is a founder then that it does specify Myocastor is correct. sent7: the bootjack does not service chamomile if the fact that something either services occident or specifies Myocastor or both hold. sent8: if there exists something such that that it specifies visionary is not wrong then the fact that the chamomile is a kind of a founder and is reverent is false. sent9: the chamomile does specify Myocastor if it is a founder. sent10: the bootjack is reverent if that it is both not a capsule and leptosporangiate is false. sent11: the fact that the arsenopyrite does not service chamomile and specifies Myocastor is not right.
sent2 -> int1: if the fact that the chamomile is not a founder but it is reverent is wrong it specifies Myocastor.; sent3 & sent5 -> int2: the fact that the chamomile is not a founder but it is reverent is wrong.; int1 & int2 -> int3: the chamomile does specify Myocastor.; int3 -> int4: the chamomile services occident or it does specify Myocastor or both.; int4 -> int5: either something services occident or it does specify Myocastor or both.; int5 & sent7 -> hypothesis;
the bootjack does marbleize or it is a tamarack or both.
sent11 -> int6: there exists something such that the fact that it does not service chamomile and it does specify Myocastor is not right.; int6 & sent1 -> int7: the bluefin does not specify Myocastor.; int7 -> int8: there exists something such that it does not specify Myocastor.;
$hypothesis$ = the fact that the bootjack does not service chamomile hold. ; $context$ = sent1: if there is something such that that it does not service chamomile and it does specify Myocastor is incorrect then the bluefin does not specify Myocastor. sent2: if the fact that something is not a founder but reverent is not correct then it does specify Myocastor. sent3: there exists something such that it specifies visionary. sent4: the lignin services chamomile. sent5: if there exists something such that it does specify visionary then the fact that the chamomile does not founder and is reverent does not hold. sent6: if something is a founder then that it does specify Myocastor is correct. sent7: the bootjack does not service chamomile if the fact that something either services occident or specifies Myocastor or both hold. sent8: if there exists something such that that it specifies visionary is not wrong then the fact that the chamomile is a kind of a founder and is reverent is false. sent9: the chamomile does specify Myocastor if it is a founder. sent10: the bootjack is reverent if that it is both not a capsule and leptosporangiate is false. sent11: the fact that the arsenopyrite does not service chamomile and specifies Myocastor is not right. ; $proof$ = 
sent2 -> int1: if the fact that the chamomile is not a founder but it is reverent is wrong it specifies Myocastor.; sent3 & sent5 -> int2: the fact that the chamomile is not a founder but it is reverent is wrong.; int1 & int2 -> int3: the chamomile does specify Myocastor.; int3 -> int4: the chamomile services occident or it does specify Myocastor or both.; int4 -> int5: either something services occident or it does specify Myocastor or both.; int5 & sent7 -> hypothesis; __PROVED__