Anne is kind. Bob is smart. Fiona is quiet. Gary is kind. If something is quiet then it is green. Quiet, kind things are smart. If something is nice then it is kind. If something is green then it is cold. Blue, green things are cold. All kind things are quiet.
Bob is not cold.
@0: Anne is kind.[(triple1)] Bob is smart.[(triple2)] Fiona is quiet.[(triple3)] Gary is kind.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule6))] Fiona is green.[(((triple3) -> rule1))] Gary is quiet.[(((triple4) -> rule6))] @2: Anne is green.[(((((triple1) -> rule6)) -> rule1))] Anne is smart.[(((((triple1) -> rule6) triple1) -> rule2))] Fiona is cold.[(((((triple3) -> rule1)) -> rule4))] Gary is green.[(((((triple4) -> rule6)) -> rule1))] Gary is smart.[(((((triple4) -> rule6) triple4) -> rule2))] @3: Anne is cold.[(((((((triple1) -> rule6)) -> rule1)) -> rule4))] Gary is cold.[(((((((triple4) -> rule6)) -> rule1)) -> rule4))]