Charlie is nice. Erin is cold. Erin is kind. Erin is rough. Erin is smart. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Harry is cold. Harry is nice. Harry is smart. All smart, nice things are rough. All smart, red things are green. If something is smart then it is red.
Fiona is not smart.
@0: Charlie is nice.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Harry is cold.[(triple10)] Harry is nice.[(triple11)] Harry is smart.[(triple12)] @1: Erin is red.[(((triple5) -> rule3))] Harry is red.[(((triple12) -> rule3))] Harry is rough.[(((triple12 triple11) -> rule1))] @2: Erin is green.[(((triple5 ((triple5) -> rule3)) -> rule2))] Harry is green.[(((triple12 ((triple12) -> rule3)) -> rule2))]