Anne is blue. Anne is cold. Anne is quiet. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Erin is blue. Erin is nice. All blue, quiet people are smart. All big, green people are blue. If someone is quiet then they are smart. If Erin is cold then Erin is nice. All nice, blue people are cold. All cold people are quiet.
Erin is not green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3 OR ((triple2) -> rule6))] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7 OR ((triple5) -> rule6))] Charlie is smart.[(triple8 OR ((triple7) -> rule3) OR ((triple4 triple7) -> rule1) OR ((((triple5) -> rule6)) -> rule3) OR ((triple4 ((triple5) -> rule6)) -> rule1))] Erin is blue.[(triple9)] Erin is nice.[(triple10)] @1: Anne is smart.[(((triple3) -> rule3) OR ((triple1 triple3) -> rule1) OR ((((triple2) -> rule6)) -> rule3) OR ((triple1 ((triple2) -> rule6)) -> rule1))] Erin is cold.[(((triple10 triple9) -> rule5))] @2: Erin is quiet.[(((((triple10 triple9) -> rule5)) -> rule6))] @3: Erin is smart.[(((((((triple10 triple9) -> rule5)) -> rule6)) -> rule3) OR ((triple9 ((((triple10 triple9) -> rule5)) -> rule6)) -> rule1))]