the embodiment does wharf.
sent1: the mallee is a Wylie if it sags floriculture. sent2: there are antitypic things. sent3: the fact that the mallee is cryonic is true. sent4: the mallee is canonic. sent5: if the mallee is chromosomal then the fact that it is not antitypic or it is not canonic or both does not hold. sent6: there exists something such that the fact that it is not antitypic or is canonic or both is wrong. sent7: that the mallee does not ejaculate quantification but it is cryonic is not true. sent8: the mallee is cryonic if it does not sag floriculture. sent9: something is not antitypic or not canonic or both. sent10: if something sags floriculture then the fact that it is not civic or not unlawful or both is false. sent11: something is cryonic if it does not sag floriculture. sent12: something is canonic. sent13: if the mallee is chromosomal then it is canonic. sent14: if the mallee is a Wylie it is chromosomal. sent15: something does not ejaculate quantification and is cryonic if it does not sag floriculture. sent16: there exists something such that the fact that it is antitypic and/or it is not canonic is wrong. sent17: the fact that something does not sag floriculture and is a kind of a Wylie is not correct if it is chromosomal.
sent15 -> int1: if the mallee does not sag floriculture it does not ejaculate quantification and is cryonic.; void -> assump1: Let's assume that the mallee does not sag floriculture.; int1 & assump1 -> int2: the mallee does not ejaculate quantification but it is cryonic.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mallee does sag floriculture.; int4 & sent1 -> int5: the mallee is a Wylie.; int5 & sent14 -> int6: the mallee is chromosomal.; int6 & sent5 -> int7: that either the mallee is not antitypic or it is non-canonic or both is not true.; int7 -> int8: there is something such that that it is not antitypic or is not canonic or both is false.;
the embodiment does not wharf.
sent17 -> int9: that the metacarpal does not sag floriculture but it is a Wylie does not hold if it is chromosomal.;
$hypothesis$ = the embodiment does wharf. ; $context$ = sent1: the mallee is a Wylie if it sags floriculture. sent2: there are antitypic things. sent3: the fact that the mallee is cryonic is true. sent4: the mallee is canonic. sent5: if the mallee is chromosomal then the fact that it is not antitypic or it is not canonic or both does not hold. sent6: there exists something such that the fact that it is not antitypic or is canonic or both is wrong. sent7: that the mallee does not ejaculate quantification but it is cryonic is not true. sent8: the mallee is cryonic if it does not sag floriculture. sent9: something is not antitypic or not canonic or both. sent10: if something sags floriculture then the fact that it is not civic or not unlawful or both is false. sent11: something is cryonic if it does not sag floriculture. sent12: something is canonic. sent13: if the mallee is chromosomal then it is canonic. sent14: if the mallee is a Wylie it is chromosomal. sent15: something does not ejaculate quantification and is cryonic if it does not sag floriculture. sent16: there exists something such that the fact that it is antitypic and/or it is not canonic is wrong. sent17: the fact that something does not sag floriculture and is a kind of a Wylie is not correct if it is chromosomal. ; $proof$ = 
sent15 -> int1: if the mallee does not sag floriculture it does not ejaculate quantification and is cryonic.; void -> assump1: Let's assume that the mallee does not sag floriculture.; int1 & assump1 -> int2: the mallee does not ejaculate quantification but it is cryonic.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mallee does sag floriculture.; int4 & sent1 -> int5: the mallee is a Wylie.; int5 & sent14 -> int6: the mallee is chromosomal.; int6 & sent5 -> int7: that either the mallee is not antitypic or it is non-canonic or both is not true.; int7 -> int8: there is something such that that it is not antitypic or is not canonic or both is false.; __UNKNOWN__