Erin is not quiet. Fiona is cold. If Fiona is kind then Fiona is red. All cold people are kind. All green people are round.
Erin is round.
@0: Erin is not quiet.[(triple1)] Fiona is cold.[(triple2)] @1: Fiona is kind.[(((triple2) -> rule2))] @2: Fiona is red.[(((((triple2) -> rule2)) -> rule1))]