Anne is round. Erin is red. Fiona is red. Gary is white. If someone is round then they are red.
Anne is round.
@0: Anne is round.[(triple1)] Erin is red.[(triple2)] Fiona is red.[(triple3)] Gary is white.[(triple4)] @1: Anne is red.[(((triple1) -> rule1))]