Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is round. Gary is cold. Gary is kind. If someone is green then they are kind. All kind people are nice. If Fiona is nice then Fiona is round.
Gary is not cold.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is round.[(triple5 OR ((((((triple3) -> rule1)) -> rule2)) -> rule3))] Gary is cold.[(triple6)] Gary is kind.[(triple7)] @1: Fiona is kind.[(((triple3) -> rule1))] Gary is nice.[(((triple7) -> rule2))] @2: Fiona is nice.[(((((triple3) -> rule1)) -> rule2))]