Anne is red. Bob is cold. Fiona is kind. All kind people are cold. If someone is kind and cold then they are furry.
Fiona is not cold.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule1))] @2: Fiona is furry.[(((triple3 ((triple3) -> rule1)) -> rule2))]