Bob is kind. Bob is not red. Bob is not rough. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. All red people are not round. All round, kind people are smart.
Charlie is not red.
@0: Bob is kind.[(triple1)] Bob is not red.[(triple2)] Bob is not rough.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple4 triple1) -> rule2))] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is kind.[(triple8)] Charlie is not red.[(triple9)] Charlie is rough.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12 OR ((triple11 triple8) -> rule2))] Charlie is white.[(triple13)] Charlie is young.[(triple14)]