Charlie is nice. Erin is quiet. Fiona is rough. Harry is blue. Blue things are rough. Quiet things are rough. Blue, white things are red. Red things are nice. Rough, quiet things are young. If something is young then it is nice. If something is red and blue then it is young. White, red things are blue.
Charlie is white.
@0: Charlie is nice.[(triple1)] Erin is quiet.[(triple2)] Fiona is rough.[(triple3)] Harry is blue.[(triple4)] @1: Erin is rough.[(((triple2) -> rule2))] Harry is rough.[(((triple4) -> rule1))] @2: Erin is young.[(((((triple2) -> rule2) triple2) -> rule5))] @3: Erin is nice.[(((((((triple2) -> rule2) triple2) -> rule5)) -> rule6))]