Anne is kind. Erin is kind. Fiona is cold. Fiona is rough. Fiona is smart. Harry is cold. Harry is young. All cold things are kind. Young things are smart.
Harry is rough.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Fiona is cold.[(triple3)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5)] Harry is cold.[(triple6)] Harry is young.[(triple7)] @1: Fiona is kind.[(((triple3) -> rule1))] Harry is kind.[(((triple6) -> rule1))] Harry is smart.[(((triple7) -> rule2))]