the phosphorus is a kind of a ACTH.
sent1: the expositor is not a spin if the mulloway is not a Tarheel. sent2: the expositor is not a Tarheel. sent3: something does not spin if the fact that the fact that it does not reflect and it does not snooker cross-question is not incorrect is not true. sent4: the mulloway is not a swiz and it is not patristic. sent5: if that the pressing is not a spin is not false that the expositor is a Tarheel or not a gasteromycete or both is false. sent6: the phosphorus is not a ACTH if the expositor is not a spin but it is a gasteromycete. sent7: something is not aerophilatelic and is a taxman if that it is a kind of a swiz is right. sent8: something is a swiz if it is patristic. sent9: the coiffeuse is not a kind of a Tarheel. sent10: something is patristic or it is a kind of a Tarheel or both if it is not a kind of a gasteromycete. sent11: if something that is a kind of a ACTH is a spin then the mulloway is not a gasteromycete. sent12: the mulloway is both not a ACTH and not patristic. sent13: the phosphorus is not a ACTH if the fact that the expositor does spin and it is a kind of a gasteromycete is not wrong. sent14: there exists something such that that it does not snooker cross-question and it is not a ACTH is false. sent15: the expositor is not a kind of a spin. sent16: the expositor is a kind of a ACTH if there exists something such that the fact that it does not snooker cross-question and it is not a ACTH is wrong. sent17: the mulloway is not a ACTH. sent18: something is not a kind of a Tarheel if it is not a kind of a swiz. sent19: the expositor is not a kind of a spin but it is a gasteromycete if the mulloway is not a Tarheel. sent20: if the phosphorus does not spin but it is a gasteromycete then the expositor is not a ACTH. sent21: the mulloway is not patristic.
sent4 -> int1: that the mulloway is not a swiz is not false.; sent18 -> int2: the mulloway is not a Tarheel if it is not a swiz.; int1 & int2 -> int3: the mulloway is not a Tarheel.; int3 & sent19 -> int4: the expositor is not a kind of a spin but it is a kind of a gasteromycete.; int4 & sent6 -> hypothesis;
the emcee is not aerophilatelic but it is a taxman.
sent7 -> int5: if the emcee is a swiz then it is not aerophilatelic and is a taxman.; sent8 -> int6: if the emcee is patristic it is a kind of a swiz.; sent10 -> int7: that the mulloway is either patristic or a Tarheel or both is not false if it is not a gasteromycete.; sent14 & sent16 -> int8: that the expositor is a kind of a ACTH hold.;
$hypothesis$ = the phosphorus is a kind of a ACTH. ; $context$ = sent1: the expositor is not a spin if the mulloway is not a Tarheel. sent2: the expositor is not a Tarheel. sent3: something does not spin if the fact that the fact that it does not reflect and it does not snooker cross-question is not incorrect is not true. sent4: the mulloway is not a swiz and it is not patristic. sent5: if that the pressing is not a spin is not false that the expositor is a Tarheel or not a gasteromycete or both is false. sent6: the phosphorus is not a ACTH if the expositor is not a spin but it is a gasteromycete. sent7: something is not aerophilatelic and is a taxman if that it is a kind of a swiz is right. sent8: something is a swiz if it is patristic. sent9: the coiffeuse is not a kind of a Tarheel. sent10: something is patristic or it is a kind of a Tarheel or both if it is not a kind of a gasteromycete. sent11: if something that is a kind of a ACTH is a spin then the mulloway is not a gasteromycete. sent12: the mulloway is both not a ACTH and not patristic. sent13: the phosphorus is not a ACTH if the fact that the expositor does spin and it is a kind of a gasteromycete is not wrong. sent14: there exists something such that that it does not snooker cross-question and it is not a ACTH is false. sent15: the expositor is not a kind of a spin. sent16: the expositor is a kind of a ACTH if there exists something such that the fact that it does not snooker cross-question and it is not a ACTH is wrong. sent17: the mulloway is not a ACTH. sent18: something is not a kind of a Tarheel if it is not a kind of a swiz. sent19: the expositor is not a kind of a spin but it is a gasteromycete if the mulloway is not a Tarheel. sent20: if the phosphorus does not spin but it is a gasteromycete then the expositor is not a ACTH. sent21: the mulloway is not patristic. ; $proof$ = 
sent4 -> int1: that the mulloway is not a swiz is not false.; sent18 -> int2: the mulloway is not a Tarheel if it is not a swiz.; int1 & int2 -> int3: the mulloway is not a Tarheel.; int3 & sent19 -> int4: the expositor is not a kind of a spin but it is a kind of a gasteromycete.; int4 & sent6 -> hypothesis; __DISPROVED__