Charlie is quiet. Dave is young. Erin is smart. Fiona is smart. If someone is red then they are young. Smart people are red.
Erin is white.
@0: Charlie is quiet.[(triple1)] Dave is young.[(triple2)] Erin is smart.[(triple3)] Fiona is smart.[(triple4)] @1: Erin is red.[(((triple3) -> rule2))] Fiona is red.[(((triple4) -> rule2))] @2: Erin is young.[(((((triple3) -> rule2)) -> rule1))] Fiona is young.[(((((triple4) -> rule2)) -> rule1))]