Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is white. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. If something is nice then it is quiet. If something is kind and red then it is rough.
Bob is not quiet.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple1 triple4) -> rule2))] Bob is round.[(triple6)] Bob is white.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10 OR ((triple9) -> rule1))] Charlie is red.[(triple11)] Charlie is rough.[(triple12 OR ((triple8 triple11) -> rule2))] Charlie is round.[(triple13)] Charlie is white.[(triple14)]