that the viol buries infrastructure is not wrong.
sent1: if something is a rental then it is a kind of a boardwalk. sent2: something is a surgeon if it is not a kind of a pachysandra. sent3: the senator is not a prothorax but a sheikdom if the poseur is a kind of a Nestor. sent4: the senator does not bury bedstead. sent5: something is not a mycophagy if it does ladle Austria and is a kind of a boardwalk. sent6: that the poseur is thermionics is right if the nonworker is thermionics. sent7: if the sagittate-leaf is a kind of a offside the viol does bury infrastructure. sent8: the nightcap is not a kind of a gemmule and it is not a prism. sent9: the sagittate-leaf is a prothorax. sent10: the sagittate-leaf is a surgeon if it is not a kind of a pachysandra. sent11: the nonworker is thermionics. sent12: the conacaste is a kind of a offside. sent13: the sagittate-leaf is not a pachysandra if it is a prothorax. sent14: the senator is reflective if something is not a gemmule and it is not a kind of a prism. sent15: something does ladle Austria if it does ladle snow-on-the-mountain. sent16: if something is reflective then it ladles snow-on-the-mountain. sent17: the marlite is a kind of a pachysandra if the senator is both not a prothorax and not a mycophagy. sent18: the sagittate-leaf is a surgeon. sent19: if the senator is opened then it is a boardwalk. sent20: if the senator does not bury bedstead then either it is a rental or it is an opened or both. sent21: if the poseur is thermionics then it is a Nestor.
sent13 & sent9 -> int1: the sagittate-leaf is not a pachysandra.;
the fact that the viol does not bury infrastructure is right.
sent6 & sent11 -> int2: the poseur is thermionics.; sent21 & int2 -> int3: the poseur is a Nestor.; sent3 & int3 -> int4: the senator is both not a prothorax and a sheikdom.; int4 -> int5: the senator is not a prothorax.; sent5 -> int6: if the senator ladles Austria and is a boardwalk then it is not a mycophagy.; sent15 -> int7: if the senator ladles snow-on-the-mountain it ladles Austria.; sent16 -> int8: the senator ladles snow-on-the-mountain if that it is reflective is right.; sent8 -> int9: something is not a gemmule and it is not a prism.; int9 & sent14 -> int10: the senator is reflective.; int8 & int10 -> int11: the senator does ladle snow-on-the-mountain.; int7 & int11 -> int12: the senator ladles Austria.; sent20 & sent4 -> int13: the senator is a rental or is an opened or both.; sent1 -> int14: the senator is a boardwalk if it is rental.; int13 & int14 & sent19 -> int15: the senator is a boardwalk.; int12 & int15 -> int16: the senator ladles Austria and is a boardwalk.; int6 & int16 -> int17: the senator is not a mycophagy.; int5 & int17 -> int18: the senator is not a prothorax and it is not a mycophagy.; sent17 & int18 -> int19: the marlite is a kind of a pachysandra.; int19 -> int20: there exists something such that it is a kind of a pachysandra.;
$hypothesis$ = that the viol buries infrastructure is not wrong. ; $context$ = sent1: if something is a rental then it is a kind of a boardwalk. sent2: something is a surgeon if it is not a kind of a pachysandra. sent3: the senator is not a prothorax but a sheikdom if the poseur is a kind of a Nestor. sent4: the senator does not bury bedstead. sent5: something is not a mycophagy if it does ladle Austria and is a kind of a boardwalk. sent6: that the poseur is thermionics is right if the nonworker is thermionics. sent7: if the sagittate-leaf is a kind of a offside the viol does bury infrastructure. sent8: the nightcap is not a kind of a gemmule and it is not a prism. sent9: the sagittate-leaf is a prothorax. sent10: the sagittate-leaf is a surgeon if it is not a kind of a pachysandra. sent11: the nonworker is thermionics. sent12: the conacaste is a kind of a offside. sent13: the sagittate-leaf is not a pachysandra if it is a prothorax. sent14: the senator is reflective if something is not a gemmule and it is not a kind of a prism. sent15: something does ladle Austria if it does ladle snow-on-the-mountain. sent16: if something is reflective then it ladles snow-on-the-mountain. sent17: the marlite is a kind of a pachysandra if the senator is both not a prothorax and not a mycophagy. sent18: the sagittate-leaf is a surgeon. sent19: if the senator is opened then it is a boardwalk. sent20: if the senator does not bury bedstead then either it is a rental or it is an opened or both. sent21: if the poseur is thermionics then it is a Nestor. ; $proof$ = 
sent13 & sent9 -> int1: the sagittate-leaf is not a pachysandra.; __UNKNOWN__