the handline does assume airiness.
sent1: if something is both areolar and a turnpike it does not congratulate keratin. sent2: if there is something such that the fact that it is a burgh or not a nonviolence or both is right the scorpionfish is not a morgue. sent3: if something does not assume pay-phone and it is not a nondriver it does not spread-eagle. sent4: the executant is a kind of nonrepresentational thing that is not a kind of a morgue if the scorpionfish does not spread-eagle. sent5: the executant either is a burgh or is a nonviolence or both. sent6: if something does hide it is a turnpike. sent7: the fact that the scorpionfish is areolar is not incorrect. sent8: something does not spend bicycle if the fact that it does spend bicycle and it is protrusive is false. sent9: the executant is a burgh and/or it is not a kind of a nonviolence if the handline does not assume airiness. sent10: something is a kind of a burgh or is a kind of a nonviolence or both. sent11: something does assume airiness or it is a kind of a morgue or both if it does not spread-eagle. sent12: that something does spend bicycle and it is protrusive is not true if it does not congratulate keratin. sent13: if the executant is nonrepresentational and not a morgue then the handline is not a morgue. sent14: the executant is either a burgh or a nonviolence or both if the fact that the handline does not assume airiness is correct. sent15: if the tug is nonrepresentational it does spread-eagle. sent16: the scorpionfish does not assume pay-phone and is not a kind of a nondriver if it does not spend bicycle. sent17: the tug is nonrepresentational. sent18: if something is not a morgue then it does not assume airiness.
void -> assump1: Let's assume that the handline does not assume airiness.; sent9 & assump1 -> int1: the executant is a burgh and/or it is not a nonviolence.; int1 -> int2: there is something such that it is a burgh or it is not a nonviolence or both.; int2 & sent2 -> int3: the scorpionfish is not a morgue.; sent15 & sent17 -> int4: the tug does spread-eagle.;
the handline does not assume airiness.
sent18 -> int5: if the handline is not a kind of a morgue it does not assume airiness.; sent3 -> int6: if the scorpionfish does not assume pay-phone and is not a kind of a nondriver then it does not spread-eagle.; sent8 -> int7: the scorpionfish does not spend bicycle if the fact that it spend bicycle and it is protrusive does not hold.; sent12 -> int8: if the scorpionfish does not congratulate keratin that it does spend bicycle and it is protrusive is wrong.; sent1 -> int9: the fact that the scorpionfish does not congratulate keratin is true if it is not non-areolar and it is a kind of a turnpike.; sent6 -> int10: the scorpionfish is a kind of a turnpike if it hides.;
$hypothesis$ = the handline does assume airiness. ; $context$ = sent1: if something is both areolar and a turnpike it does not congratulate keratin. sent2: if there is something such that the fact that it is a burgh or not a nonviolence or both is right the scorpionfish is not a morgue. sent3: if something does not assume pay-phone and it is not a nondriver it does not spread-eagle. sent4: the executant is a kind of nonrepresentational thing that is not a kind of a morgue if the scorpionfish does not spread-eagle. sent5: the executant either is a burgh or is a nonviolence or both. sent6: if something does hide it is a turnpike. sent7: the fact that the scorpionfish is areolar is not incorrect. sent8: something does not spend bicycle if the fact that it does spend bicycle and it is protrusive is false. sent9: the executant is a burgh and/or it is not a kind of a nonviolence if the handline does not assume airiness. sent10: something is a kind of a burgh or is a kind of a nonviolence or both. sent11: something does assume airiness or it is a kind of a morgue or both if it does not spread-eagle. sent12: that something does spend bicycle and it is protrusive is not true if it does not congratulate keratin. sent13: if the executant is nonrepresentational and not a morgue then the handline is not a morgue. sent14: the executant is either a burgh or a nonviolence or both if the fact that the handline does not assume airiness is correct. sent15: if the tug is nonrepresentational it does spread-eagle. sent16: the scorpionfish does not assume pay-phone and is not a kind of a nondriver if it does not spend bicycle. sent17: the tug is nonrepresentational. sent18: if something is not a morgue then it does not assume airiness. ; $proof$ = 
void -> assump1: Let's assume that the handline does not assume airiness.; sent9 & assump1 -> int1: the executant is a burgh and/or it is not a nonviolence.; int1 -> int2: there is something such that it is a burgh or it is not a nonviolence or both.; int2 & sent2 -> int3: the scorpionfish is not a morgue.; sent15 & sent17 -> int4: the tug does spread-eagle.; __UNKNOWN__