Charlie is blue. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is not round. Charlie is smart. Charlie is white. Gary is blue. Gary is cold. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is white. White, rough people are nice. If someone is white and cold then they are nice. Round people are rough. If someone is rough and not white then they are not round. Nice people are smart. If someone is white and not round then they are smart.
Gary is not white.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3 OR ((triple7 triple2) -> rule2) OR ((triple7 triple4) -> rule1))] Charlie is not round.[(triple5)] Charlie is rough.[(triple4)] Charlie is smart.[(triple6 OR ((triple3) -> rule5) OR ((triple7 triple5) -> rule6) OR ((((triple7 triple2) -> rule2)) -> rule5) OR ((((triple7 triple4) -> rule1)) -> rule5))] Charlie is white.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is nice.[(triple10 OR ((triple14 triple11) -> rule1) OR ((triple14 triple9) -> rule2) OR ((triple14 ((triple12) -> rule3)) -> rule1))] Gary is rough.[(triple11 OR ((triple12) -> rule3))] Gary is round.[(triple12)] Gary is smart.[(triple13 OR ((triple10) -> rule5) OR ((((triple14 triple11) -> rule1)) -> rule5) OR ((((triple14 triple9) -> rule2)) -> rule5) OR ((((triple14 ((triple12) -> rule3)) -> rule1)) -> rule5))] Gary is white.[(triple14)]