the lutist is not arboreal.
sent1: something does bar lounge and is a kind of a Lao if it does not numerate stepfather. sent2: if the lutist is unlikely or not inoperable or both it is an illegitimacy. sent3: the chauffeuse is a frock if that the stepfather is Churchillian but it is not a frock is not right. sent4: the lutist is inoperable. sent5: the lutist is not Lao. sent6: if that the lutist is unlikely or is not inoperable or both is false then the fact that the condensate is Churchillian is true. sent7: the lutist is an illegitimacy if it is not inoperable. sent8: something is not a kind of an illegitimacy if it is not an illegitimacy and/or it does bar lounge. sent9: the lutist is unlikely and/or it is inoperable. sent10: that the derv is unlikely is not wrong. sent11: the maniac is inoperable. sent12: the antagonist is not an illegitimacy and/or it bars lounge if something is not a kind of a Lao. sent13: that the condensate is arboreal is not false if the chauffeuse is a frock. sent14: the condensate is nonarboreal and is not a fundamentalist. sent15: the condensate does not bar lounge. sent16: if the condensate is arboreal then the lutist is not arboreal. sent17: that something is Churchillian but it does not frock is not true if it is an illegitimacy. sent18: the lutist does field limit. sent19: the condensate is not non-Churchillian if the fact that either the lutist is unlikely or it is inoperable or both is not true. sent20: something that is adrenocortical does not numerate stepfather. sent21: the lutist is arboreal if it is a kind of an illegitimacy. sent22: if the condensate is Churchillian then the fact that it is a frock is not wrong. sent23: the condensate is not a frock and it does not bar lounge. sent24: the marjoram is adrenocortical.
void -> assump1: Let's assume that that the lutist is unlikely and/or it is not inoperable does not hold.; sent6 & assump1 -> int1: the condensate is Churchillian.; int1 & sent22 -> int2: the condensate is a kind of a frock.; sent23 -> int3: the condensate is not a frock.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lutist is unlikely and/or it is not inoperable.; int5 & sent2 -> int6: the lutist is a kind of an illegitimacy.; int6 & sent21 -> hypothesis;
the antagonist is arboreal.
sent8 -> int7: if the antagonist is not an illegitimacy or it does bar lounge or both then it is not a kind of an illegitimacy.; sent5 -> int8: there is something such that it is not Lao.; int8 & sent12 -> int9: the antagonist is not an illegitimacy or bars lounge or both.; int7 & int9 -> int10: that the antagonist is not an illegitimacy is not false.;
$hypothesis$ = the lutist is not arboreal. ; $context$ = sent1: something does bar lounge and is a kind of a Lao if it does not numerate stepfather. sent2: if the lutist is unlikely or not inoperable or both it is an illegitimacy. sent3: the chauffeuse is a frock if that the stepfather is Churchillian but it is not a frock is not right. sent4: the lutist is inoperable. sent5: the lutist is not Lao. sent6: if that the lutist is unlikely or is not inoperable or both is false then the fact that the condensate is Churchillian is true. sent7: the lutist is an illegitimacy if it is not inoperable. sent8: something is not a kind of an illegitimacy if it is not an illegitimacy and/or it does bar lounge. sent9: the lutist is unlikely and/or it is inoperable. sent10: that the derv is unlikely is not wrong. sent11: the maniac is inoperable. sent12: the antagonist is not an illegitimacy and/or it bars lounge if something is not a kind of a Lao. sent13: that the condensate is arboreal is not false if the chauffeuse is a frock. sent14: the condensate is nonarboreal and is not a fundamentalist. sent15: the condensate does not bar lounge. sent16: if the condensate is arboreal then the lutist is not arboreal. sent17: that something is Churchillian but it does not frock is not true if it is an illegitimacy. sent18: the lutist does field limit. sent19: the condensate is not non-Churchillian if the fact that either the lutist is unlikely or it is inoperable or both is not true. sent20: something that is adrenocortical does not numerate stepfather. sent21: the lutist is arboreal if it is a kind of an illegitimacy. sent22: if the condensate is Churchillian then the fact that it is a frock is not wrong. sent23: the condensate is not a frock and it does not bar lounge. sent24: the marjoram is adrenocortical. ; $proof$ = 
void -> assump1: Let's assume that that the lutist is unlikely and/or it is not inoperable does not hold.; sent6 & assump1 -> int1: the condensate is Churchillian.; int1 & sent22 -> int2: the condensate is a kind of a frock.; sent23 -> int3: the condensate is not a frock.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lutist is unlikely and/or it is not inoperable.; int5 & sent2 -> int6: the lutist is a kind of an illegitimacy.; int6 & sent21 -> hypothesis; __DISPROVED__