Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is smart. If Charlie is nice then Charlie is red. If Charlie is cold then Charlie is blue. Blue things are round. If Gary is smart and Gary is cold then Gary is kind. Red, smart things are blue. If Charlie is nice then Charlie is kind.
Gary is not kind.
@0: Charlie is blue.[(triple1 OR ((triple4 triple5) -> rule5) OR ((((triple3) -> rule1) triple5) -> rule5))] Charlie is kind.[(triple2 OR ((triple3) -> rule6))] Charlie is nice.[(triple3)] Charlie is red.[(triple4 OR ((triple3) -> rule1))] Charlie is smart.[(triple5)] Gary is blue.[(triple6 OR ((triple10 triple12) -> rule5))] Gary is cold.[(triple7)] Gary is kind.[(triple8 OR ((triple12 triple7) -> rule4))] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11 OR ((triple6) -> rule3) OR ((((triple10 triple12) -> rule5)) -> rule3))] Gary is smart.[(triple12)] @1: Charlie is round.[(((triple1) -> rule3) OR ((((triple4 triple5) -> rule5)) -> rule3) OR ((((((triple3) -> rule1) triple5) -> rule5)) -> rule3))]