the coccyx is a low-warp-loom.
sent1: something noses or does not variegate Falstaff or both. sent2: the hemerobiid is not a nosed and/or it does not variegate Falstaff. sent3: the phosphorescence is moneyless if the indene does variegate wasp. sent4: if the fact that something is moneyless and/or does variegate wasp is not right then it is not a low-warp-loom. sent5: the hemerobiid is a kind of a nosed and/or does not variegate Falstaff. sent6: if the phosphorescence is moneyless then it is a kind of a bloodmobile. sent7: something is not a nosed and/or variegates Falstaff. sent8: the hemerobiid is not a nosed or it does variegate Falstaff or both. sent9: if the phosphorescence is a kind of a bloodmobile the coccyx is a kind of a low-warp-loom.
sent2 -> int1: there exists something such that it is not a nosed or it does not variegate Falstaff or both.;
the coccyx is not a kind of a low-warp-loom.
sent4 -> int2: if that either the coccyx is moneyless or it does variegate wasp or both is wrong then it is not a low-warp-loom.;
$hypothesis$ = the coccyx is a low-warp-loom. ; $context$ = sent1: something noses or does not variegate Falstaff or both. sent2: the hemerobiid is not a nosed and/or it does not variegate Falstaff. sent3: the phosphorescence is moneyless if the indene does variegate wasp. sent4: if the fact that something is moneyless and/or does variegate wasp is not right then it is not a low-warp-loom. sent5: the hemerobiid is a kind of a nosed and/or does not variegate Falstaff. sent6: if the phosphorescence is moneyless then it is a kind of a bloodmobile. sent7: something is not a nosed and/or variegates Falstaff. sent8: the hemerobiid is not a nosed or it does variegate Falstaff or both. sent9: if the phosphorescence is a kind of a bloodmobile the coccyx is a kind of a low-warp-loom. ; $proof$ = 
sent2 -> int1: there exists something such that it is not a nosed or it does not variegate Falstaff or both.; __UNKNOWN__