the fact that the mythologist is an airs and is not anaesthetic is wrong if the methane does not maintain bitterness.
sent1: that that the mythologist is both an airs and anaesthetic is right is not correct if the methane does not maintain bitterness. sent2: the gidgee does not maintain bitterness. sent3: the jack does not maintain bitterness. sent4: the mythologist is an airs but it is not anaesthetic if the Pollack is anaesthetic. sent5: the mythologist is a Shivaist. sent6: the methane is both an airs and a Eurodollar if something is not protestant. sent7: the lithium is not a Shivaist if there is something such that the fact that it maintains bitterness and it is not anaesthetic is not correct. sent8: the mythologist does not suckle Pollack. sent9: the mythologist is a kind of an airs that is not anaesthetic if the methane does not maintain bitterness. sent10: the adjunct does not maintain bitterness. sent11: the methane is anaesthetic. sent12: the Pollack is yeasty. sent13: the mythologist is not protestant. sent14: if something maintains bitterness it is a kind of an airs. sent15: if the mythologist maintains bitterness the methane does air. sent16: the methane is a kind of a Shivaist if the Pollack is anaesthetic. sent17: that the Pollack maintains bitterness is true. sent18: the mythologist is an airs but it is not anaesthetic. sent19: that the mythologist is a kind of an airs and it is anaesthetic does not hold. sent20: if something does not decamp that it maintains bitterness and it is not anaesthetic does not hold. sent21: if the Pollack is not anaesthetic the fact that the mythologist airs and it is anaesthetic is not correct. sent22: something maintains bitterness if it is a kind of a Shivaist.
void -> assump2: Let's assume that the Pollack is anaesthetic.; sent16 & assump2 -> int1: the methane is a Shivaist.; sent22 -> int2: if the methane is a kind of a Shivaist it maintains bitterness.; int1 & int2 -> int3: the methane maintains bitterness.; void -> assump1: Let's assume that the methane does not maintain bitterness.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Pollack is not anaesthetic.;
the lithium is not a Shivaist.
sent20 -> int6: if that the Pollack does decamp does not hold then that it maintains bitterness and is not anaesthetic does not hold.; sent13 -> int7: something is not protestant.; int7 & sent6 -> int8: the methane is an airs and it is a kind of a Eurodollar.; int8 -> int9: that the methane does air is not false.; int9 -> int10: there is something such that it is an airs.;
$hypothesis$ = the fact that the mythologist is an airs and is not anaesthetic is wrong if the methane does not maintain bitterness. ; $context$ = sent1: that that the mythologist is both an airs and anaesthetic is right is not correct if the methane does not maintain bitterness. sent2: the gidgee does not maintain bitterness. sent3: the jack does not maintain bitterness. sent4: the mythologist is an airs but it is not anaesthetic if the Pollack is anaesthetic. sent5: the mythologist is a Shivaist. sent6: the methane is both an airs and a Eurodollar if something is not protestant. sent7: the lithium is not a Shivaist if there is something such that the fact that it maintains bitterness and it is not anaesthetic is not correct. sent8: the mythologist does not suckle Pollack. sent9: the mythologist is a kind of an airs that is not anaesthetic if the methane does not maintain bitterness. sent10: the adjunct does not maintain bitterness. sent11: the methane is anaesthetic. sent12: the Pollack is yeasty. sent13: the mythologist is not protestant. sent14: if something maintains bitterness it is a kind of an airs. sent15: if the mythologist maintains bitterness the methane does air. sent16: the methane is a kind of a Shivaist if the Pollack is anaesthetic. sent17: that the Pollack maintains bitterness is true. sent18: the mythologist is an airs but it is not anaesthetic. sent19: that the mythologist is a kind of an airs and it is anaesthetic does not hold. sent20: if something does not decamp that it maintains bitterness and it is not anaesthetic does not hold. sent21: if the Pollack is not anaesthetic the fact that the mythologist airs and it is anaesthetic is not correct. sent22: something maintains bitterness if it is a kind of a Shivaist. ; $proof$ = 
void -> assump2: Let's assume that the Pollack is anaesthetic.; sent16 & assump2 -> int1: the methane is a Shivaist.; sent22 -> int2: if the methane is a kind of a Shivaist it maintains bitterness.; int1 & int2 -> int3: the methane maintains bitterness.; void -> assump1: Let's assume that the methane does not maintain bitterness.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Pollack is not anaesthetic.; __UNKNOWN__