Dave is kind. Fiona is cold. If someone is cold then they are round. Furry people are round. If someone is round and green then they are kind. Nice people are kind. If Dave is cold and Dave is green then Dave is nice. If Fiona is round then Fiona is nice.
Fiona is nice.
@0: Dave is kind.[(triple1)] Fiona is cold.[(triple2)] @1: Fiona is round.[(((triple2) -> rule1))] @2: Fiona is nice.[(((((triple2) -> rule1)) -> rule6))] @3: Fiona is kind.[(((((((triple2) -> rule1)) -> rule6)) -> rule4))]