if that the pyrimidine does bind fiftieth is right then the Tongan is conciliatory.
sent1: the pyrimidine is not a paperwork if it is a Dahna. sent2: the character is appendicular if that the pyrimidine does upheave is not incorrect. sent3: something is not lithographic if that it does steepen and is not revivalistic is not right. sent4: something does not uncork greyback if the fact that it uncorks reproach and it is not a kind of a Cincinnati is incorrect. sent5: if the Tongan does not upheave and is conciliatory it does bind fiftieth. sent6: that that the pyrimidine does bind fiftieth but it is not a layout is false hold. sent7: something is not familial if that it is a realist and it is not nonretractile is not true. sent8: the fact that the pyrimidine is conciliatory if the Tongan binds fiftieth is true. sent9: the Tongan does spew. sent10: the pyrimidine is not editorial if that it is conciliatory and does not upheave is not right. sent11: if the pyrimidine ails the Tongan dilapidates tailed. sent12: something is not a kind of a paperwork if that it is editorial and it is not a Dahna is false. sent13: the fact that the pyrimidine is both a comer and not a paperwork is not correct. sent14: if the character is appendicular the Tongan is conciliatory. sent15: the fact that there is nothing such that it upheaves and it is not appendicular hold. sent16: there is nothing that is editorial and is not a Dahna. sent17: if something is not a kind of a paperwork and does bind fiftieth it upheaves. sent18: that the Tongan does bind fiftieth is not incorrect if the pyrimidine is conciliatory.
sent12 -> int1: if that the pyrimidine is editorial but it is not a Dahna is incorrect then it is not a paperwork.; sent16 -> int2: the fact that that the pyrimidine is editorial but it is not a Dahna is not right is true.; int1 & int2 -> int3: the pyrimidine is not a kind of a paperwork.; void -> assump1: Let's assume that the pyrimidine does bind fiftieth.; int3 & assump1 -> int4: the pyrimidine is not a kind of a paperwork but it binds fiftieth.; sent17 -> int5: the pyrimidine upheaves if it is not a paperwork and it does bind fiftieth.; int4 & int5 -> int6: the fact that the pyrimidine does upheave is correct.; int6 & sent2 -> int7: the character is appendicular.; int7 & sent14 -> int8: the Tongan is conciliatory.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if that the pyrimidine does bind fiftieth is right then the Tongan is conciliatory. ; $context$ = sent1: the pyrimidine is not a paperwork if it is a Dahna. sent2: the character is appendicular if that the pyrimidine does upheave is not incorrect. sent3: something is not lithographic if that it does steepen and is not revivalistic is not right. sent4: something does not uncork greyback if the fact that it uncorks reproach and it is not a kind of a Cincinnati is incorrect. sent5: if the Tongan does not upheave and is conciliatory it does bind fiftieth. sent6: that that the pyrimidine does bind fiftieth but it is not a layout is false hold. sent7: something is not familial if that it is a realist and it is not nonretractile is not true. sent8: the fact that the pyrimidine is conciliatory if the Tongan binds fiftieth is true. sent9: the Tongan does spew. sent10: the pyrimidine is not editorial if that it is conciliatory and does not upheave is not right. sent11: if the pyrimidine ails the Tongan dilapidates tailed. sent12: something is not a kind of a paperwork if that it is editorial and it is not a Dahna is false. sent13: the fact that the pyrimidine is both a comer and not a paperwork is not correct. sent14: if the character is appendicular the Tongan is conciliatory. sent15: the fact that there is nothing such that it upheaves and it is not appendicular hold. sent16: there is nothing that is editorial and is not a Dahna. sent17: if something is not a kind of a paperwork and does bind fiftieth it upheaves. sent18: that the Tongan does bind fiftieth is not incorrect if the pyrimidine is conciliatory. ; $proof$ = 
sent12 -> int1: if that the pyrimidine is editorial but it is not a Dahna is incorrect then it is not a paperwork.; sent16 -> int2: the fact that that the pyrimidine is editorial but it is not a Dahna is not right is true.; int1 & int2 -> int3: the pyrimidine is not a kind of a paperwork.; void -> assump1: Let's assume that the pyrimidine does bind fiftieth.; int3 & assump1 -> int4: the pyrimidine is not a kind of a paperwork but it binds fiftieth.; sent17 -> int5: the pyrimidine upheaves if it is not a paperwork and it does bind fiftieth.; int4 & int5 -> int6: the fact that the pyrimidine does upheave is correct.; int6 & sent2 -> int7: the character is appendicular.; int7 & sent14 -> int8: the Tongan is conciliatory.; [assump1] & int8 -> hypothesis; __PROVED__