the fact that that the anabolism is not a ribbonfish but it is reverent hold is false.
sent1: if there exists something such that it is not a kind of a credendum the fact that the anabolism is not a ribbonfish but reverent is not right. sent2: something is not a ribbonfish but it is reverent if it does not drink wit. sent3: if the anabolism is not a abhorrer that either it is weighty or it is a scabbard or both is not true. sent4: the wincey is a Iago and it does emote tusker. sent5: there is something such that it is a credendum. sent6: the fact that the anabolism is a ribbonfish and is reverent is not true if there exists something such that it is not a credendum. sent7: if the agamid is a scabbard then the woodworker is weighty. sent8: if the wincey is a abhorrer and does obtain the butterfish is not a kind of a credendum. sent9: the wincey does emote tusker. sent10: the fact that that the anabolism is a ribbonfish and it is reverent is not correct is true. sent11: the fact that the anabolism is the credendum if the anabolism is reverent is right. sent12: if the fact that either the anabolism is weighty or it is a scabbard or both is incorrect it does not drink wit. sent13: if the agamid is a Iago then the wincey does drink wit. sent14: the agamid drinks wit and/or it is a scabbard. sent15: if something is a Iago it obtains. sent16: if the woodworker is not non-weighty the wincey is a abhorrer. sent17: the woodworker is weighty if the agamid does drink wit.
sent14 & sent17 & sent7 -> int1: that the woodworker is weighty is right.; int1 & sent16 -> int2: the wincey is a abhorrer.; sent15 -> int3: the wincey does obtain if it is a kind of a Iago.; sent4 -> int4: the wincey is a Iago.; int3 & int4 -> int5: the wincey obtains.; int2 & int5 -> int6: the wincey is a abhorrer and obtains.; int6 & sent8 -> int7: the butterfish is not a credendum.; int7 -> int8: something is not a credendum.; int8 & sent1 -> hypothesis;
the anabolism is not a ribbonfish but reverent.
sent2 -> int9: the anabolism is not a ribbonfish but it is reverent if it does not drink wit.;
$hypothesis$ = the fact that that the anabolism is not a ribbonfish but it is reverent hold is false. ; $context$ = sent1: if there exists something such that it is not a kind of a credendum the fact that the anabolism is not a ribbonfish but reverent is not right. sent2: something is not a ribbonfish but it is reverent if it does not drink wit. sent3: if the anabolism is not a abhorrer that either it is weighty or it is a scabbard or both is not true. sent4: the wincey is a Iago and it does emote tusker. sent5: there is something such that it is a credendum. sent6: the fact that the anabolism is a ribbonfish and is reverent is not true if there exists something such that it is not a credendum. sent7: if the agamid is a scabbard then the woodworker is weighty. sent8: if the wincey is a abhorrer and does obtain the butterfish is not a kind of a credendum. sent9: the wincey does emote tusker. sent10: the fact that that the anabolism is a ribbonfish and it is reverent is not correct is true. sent11: the fact that the anabolism is the credendum if the anabolism is reverent is right. sent12: if the fact that either the anabolism is weighty or it is a scabbard or both is incorrect it does not drink wit. sent13: if the agamid is a Iago then the wincey does drink wit. sent14: the agamid drinks wit and/or it is a scabbard. sent15: if something is a Iago it obtains. sent16: if the woodworker is not non-weighty the wincey is a abhorrer. sent17: the woodworker is weighty if the agamid does drink wit. ; $proof$ = 
sent14 & sent17 & sent7 -> int1: that the woodworker is weighty is right.; int1 & sent16 -> int2: the wincey is a abhorrer.; sent15 -> int3: the wincey does obtain if it is a kind of a Iago.; sent4 -> int4: the wincey is a Iago.; int3 & int4 -> int5: the wincey obtains.; int2 & int5 -> int6: the wincey is a abhorrer and obtains.; int6 & sent8 -> int7: the butterfish is not a credendum.; int7 -> int8: something is not a credendum.; int8 & sent1 -> hypothesis; __PROVED__