the blackcock is a Asian.
sent1: there is something such that it is sexagesimal. sent2: the hipbone does batch slippered if there is something such that it is not sexagesimal. sent3: the fact that the blackcock does not irradiate cootie but it batches slippered is incorrect if that the hipbone batches slippered hold. sent4: if that something does not irradiate cootie but it does batch slippered does not hold it is not a kind of a Asian. sent5: if something does not batch slippered it is not a Asian. sent6: there is something such that it is not sexagesimal.
sent6 & sent2 -> int1: the hipbone batches slippered.; int1 & sent3 -> int2: the fact that the fact that the blackcock does not irradiate cootie and does batch slippered is wrong is correct.; sent4 -> int3: if that the blackcock does not irradiate cootie and batches slippered is not true it is not a Asian.; int2 & int3 -> hypothesis;
$hypothesis$ = the blackcock is a Asian. ; $context$ = sent1: there is something such that it is sexagesimal. sent2: the hipbone does batch slippered if there is something such that it is not sexagesimal. sent3: the fact that the blackcock does not irradiate cootie but it batches slippered is incorrect if that the hipbone batches slippered hold. sent4: if that something does not irradiate cootie but it does batch slippered does not hold it is not a kind of a Asian. sent5: if something does not batch slippered it is not a Asian. sent6: there is something such that it is not sexagesimal. ; $proof$ = 
sent6 & sent2 -> int1: the hipbone batches slippered.; int1 & sent3 -> int2: the fact that the fact that the blackcock does not irradiate cootie and does batch slippered is wrong is correct.; sent4 -> int3: if that the blackcock does not irradiate cootie and batches slippered is not true it is not a Asian.; int2 & int3 -> hypothesis; __DISPROVED__