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