the chantry does not jar aircrew.
sent1: if the lounge is shrubby and it is not non-palmar the crucible is not shrubby. sent2: the crucible is not seductive if the ratite is palmar. sent3: something does not urticate crucible but it does jar taxonomist. sent4: if there is something such that it is a launcher the chantry does not jar aircrew. sent5: if a tire is a neoexpressionism the ratite is shrubby. sent6: something is both not a tire and a neoexpressionism. sent7: if the crucible is palmar then the ratite is not seductive. sent8: there exists something such that the fact that it is a launcher and it tires ratite is not correct. sent9: if something is a launcher it does tire ratite. sent10: if the crucible is palmar and it is shrubby the restaurateur is not shrubby. sent11: there is something such that it is unseductive thing that tires ratite. sent12: that the lounge does not tire ratite and jars aircrew is false. sent13: that the lounge is a launcher that does tire ratite does not hold if the crucible is not seductive. sent14: that the lounge is not a launcher and does tire ratite does not hold if the crucible is not seductive. sent15: there exists something such that it is not a kind of a tire. sent16: the ratite is shrubby if something that is not a kind of a tire is a neoexpressionism. sent17: the chantry does not jar aircrew if there is something such that the fact that it is not a launcher and it does tire ratite does not hold. sent18: something is palmar if it is shrubby. sent19: that the crucible is not shrubby hold if there is something such that that it does not tire ratite and it is seductive does not hold. sent20: the fact that the chantry does jar aircrew is correct if the fact that it is unseductive thing that does not jar aircrew is not true. sent21: there exists something such that that it is not a launcher and it is seductive is incorrect.
sent18 -> int1: if the ratite is shrubby it is palmar.; sent6 & sent16 -> int2: the ratite is shrubby.; int1 & int2 -> int3: the ratite is palmar.; int3 & sent2 -> int4: the crucible is not seductive.; int4 & sent14 -> int5: that the lounge is not a kind of a launcher but it does tire ratite does not hold.; int5 -> int6: there is something such that the fact that it is not a kind of a launcher and it tires ratite is not right.; int6 & sent17 -> hypothesis;
the restaurateur is not shrubby.
sent9 -> int7: the lounge does tire ratite if it is a kind of a launcher.;
$hypothesis$ = the chantry does not jar aircrew. ; $context$ = sent1: if the lounge is shrubby and it is not non-palmar the crucible is not shrubby. sent2: the crucible is not seductive if the ratite is palmar. sent3: something does not urticate crucible but it does jar taxonomist. sent4: if there is something such that it is a launcher the chantry does not jar aircrew. sent5: if a tire is a neoexpressionism the ratite is shrubby. sent6: something is both not a tire and a neoexpressionism. sent7: if the crucible is palmar then the ratite is not seductive. sent8: there exists something such that the fact that it is a launcher and it tires ratite is not correct. sent9: if something is a launcher it does tire ratite. sent10: if the crucible is palmar and it is shrubby the restaurateur is not shrubby. sent11: there is something such that it is unseductive thing that tires ratite. sent12: that the lounge does not tire ratite and jars aircrew is false. sent13: that the lounge is a launcher that does tire ratite does not hold if the crucible is not seductive. sent14: that the lounge is not a launcher and does tire ratite does not hold if the crucible is not seductive. sent15: there exists something such that it is not a kind of a tire. sent16: the ratite is shrubby if something that is not a kind of a tire is a neoexpressionism. sent17: the chantry does not jar aircrew if there is something such that the fact that it is not a launcher and it does tire ratite does not hold. sent18: something is palmar if it is shrubby. sent19: that the crucible is not shrubby hold if there is something such that that it does not tire ratite and it is seductive does not hold. sent20: the fact that the chantry does jar aircrew is correct if the fact that it is unseductive thing that does not jar aircrew is not true. sent21: there exists something such that that it is not a launcher and it is seductive is incorrect. ; $proof$ = 
sent18 -> int1: if the ratite is shrubby it is palmar.; sent6 & sent16 -> int2: the ratite is shrubby.; int1 & int2 -> int3: the ratite is palmar.; int3 & sent2 -> int4: the crucible is not seductive.; int4 & sent14 -> int5: that the lounge is not a kind of a launcher but it does tire ratite does not hold.; int5 -> int6: there is something such that the fact that it is not a kind of a launcher and it tires ratite is not right.; int6 & sent17 -> hypothesis; __PROVED__