the holophyte is a Paul and is not a kind of a sundress.
sent1: the fact that if the analgesic is a sundress then the holophyte is a Paul and not a sundress is right. sent2: if the analgesic is a kind of a chainsaw then it is a sundress. sent3: there exists something such that it is basilar. sent4: the acrosome is not immutable and it is not a kind of an appendage. sent5: the analgesic is a kind of a chainsaw if it does integrate chisel. sent6: there is something such that it is not a chainsaw. sent7: a basilar thing is a Embiotocidae. sent8: if the fact that the holophyte does not integrate chisel and is not corrupted is not true it corrupted. sent9: the analgesic is not a kind of a Embiotocidae. sent10: if something is basilar then that it is a Paul but not a sundress does not hold. sent11: if the acrosome is not immutable and is not an appendage the analgesic is immutable. sent12: the analgesic mystifies fetoscope if something is basilar. sent13: the analgesic integrates chisel if it does not corrupt and it is not a Embiotocidae.
sent3 & sent12 -> int1: the analgesic mystifies fetoscope.; sent11 & sent4 -> int2: the analgesic is immutable.; int1 & int2 -> int3: the analgesic is immutable and does mystify fetoscope.;
the salvager is a kind of a Embiotocidae.
sent7 -> int4: the salvager is a Embiotocidae if it is basilar.;
$hypothesis$ = the holophyte is a Paul and is not a kind of a sundress. ; $context$ = sent1: the fact that if the analgesic is a sundress then the holophyte is a Paul and not a sundress is right. sent2: if the analgesic is a kind of a chainsaw then it is a sundress. sent3: there exists something such that it is basilar. sent4: the acrosome is not immutable and it is not a kind of an appendage. sent5: the analgesic is a kind of a chainsaw if it does integrate chisel. sent6: there is something such that it is not a chainsaw. sent7: a basilar thing is a Embiotocidae. sent8: if the fact that the holophyte does not integrate chisel and is not corrupted is not true it corrupted. sent9: the analgesic is not a kind of a Embiotocidae. sent10: if something is basilar then that it is a Paul but not a sundress does not hold. sent11: if the acrosome is not immutable and is not an appendage the analgesic is immutable. sent12: the analgesic mystifies fetoscope if something is basilar. sent13: the analgesic integrates chisel if it does not corrupt and it is not a Embiotocidae. ; $proof$ = 
sent3 & sent12 -> int1: the analgesic mystifies fetoscope.; sent11 & sent4 -> int2: the analgesic is immutable.; int1 & int2 -> int3: the analgesic is immutable and does mystify fetoscope.; __UNKNOWN__