the crossing is not a Etruscan but it does wobble Libyan.
sent1: something that is not chaotic does not cloud Hanover or is asteroidal or both. sent2: the fact that something is not a hyoid but a Argonautidae does not hold if it wobbles knowingness. sent3: something that is nonadsorbent is not a club-head. sent4: the coriander is not chaotic if the fact that it is not a kind of a hyoid and it is a Argonautidae is not true. sent5: something is asteroidal. sent6: if that something does not cloud Hanover or is asteroidal or both is correct it does not cloud Hanover. sent7: if something is nonadsorbent and is a club-head the ignoramus does not wobble Libyan. sent8: that the ignoramus is not a club-head and is chaotic does not hold. sent9: if that the coriander does not cloud Hanover is not wrong the talon is nonadsorbent and a club-head. sent10: if the crossing is a Etruscan it is nonadsorbent. sent11: the crossing is both a Etruscan and nonadsorbent if the ignoramus is not a club-head. sent12: if there is something such that it is asteroidal the crossing wobbles Libyan and it does cloud Hanover.
void -> assump1: Let's assume that the crossing is a Etruscan.; sent10 & assump1 -> int1: the crossing is nonadsorbent.; sent3 -> int2: if the crossing is nonadsorbent then it is not a club-head.; int1 & int2 -> int3: the fact that the crossing is not a club-head is not wrong.; sent8 -> int4: there is something such that the fact that it is not a club-head and is chaotic is false.; sent5 & sent12 -> int5: the crossing does wobble Libyan and clouds Hanover.; int5 -> int6: the crossing does wobble Libyan.;
that the crossing is not a Etruscan but it wobbles Libyan is not true.
sent6 -> int7: if the coriander does not cloud Hanover and/or it is asteroidal then it does not cloud Hanover.; sent1 -> int8: either the coriander does not cloud Hanover or it is asteroidal or both if it is not chaotic.; sent2 -> int9: that the fact that the coriander is not hyoid but it is a kind of a Argonautidae hold is wrong if it does wobble knowingness.;
$hypothesis$ = the crossing is not a Etruscan but it does wobble Libyan. ; $context$ = sent1: something that is not chaotic does not cloud Hanover or is asteroidal or both. sent2: the fact that something is not a hyoid but a Argonautidae does not hold if it wobbles knowingness. sent3: something that is nonadsorbent is not a club-head. sent4: the coriander is not chaotic if the fact that it is not a kind of a hyoid and it is a Argonautidae is not true. sent5: something is asteroidal. sent6: if that something does not cloud Hanover or is asteroidal or both is correct it does not cloud Hanover. sent7: if something is nonadsorbent and is a club-head the ignoramus does not wobble Libyan. sent8: that the ignoramus is not a club-head and is chaotic does not hold. sent9: if that the coriander does not cloud Hanover is not wrong the talon is nonadsorbent and a club-head. sent10: if the crossing is a Etruscan it is nonadsorbent. sent11: the crossing is both a Etruscan and nonadsorbent if the ignoramus is not a club-head. sent12: if there is something such that it is asteroidal the crossing wobbles Libyan and it does cloud Hanover. ; $proof$ = 
void -> assump1: Let's assume that the crossing is a Etruscan.; sent10 & assump1 -> int1: the crossing is nonadsorbent.; sent3 -> int2: if the crossing is nonadsorbent then it is not a club-head.; int1 & int2 -> int3: the fact that the crossing is not a club-head is not wrong.; sent8 -> int4: there is something such that the fact that it is not a club-head and is chaotic is false.; sent5 & sent12 -> int5: the crossing does wobble Libyan and clouds Hanover.; int5 -> int6: the crossing does wobble Libyan.; __UNKNOWN__