Anne is cold. Anne is nice. Anne is smart. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Erin is green. Erin is nice. Erin is red. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. Nice people are red. If someone is red then they are smart.
Erin is not rough.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3 OR ((((triple2) -> rule1)) -> rule2))] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10 OR ((triple9) -> rule1))] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15 OR ((triple13) -> rule2))] @1: Anne is red.[(((triple2) -> rule1))] Charlie is red.[(((triple6) -> rule1))] Erin is smart.[(((triple10) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] @2: Charlie is smart.[(((((triple6) -> rule1)) -> rule2))]