the nylons is not a regular.
sent1: the citrulline is not a Malathion if it does not hash Hegelian and it is not a kind of a Capella. sent2: something that is not a acrophony is a verticil that is cardiac. sent3: something is both not binary and not a sulfonate if it is not a Malathion. sent4: the citrulline does not hash Hegelian and is not a Capella. sent5: the nylons is not regular if the Hegelian is not non-cardiac or it is a Marquand or both. sent6: the Hegelian is not calycular but a beef if the fact that it is non-cardiac is true. sent7: the Hegelian is not calycular. sent8: the citrulline is not a sulfonate. sent9: that the citrulline is a kind of a sulfonate that is non-binary is wrong if something is a Malathion. sent10: the flitch does accord brickkiln. sent11: the fact that something is not a bewitchery and/or it does not hash Hegelian is not true if it does accord brickkiln. sent12: the Hegelian is a acrophony and/or it is not a regular if there is something such that it is cardiac. sent13: if the Hegelian is a beef the tangerine is a acrophony. sent14: the nylons is a regular if the Hegelian is a kind of a acrophony. sent15: if the fact that the citrulline is a sulfonate that is not a binary does not hold that the tangerine is not a Marquand hold. sent16: if the tangerine is not a Gretzky then it is not editorial. sent17: if the fact that something either is not a bewitchery or does not hash Hegelian or both is false then it is not a Capella. sent18: the tangerine is editorial if the citrulline is not binary and it is not a sulfonate. sent19: something is cardiac if it is not a Gretzky or editorial or both. sent20: if that the flitch is not a Capella is right the quadriplegic is a kind of a Malathion.
void -> assump1: Let's assume that the Hegelian is not cardiac.; sent6 & assump1 -> int1: the Hegelian is not calycular but it is a beef.; int1 -> int2: the Hegelian is a beef.; int2 & sent13 -> int3: the tangerine is a acrophony.; int3 -> int4: the tangerine is a acrophony and/or it is not a Gretzky.; sent3 -> int5: the citrulline is not a kind of a binary and it is not a sulfonate if it is not a Malathion.; sent1 & sent4 -> int6: the citrulline is not a Malathion.; int5 & int6 -> int7: the fact that the citrulline is not a binary and it is not a kind of a sulfonate is right.; sent18 & int7 -> int8: the tangerine is editorial.;
the philhellene is a verticil and/or it is not a binary.
sent2 -> int9: if the philhellene is not a acrophony then it is a kind of a verticil and it is cardiac.;
$hypothesis$ = the nylons is not a regular. ; $context$ = sent1: the citrulline is not a Malathion if it does not hash Hegelian and it is not a kind of a Capella. sent2: something that is not a acrophony is a verticil that is cardiac. sent3: something is both not binary and not a sulfonate if it is not a Malathion. sent4: the citrulline does not hash Hegelian and is not a Capella. sent5: the nylons is not regular if the Hegelian is not non-cardiac or it is a Marquand or both. sent6: the Hegelian is not calycular but a beef if the fact that it is non-cardiac is true. sent7: the Hegelian is not calycular. sent8: the citrulline is not a sulfonate. sent9: that the citrulline is a kind of a sulfonate that is non-binary is wrong if something is a Malathion. sent10: the flitch does accord brickkiln. sent11: the fact that something is not a bewitchery and/or it does not hash Hegelian is not true if it does accord brickkiln. sent12: the Hegelian is a acrophony and/or it is not a regular if there is something such that it is cardiac. sent13: if the Hegelian is a beef the tangerine is a acrophony. sent14: the nylons is a regular if the Hegelian is a kind of a acrophony. sent15: if the fact that the citrulline is a sulfonate that is not a binary does not hold that the tangerine is not a Marquand hold. sent16: if the tangerine is not a Gretzky then it is not editorial. sent17: if the fact that something either is not a bewitchery or does not hash Hegelian or both is false then it is not a Capella. sent18: the tangerine is editorial if the citrulline is not binary and it is not a sulfonate. sent19: something is cardiac if it is not a Gretzky or editorial or both. sent20: if that the flitch is not a Capella is right the quadriplegic is a kind of a Malathion. ; $proof$ = 
void -> assump1: Let's assume that the Hegelian is not cardiac.; sent6 & assump1 -> int1: the Hegelian is not calycular but it is a beef.; int1 -> int2: the Hegelian is a beef.; int2 & sent13 -> int3: the tangerine is a acrophony.; int3 -> int4: the tangerine is a acrophony and/or it is not a Gretzky.; sent3 -> int5: the citrulline is not a kind of a binary and it is not a sulfonate if it is not a Malathion.; sent1 & sent4 -> int6: the citrulline is not a Malathion.; int5 & int6 -> int7: the fact that the citrulline is not a binary and it is not a kind of a sulfonate is right.; sent18 & int7 -> int8: the tangerine is editorial.; __UNKNOWN__