Dave is round. Erin is round. Fiona is green. Gary is white. If someone is round and blue then they are green. If Erin is round then Erin is blue.
Fiona is nice.
@0: Dave is round.[(triple1)] Erin is round.[(triple2)] Fiona is green.[(triple3)] Gary is white.[(triple4)] @1: Erin is blue.[(((triple2) -> rule2))] @2: Erin is green.[(((triple2 ((triple2) -> rule2)) -> rule1))]