Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Erin is blue. Erin is cold. Erin is quiet. Erin is red. Erin is smart. Green things are cold. If Charlie is nice then Charlie is smart. If something is green and smart then it is quiet. If something is smart then it is nice. If something is nice and quiet then it is blue. Red things are quiet.
Charlie is not red.
@0: Charlie is blue.[(triple1 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple6) -> rule6)) -> rule5) OR ((triple4 ((triple3 triple7) -> rule3)) -> rule5) OR ((((triple7) -> rule4) triple5) -> rule5) OR ((((triple7) -> rule4) ((triple6) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((triple3 triple7) -> rule3)) -> rule5) OR ((triple4 ((triple3 ((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule4) ((triple3 ((triple4) -> rule2)) -> rule3)) -> rule5))] Charlie is cold.[(triple2 OR ((triple3) -> rule1))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple7) -> rule4))] Charlie is quiet.[(triple5 OR ((triple6) -> rule6) OR ((triple3 triple7) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3))] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple4) -> rule2))] Erin is blue.[(triple8 OR ((((triple12) -> rule4) triple10) -> rule5) OR ((((triple12) -> rule4) ((triple11) -> rule6)) -> rule5))] Erin is cold.[(triple9)] Erin is quiet.[(triple10 OR ((triple11) -> rule6))] Erin is red.[(triple11)] Erin is smart.[(triple12)] @1: Erin is nice.[(((triple12) -> rule4))]