Erin is nice. Fiona is round. Gary is big. If Fiona is round then Fiona is big. If something is rough and green then it is blue. If Gary is rough and Gary is round then Gary is red.
Erin is nice.
@0: Erin is nice.[(triple1)] Fiona is round.[(triple2)] Gary is big.[(triple3)] @1: Fiona is big.[(((triple2) -> rule1))]