Charlie is rough. Fiona is rough. If someone is rough then they are white. If Fiona is white and Fiona is big then Fiona is smart. Big, smart people are white. All rough people are green. White, rough people are blue. Big people are blue.
Charlie is not young.
@0: Charlie is rough.[(triple1)] Fiona is rough.[(triple2)] @1: Charlie is green.[(((triple1) -> rule4))] Charlie is white.[(((triple1) -> rule1))] Fiona is green.[(((triple2) -> rule4))] Fiona is white.[(((triple2) -> rule1))] @2: Charlie is blue.[(((((triple1) -> rule1) triple1) -> rule5))] Fiona is blue.[(((((triple2) -> rule1) triple2) -> rule5))]