the e does coat Goldsmith.
sent1: if something that does not theme biologism does toughen it is a metatarsal. sent2: the e is not a Codiaeum if the fact that the ichthyosaurus is a Nice and metatarsal is right. sent3: if that something does toughen and it does coat Goldsmith does not hold the fact that it does not coat Goldsmith is correct. sent4: the utahraptor is not a Codiaeum. sent5: the ichthyosaurus toughens. sent6: the ichthyosaurus is not a teal if the fact that it is not noncausative and it is not a frame-up is not true. sent7: if something is not a teal then that it toughens and does coat Goldsmith is not correct. sent8: if something is not a teal and/or does not theme biologism the fact that it is not a teal is right. sent9: if something is not a kind of a Codiaeum it does coat Goldsmith. sent10: that the ichthyosaurus is not noncausative and it is not a kind of a frame-up is not correct. sent11: if the ichthyosaurus is not metatarsal then the e is not a kind of a teal and/or does not theme biologism. sent12: there exists something such that it is a somatosense. sent13: if something is a somatosense then the ichthyosaurus is a Nice. sent14: if the kalansuwa is a Nice and it is metatarsal then the ichthyosaurus is not a metatarsal. sent15: if the ichthyosaurus is not a teal that it toughens is not wrong. sent16: something that is not a kind of a teal does not theme biologism and does toughen.
sent6 & sent10 -> int1: the fact that the ichthyosaurus is not a teal hold.; sent16 -> int2: if the ichthyosaurus is not a teal then it does not theme biologism and it does toughen.; int1 & int2 -> int3: the ichthyosaurus does not theme biologism and toughens.; sent1 -> int4: the ichthyosaurus is metatarsal if it does not theme biologism and it does toughen.; int3 & int4 -> int5: the ichthyosaurus is not non-metatarsal.; sent12 & sent13 -> int6: the ichthyosaurus is a kind of a Nice.; int5 & int6 -> int7: the ichthyosaurus is a kind of a Nice and it is a kind of a metatarsal.; int7 & sent2 -> int8: the e is not a kind of a Codiaeum.; sent9 -> int9: the e does coat Goldsmith if that it is not a Codiaeum is right.; int8 & int9 -> hypothesis;
the e does not coat Goldsmith.
sent3 -> int10: if that the e toughens and it coats Goldsmith does not hold then it does not coats Goldsmith.; sent7 -> int11: if the e is not a kind of a teal then that it does toughen and does coat Goldsmith does not hold.; sent8 -> int12: if that the e is not a teal or it does not theme biologism or both is right it is not a teal.;
$hypothesis$ = the e does coat Goldsmith. ; $context$ = sent1: if something that does not theme biologism does toughen it is a metatarsal. sent2: the e is not a Codiaeum if the fact that the ichthyosaurus is a Nice and metatarsal is right. sent3: if that something does toughen and it does coat Goldsmith does not hold the fact that it does not coat Goldsmith is correct. sent4: the utahraptor is not a Codiaeum. sent5: the ichthyosaurus toughens. sent6: the ichthyosaurus is not a teal if the fact that it is not noncausative and it is not a frame-up is not true. sent7: if something is not a teal then that it toughens and does coat Goldsmith is not correct. sent8: if something is not a teal and/or does not theme biologism the fact that it is not a teal is right. sent9: if something is not a kind of a Codiaeum it does coat Goldsmith. sent10: that the ichthyosaurus is not noncausative and it is not a kind of a frame-up is not correct. sent11: if the ichthyosaurus is not metatarsal then the e is not a kind of a teal and/or does not theme biologism. sent12: there exists something such that it is a somatosense. sent13: if something is a somatosense then the ichthyosaurus is a Nice. sent14: if the kalansuwa is a Nice and it is metatarsal then the ichthyosaurus is not a metatarsal. sent15: if the ichthyosaurus is not a teal that it toughens is not wrong. sent16: something that is not a kind of a teal does not theme biologism and does toughen. ; $proof$ = 
sent6 & sent10 -> int1: the fact that the ichthyosaurus is not a teal hold.; sent16 -> int2: if the ichthyosaurus is not a teal then it does not theme biologism and it does toughen.; int1 & int2 -> int3: the ichthyosaurus does not theme biologism and toughens.; sent1 -> int4: the ichthyosaurus is metatarsal if it does not theme biologism and it does toughen.; int3 & int4 -> int5: the ichthyosaurus is not non-metatarsal.; sent12 & sent13 -> int6: the ichthyosaurus is a kind of a Nice.; int5 & int6 -> int7: the ichthyosaurus is a kind of a Nice and it is a kind of a metatarsal.; int7 & sent2 -> int8: the e is not a kind of a Codiaeum.; sent9 -> int9: the e does coat Goldsmith if that it is not a Codiaeum is right.; int8 & int9 -> hypothesis; __PROVED__