Fiona is green. Gary is nice. Gary is round. If someone is cold then they are kind. Nice people are cold.
Gary is green.
@0: Fiona is green.[(triple1)] Gary is nice.[(triple2)] Gary is round.[(triple3)] @1: Gary is cold.[(((triple2) -> rule2))] @2: Gary is kind.[(((((triple2) -> rule2)) -> rule1))]