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