that the delavirdine is a there and not non-microsomal is not true.
sent1: the fact that something is both a there and microsomal is not correct if it is not viscometric. sent2: if the mark is not viscometric that it is not a kind of a taxonomist is not incorrect. sent3: if something is not Gauguinesque it is microsomal. sent4: the delavirdine does impact Lug. sent5: the barbiturate impacts Lug but it is not a taxonomist if the mark does not impacts Lug. sent6: there exists something such that it is Gauguinesque. sent7: the oarsman is a taxonomist. sent8: the oarsman does beset. sent9: that something is a kind of a KR and is Gauguinesque is not correct if it is not a there. sent10: if the mark does not impact Lug the barbiturate is not a taxonomist. sent11: the fact that the mark does not impact Lug is not false if it is a KR that is a piano. sent12: the mark besets or is non-viscometric or both. sent13: the oarsman is Gauguinesque if the barbiturate impacts Lug and is not a kind of a taxonomist. sent14: if something that does not impact Lug is not a piano then it is not a KR. sent15: if there exists something such that it impacts Lug and is Gauguinesque then the oarsman is not a there. sent16: if the barbiturate does impact Lug and is a taxonomist then the oarsman is Gauguinesque. sent17: something does beset. sent18: if a Gauguinesque thing besets the delavirdine is not viscometric. sent19: something is a there if it is not a KR. sent20: the mark is a kind of a piano. sent21: the barbiturate is not a taxonomist. sent22: the mark is a KR.
sent22 & sent20 -> int1: the mark is a kind of a KR that is not non-piano.; int1 & sent11 -> int2: the mark does not impact Lug.; int2 & sent5 -> int3: the barbiturate impacts Lug and is not a kind of a taxonomist.; int3 & sent13 -> int4: the oarsman is Gauguinesque.; int4 & sent8 -> int5: the oarsman is a kind of Gauguinesque thing that does beset.; int5 -> int6: there exists something such that it is a kind of Gauguinesque thing that does beset.; int6 & sent18 -> int7: the delavirdine is not viscometric.; sent1 -> int8: the fact that the delavirdine is a there and it is microsomal does not hold if it is not viscometric.; int7 & int8 -> hypothesis;
the delavirdine is a there and it is microsomal.
sent19 -> int9: the delavirdine is a there if it is not a KR.; sent14 -> int10: the delavirdine is not a KR if it does not impact Lug and it is not a piano.; sent3 -> int11: the fact that the delavirdine is microsomal is true if it is not Gauguinesque.;
$hypothesis$ = that the delavirdine is a there and not non-microsomal is not true. ; $context$ = sent1: the fact that something is both a there and microsomal is not correct if it is not viscometric. sent2: if the mark is not viscometric that it is not a kind of a taxonomist is not incorrect. sent3: if something is not Gauguinesque it is microsomal. sent4: the delavirdine does impact Lug. sent5: the barbiturate impacts Lug but it is not a taxonomist if the mark does not impacts Lug. sent6: there exists something such that it is Gauguinesque. sent7: the oarsman is a taxonomist. sent8: the oarsman does beset. sent9: that something is a kind of a KR and is Gauguinesque is not correct if it is not a there. sent10: if the mark does not impact Lug the barbiturate is not a taxonomist. sent11: the fact that the mark does not impact Lug is not false if it is a KR that is a piano. sent12: the mark besets or is non-viscometric or both. sent13: the oarsman is Gauguinesque if the barbiturate impacts Lug and is not a kind of a taxonomist. sent14: if something that does not impact Lug is not a piano then it is not a KR. sent15: if there exists something such that it impacts Lug and is Gauguinesque then the oarsman is not a there. sent16: if the barbiturate does impact Lug and is a taxonomist then the oarsman is Gauguinesque. sent17: something does beset. sent18: if a Gauguinesque thing besets the delavirdine is not viscometric. sent19: something is a there if it is not a KR. sent20: the mark is a kind of a piano. sent21: the barbiturate is not a taxonomist. sent22: the mark is a KR. ; $proof$ = 
sent22 & sent20 -> int1: the mark is a kind of a KR that is not non-piano.; int1 & sent11 -> int2: the mark does not impact Lug.; int2 & sent5 -> int3: the barbiturate impacts Lug and is not a kind of a taxonomist.; int3 & sent13 -> int4: the oarsman is Gauguinesque.; int4 & sent8 -> int5: the oarsman is a kind of Gauguinesque thing that does beset.; int5 -> int6: there exists something such that it is a kind of Gauguinesque thing that does beset.; int6 & sent18 -> int7: the delavirdine is not viscometric.; sent1 -> int8: the fact that the delavirdine is a there and it is microsomal does not hold if it is not viscometric.; int7 & int8 -> hypothesis; __PROVED__