the fact that the saber is a jaboncillo and is not contestable is incorrect.
sent1: the saber is affixal. sent2: the fact that something is a jaboncillo but not contestable is not correct if it is a Smolensk. sent3: something is a jaboncillo but it is not contestable if it is a kind of a aposelene. sent4: the lysosome is a jaboncillo. sent5: if something is a kind of a jaboncillo that it is a kind of affixal thing that does groove is wrong. sent6: if something is a kind of a groove it marbles Haggai. sent7: the lysosome marbles Haggai. sent8: the fact that the saber is both a Smolensk and non-affixal is false if it is contestable. sent9: the saber is a Smolensk if the lysosome is affixal. sent10: there is something such that it is tactless and a Smolensk. sent11: the saber is an en. sent12: the tamarillo is a Smolensk. sent13: the lysosome is a aposelene. sent14: that the asparagine is a aposelene and it is a groove is not incorrect. sent15: the fact that the fact that something is contestable and is affixal is correct is false if it is a jaboncillo. sent16: the asparagine is a aposelene. sent17: the fact that the fact that the asparagine is a kind of contestable thing that does not marble Haggai is not false is not correct.
sent14 -> int1: the asparagine does groove.; sent6 -> int2: if the asparagine grooves the fact that it does marble Haggai is not wrong.; int1 & int2 -> int3: the asparagine marbles Haggai.; sent2 -> int4: the fact that the saber is a jaboncillo and is not contestable is not true if it is a Smolensk.;
the saber is a jaboncillo and not contestable.
sent3 -> int5: if the saber is a aposelene then it is a jaboncillo and is not contestable.;
$hypothesis$ = the fact that the saber is a jaboncillo and is not contestable is incorrect. ; $context$ = sent1: the saber is affixal. sent2: the fact that something is a jaboncillo but not contestable is not correct if it is a Smolensk. sent3: something is a jaboncillo but it is not contestable if it is a kind of a aposelene. sent4: the lysosome is a jaboncillo. sent5: if something is a kind of a jaboncillo that it is a kind of affixal thing that does groove is wrong. sent6: if something is a kind of a groove it marbles Haggai. sent7: the lysosome marbles Haggai. sent8: the fact that the saber is both a Smolensk and non-affixal is false if it is contestable. sent9: the saber is a Smolensk if the lysosome is affixal. sent10: there is something such that it is tactless and a Smolensk. sent11: the saber is an en. sent12: the tamarillo is a Smolensk. sent13: the lysosome is a aposelene. sent14: that the asparagine is a aposelene and it is a groove is not incorrect. sent15: the fact that the fact that something is contestable and is affixal is correct is false if it is a jaboncillo. sent16: the asparagine is a aposelene. sent17: the fact that the fact that the asparagine is a kind of contestable thing that does not marble Haggai is not false is not correct. ; $proof$ = 
sent14 -> int1: the asparagine does groove.; sent6 -> int2: if the asparagine grooves the fact that it does marble Haggai is not wrong.; int1 & int2 -> int3: the asparagine marbles Haggai.; sent2 -> int4: the fact that the saber is a jaboncillo and is not contestable is not true if it is a Smolensk.; __UNKNOWN__