Anne is blue. Erin is green. Gary is quiet. If someone is nice then they are blue. Blue, nice people are rough. If someone is green then they are rough. If someone is round then they are nice. If someone is smart and nice then they are blue. If Anne is smart then Anne is quiet.
Anne is round.
@0: Anne is blue.[(triple1)] Erin is green.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is rough.[(((triple2) -> rule3))]