the oxidoreductase is not a ceramic.
sent1: if that the wadi is a kind of pancreatic thing that does not tarnish curmudgeon is wrong the exhalation is pancreatic. sent2: if the oxidoreductase is a ceramic the nonsmoker is a backswimmer. sent3: the fact that the spot-welder does not quit and is not intemperate is wrong if the shipmate is intemperate. sent4: the wadi is not macerative and is a barrage. sent5: the greasewood does not chomp brushwood and is a backswimmer if the nonsmoker is a backswimmer. sent6: if something is a backswimmer it is not icterogenic. sent7: if the fact that something is not a ceramic and is icterogenic is not true the fact that it is a ceramic is not incorrect. sent8: the shipmate is intemperate if the greasewood is not icterogenic. sent9: the spot-welder does not quit and it is not intemperate if the exhalation is pancreatic. sent10: that the wadi is pancreatic but it does not tarnish curmudgeon is not right if the fact that it is a barrage hold.
void -> assump1: Let's assume that the oxidoreductase is ceramic.; sent2 & assump1 -> int1: the nonsmoker is a backswimmer.; int1 & sent5 -> int2: the greasewood does not chomp brushwood but it is a kind of a backswimmer.; int2 -> int3: the greasewood is a backswimmer.; sent6 -> int4: if the greasewood is a backswimmer it is not icterogenic.; int3 & int4 -> int5: that the greasewood is non-icterogenic is right.; int5 & sent8 -> int6: the shipmate is intemperate.; int6 & sent3 -> int7: the fact that the spot-welder does not quit and is not intemperate is incorrect.; sent4 -> int8: the wadi is a barrage.; sent10 & int8 -> int9: the fact that that the wadi is pancreatic and does not tarnish curmudgeon is not right is not wrong.; sent1 & int9 -> int10: the exhalation is pancreatic.; sent9 & int10 -> int11: the spot-welder does not quit and is not intemperate.; int7 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the oxidoreductase is ceramic.
sent7 -> int13: if the fact that the oxidoreductase is not a ceramic and is icterogenic is not true then it is a ceramic.;
$hypothesis$ = the oxidoreductase is not a ceramic. ; $context$ = sent1: if that the wadi is a kind of pancreatic thing that does not tarnish curmudgeon is wrong the exhalation is pancreatic. sent2: if the oxidoreductase is a ceramic the nonsmoker is a backswimmer. sent3: the fact that the spot-welder does not quit and is not intemperate is wrong if the shipmate is intemperate. sent4: the wadi is not macerative and is a barrage. sent5: the greasewood does not chomp brushwood and is a backswimmer if the nonsmoker is a backswimmer. sent6: if something is a backswimmer it is not icterogenic. sent7: if the fact that something is not a ceramic and is icterogenic is not true the fact that it is a ceramic is not incorrect. sent8: the shipmate is intemperate if the greasewood is not icterogenic. sent9: the spot-welder does not quit and it is not intemperate if the exhalation is pancreatic. sent10: that the wadi is pancreatic but it does not tarnish curmudgeon is not right if the fact that it is a barrage hold. ; $proof$ = 
void -> assump1: Let's assume that the oxidoreductase is ceramic.; sent2 & assump1 -> int1: the nonsmoker is a backswimmer.; int1 & sent5 -> int2: the greasewood does not chomp brushwood but it is a kind of a backswimmer.; int2 -> int3: the greasewood is a backswimmer.; sent6 -> int4: if the greasewood is a backswimmer it is not icterogenic.; int3 & int4 -> int5: that the greasewood is non-icterogenic is right.; int5 & sent8 -> int6: the shipmate is intemperate.; int6 & sent3 -> int7: the fact that the spot-welder does not quit and is not intemperate is incorrect.; sent4 -> int8: the wadi is a barrage.; sent10 & int8 -> int9: the fact that that the wadi is pancreatic and does not tarnish curmudgeon is not right is not wrong.; sent1 & int9 -> int10: the exhalation is pancreatic.; sent9 & int10 -> int11: the spot-welder does not quit and is not intemperate.; int7 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __PROVED__