Anne is cold. Anne is nice. Anne is smart. Charlie is rough. Fiona is cold. Fiona is kind. Gary is rough. If someone is smart then they are nice. All nice people are quiet.
Fiona is cold.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule1))] Anne is smart.[(triple3)] Charlie is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Gary is rough.[(triple7)] @1: Anne is quiet.[(((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]