the prizefighter does roughen cimetidine.
sent1: the toboggan is a kind of a cutter. sent2: that the toboggan is azo and it reconsiders is wrong. sent3: if the proctoscope is not azo it is a kind of a safe. sent4: there is nothing that is not a cutter and is not a moated. sent5: the fact that the toboggan is both not a moated and azo is false. sent6: the toboggan reconsiders and is a cutter. sent7: that if the proctoscope remains then the fact that the toboggan remains and it is azo is false is correct. sent8: the prizefighter does not roughen cimetidine if the fact that it is not a safe and it skids splash does not hold. sent9: the fact that the prizefighter is not a kind of a safe and does skid splash does not hold if the proctoscope is a safe. sent10: if the toboggan does remain and/or it is a kind of a moated the proctoscope is not azo. sent11: the proctoscope is not azo if the toboggan is a moated. sent12: the toboggan remains if it reconsiders. sent13: that the toboggan is a cutter and is a safe is incorrect if the fact that the prizefighter is a cutter is right.
sent6 -> int1: the fact that the toboggan does reconsider hold.; int1 & sent12 -> int2: the toboggan does remain.; int2 -> int3: the toboggan remains and/or it is a moated.; int3 & sent10 -> int4: the proctoscope is not azo.; int4 & sent3 -> int5: the proctoscope is a kind of a safe.; int5 & sent9 -> int6: that the prizefighter is a kind of non-safe thing that does skid splash is wrong.; int6 & sent8 -> hypothesis;
the prizefighter roughens cimetidine.
sent4 -> int7: that the proctoscope is not a cutter and is not a moated is not true.; int7 -> int8: there exists something such that that it is not a cutter and it is not a moated is not right.;
$hypothesis$ = the prizefighter does roughen cimetidine. ; $context$ = sent1: the toboggan is a kind of a cutter. sent2: that the toboggan is azo and it reconsiders is wrong. sent3: if the proctoscope is not azo it is a kind of a safe. sent4: there is nothing that is not a cutter and is not a moated. sent5: the fact that the toboggan is both not a moated and azo is false. sent6: the toboggan reconsiders and is a cutter. sent7: that if the proctoscope remains then the fact that the toboggan remains and it is azo is false is correct. sent8: the prizefighter does not roughen cimetidine if the fact that it is not a safe and it skids splash does not hold. sent9: the fact that the prizefighter is not a kind of a safe and does skid splash does not hold if the proctoscope is a safe. sent10: if the toboggan does remain and/or it is a kind of a moated the proctoscope is not azo. sent11: the proctoscope is not azo if the toboggan is a moated. sent12: the toboggan remains if it reconsiders. sent13: that the toboggan is a cutter and is a safe is incorrect if the fact that the prizefighter is a cutter is right. ; $proof$ = 
sent6 -> int1: the fact that the toboggan does reconsider hold.; int1 & sent12 -> int2: the toboggan does remain.; int2 -> int3: the toboggan remains and/or it is a moated.; int3 & sent10 -> int4: the proctoscope is not azo.; int4 & sent3 -> int5: the proctoscope is a kind of a safe.; int5 & sent9 -> int6: that the prizefighter is a kind of non-safe thing that does skid splash is wrong.; int6 & sent8 -> hypothesis; __DISPROVED__