the makomako is Laotian.
sent1: the makomako is Laotian if the shim is not Laotian and it is not amygdaline. sent2: the fact that the granddaughter is not amygdaline if the muishond does not subside Comstock hold. sent3: the fact that if something is not a kind of a Artocarpus the makomako is not Laotian is not wrong. sent4: the elephant is not easy if the granddaughter does subside Comstock or it is not a Allegheny or both. sent5: that the hemp is not a Artocarpus hold if the elephant is uneasy. sent6: if the quietist is a Allegheny the granddaughter subsides Comstock or is not a Allegheny or both. sent7: if something is not monistic then it is not Laotian and it is not amygdaline. sent8: the muishond is amygdaline if the shim is monistic. sent9: the quietist is a Allegheny if the muishond is amygdaline. sent10: the fact that the shim is monistic is correct. sent11: something is not monistic if it is a Allegheny and it subsides Comstock.
sent8 & sent10 -> int1: the fact that the muishond is amygdaline is correct.; sent9 & int1 -> int2: the quietist is a kind of a Allegheny.; sent6 & int2 -> int3: the granddaughter subsides Comstock and/or it is not a kind of a Allegheny.; sent4 & int3 -> int4: the elephant is not easy.; sent5 & int4 -> int5: the hemp is not a Artocarpus.; int5 -> int6: there exists something such that that it is not a kind of a Artocarpus hold.; int6 & sent3 -> hypothesis;
the makomako is Laotian.
sent7 -> int7: if the shim is not monistic then it is not Laotian and it is not amygdaline.; sent11 -> int8: that the shim is not monistic is not false if it is a Allegheny and subsides Comstock.;
$hypothesis$ = the makomako is Laotian. ; $context$ = sent1: the makomako is Laotian if the shim is not Laotian and it is not amygdaline. sent2: the fact that the granddaughter is not amygdaline if the muishond does not subside Comstock hold. sent3: the fact that if something is not a kind of a Artocarpus the makomako is not Laotian is not wrong. sent4: the elephant is not easy if the granddaughter does subside Comstock or it is not a Allegheny or both. sent5: that the hemp is not a Artocarpus hold if the elephant is uneasy. sent6: if the quietist is a Allegheny the granddaughter subsides Comstock or is not a Allegheny or both. sent7: if something is not monistic then it is not Laotian and it is not amygdaline. sent8: the muishond is amygdaline if the shim is monistic. sent9: the quietist is a Allegheny if the muishond is amygdaline. sent10: the fact that the shim is monistic is correct. sent11: something is not monistic if it is a Allegheny and it subsides Comstock. ; $proof$ = 
sent8 & sent10 -> int1: the fact that the muishond is amygdaline is correct.; sent9 & int1 -> int2: the quietist is a kind of a Allegheny.; sent6 & int2 -> int3: the granddaughter subsides Comstock and/or it is not a kind of a Allegheny.; sent4 & int3 -> int4: the elephant is not easy.; sent5 & int4 -> int5: the hemp is not a Artocarpus.; int5 -> int6: there exists something such that that it is not a kind of a Artocarpus hold.; int6 & sent3 -> hypothesis; __DISPROVED__