the cherrystone is not a Lebanese and/or it is non-calisthenics.
sent1: if the Fry is salient and it is libidinal the lemma is non-interstate. sent2: the cherrystone is a kind of a Asian. sent3: either the galangal evicts Louvre or it is not a Lebanese or both. sent4: the galangal is not a kind of a Asian if the Fry does criticize and it is not non-salient. sent5: the galangal is not a salient if the lemma is a detritus that is libidinal. sent6: the mine is a salient and it is a kind of a Cuban. sent7: the lemma is not non-libidinal and is a cobblers. sent8: the Fry is a kind of a cobblers and it evicts Fry. sent9: the Fry is a kind of an interstate if the lemma is not a detritus. sent10: something that does not evict Louvre and does not criticize is non-salient. sent11: the Fry is a kind of a Asian and it evicts Fry. sent12: the cherrystone is libidinal. sent13: the Fry does evict Fry and it is salient. sent14: the universal is an interstate. sent15: the baroness is calisthenics. sent16: the Fry evicts Fry. sent17: the galangal does not evict Louvre and it does not criticize.
sent7 -> int1: the lemma is libidinal.; void -> assump1: Let's assume that the lemma is a detritus.; int1 & assump1 -> int2: the lemma is a detritus and not non-libidinal.; int2 & sent5 -> int3: the galangal is not a kind of a salient.; sent10 -> int4: if the galangal does not evict Louvre and does not criticize it is salient.; int4 & sent17 -> int5: the galangal is salient.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the lemma is not a detritus.; int7 & sent9 -> int8: the Fry is an interstate.; sent11 -> int9: the Fry is a Asian.; int8 & int9 -> int10: the Fry is both a Asian and an interstate.;
$hypothesis$ = the cherrystone is not a Lebanese and/or it is non-calisthenics. ; $context$ = sent1: if the Fry is salient and it is libidinal the lemma is non-interstate. sent2: the cherrystone is a kind of a Asian. sent3: either the galangal evicts Louvre or it is not a Lebanese or both. sent4: the galangal is not a kind of a Asian if the Fry does criticize and it is not non-salient. sent5: the galangal is not a salient if the lemma is a detritus that is libidinal. sent6: the mine is a salient and it is a kind of a Cuban. sent7: the lemma is not non-libidinal and is a cobblers. sent8: the Fry is a kind of a cobblers and it evicts Fry. sent9: the Fry is a kind of an interstate if the lemma is not a detritus. sent10: something that does not evict Louvre and does not criticize is non-salient. sent11: the Fry is a kind of a Asian and it evicts Fry. sent12: the cherrystone is libidinal. sent13: the Fry does evict Fry and it is salient. sent14: the universal is an interstate. sent15: the baroness is calisthenics. sent16: the Fry evicts Fry. sent17: the galangal does not evict Louvre and it does not criticize. ; $proof$ = 
sent7 -> int1: the lemma is libidinal.; void -> assump1: Let's assume that the lemma is a detritus.; int1 & assump1 -> int2: the lemma is a detritus and not non-libidinal.; int2 & sent5 -> int3: the galangal is not a kind of a salient.; sent10 -> int4: if the galangal does not evict Louvre and does not criticize it is salient.; int4 & sent17 -> int5: the galangal is salient.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the lemma is not a detritus.; int7 & sent9 -> int8: the Fry is an interstate.; sent11 -> int9: the Fry is a Asian.; int8 & int9 -> int10: the Fry is both a Asian and an interstate.; __UNKNOWN__