the exorcist alibis Corylus and does strain workshop.
sent1: the Comrade is a remuneration but it is not ripe. sent2: the highway is not Handelian. sent3: if the lark is a shellfish then that the Comrade is lesser hold. sent4: something does not resign if that it is a kind of lesser thing that is nonaddictive is not true. sent5: if something does not resign that it alibis Corylus and it does strain workshop is not true. sent6: if the sickbay does resign then the highway is a kind of a shellfish or does not resign or both. sent7: if the exorcist does alibi Corylus then the highway does strain workshop or does not alibi Corylus or both. sent8: the arroyo is a Chloroxylon. sent9: the exorcist alibis Corylus and/or it is lesser. sent10: the lark is nonaddictive if the Comrade is a remuneration but not ripe. sent11: the fact that something is lesser but it is not nonaddictive is not true if it is a shellfish. sent12: if either something is a shellfish or it does not resign or both then the fact that it is not lesser is correct. sent13: the sickbay does resign if the lark is nonaddictive. sent14: the exorcist strains workshop if the highway is not lesser and it is not Handelian. sent15: the exorcist alibis Corylus if the arroyo is cardiopulmonary.
sent10 & sent1 -> int1: the lark is nonaddictive.; int1 & sent13 -> int2: the fact that the sickbay resigns is right.; int2 & sent6 -> int3: the highway is a kind of a shellfish or does not resign or both.; sent12 -> int4: if the highway is a shellfish and/or it does not resign it is not lesser.; int3 & int4 -> int5: the highway is not lesser.; int5 & sent2 -> int6: the highway is not lesser and it is not Handelian.; int6 & sent14 -> int7: the exorcist does strain workshop.;
the fact that the exorcist alibis Corylus and does strain workshop is not right.
sent5 -> int8: the fact that the exorcist alibis Corylus and strains workshop is not true if it does not resign.; sent11 -> int9: that the Comrade is lesser thing that is not nonaddictive is incorrect if it is a shellfish.;
$hypothesis$ = the exorcist alibis Corylus and does strain workshop. ; $context$ = sent1: the Comrade is a remuneration but it is not ripe. sent2: the highway is not Handelian. sent3: if the lark is a shellfish then that the Comrade is lesser hold. sent4: something does not resign if that it is a kind of lesser thing that is nonaddictive is not true. sent5: if something does not resign that it alibis Corylus and it does strain workshop is not true. sent6: if the sickbay does resign then the highway is a kind of a shellfish or does not resign or both. sent7: if the exorcist does alibi Corylus then the highway does strain workshop or does not alibi Corylus or both. sent8: the arroyo is a Chloroxylon. sent9: the exorcist alibis Corylus and/or it is lesser. sent10: the lark is nonaddictive if the Comrade is a remuneration but not ripe. sent11: the fact that something is lesser but it is not nonaddictive is not true if it is a shellfish. sent12: if either something is a shellfish or it does not resign or both then the fact that it is not lesser is correct. sent13: the sickbay does resign if the lark is nonaddictive. sent14: the exorcist strains workshop if the highway is not lesser and it is not Handelian. sent15: the exorcist alibis Corylus if the arroyo is cardiopulmonary. ; $proof$ = 
sent10 & sent1 -> int1: the lark is nonaddictive.; int1 & sent13 -> int2: the fact that the sickbay resigns is right.; int2 & sent6 -> int3: the highway is a kind of a shellfish or does not resign or both.; sent12 -> int4: if the highway is a shellfish and/or it does not resign it is not lesser.; int3 & int4 -> int5: the highway is not lesser.; int5 & sent2 -> int6: the highway is not lesser and it is not Handelian.; int6 & sent14 -> int7: the exorcist does strain workshop.; __UNKNOWN__