Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. If something is red and green then it is round. If Charlie is green then Charlie is kind. If something is rough and green then it is nice.
Charlie is not rough.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple5 triple2) -> rule3))] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple4 triple2) -> rule1))] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((triple11 triple7) -> rule3))] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12 OR ((triple10 triple7) -> rule1))] @1: Charlie is kind.[(((triple2) -> rule2))]