Bob is blue. Bob is green. Bob is kind. Bob is red. Bob is not rough. Bob is round. Bob is smart. Charlie is blue. Charlie is not green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. If someone is round and not blue then they are green. If someone is smart then they are round. If Bob is round and Bob is rough then Bob is kind.
Bob is not round.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple6 OR ((triple7) -> rule2))] Bob is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is kind.[(triple10)] Charlie is not green.[(triple9)] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] Charlie is round.[(triple13 OR ((triple14) -> rule2))] Charlie is smart.[(triple14)]