Charlie is young. Dave is blue. Erin is young. Fiona is kind. Nice, young people are blue. All young people are nice.
Charlie is not nice.
@0: Charlie is young.[(triple1)] Dave is blue.[(triple2)] Erin is young.[(triple3)] Fiona is kind.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule2))] Erin is nice.[(((triple3) -> rule2))] @2: Charlie is blue.[(((((triple1) -> rule2) triple1) -> rule1))] Erin is blue.[(((((triple3) -> rule2) triple3) -> rule1))]