Charlie is smart. Erin is quiet. Fiona is young. Gary is big. All red, young things are smart. Nice, young things are red. If something is young then it is nice.
Fiona is not young.
@0: Charlie is smart.[(triple1)] Erin is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is big.[(triple4)] @1: Fiona is nice.[(((triple3) -> rule3))] @2: Fiona is red.[(((((triple3) -> rule3) triple3) -> rule2))] @3: Fiona is smart.[(((((((triple3) -> rule3) triple3) -> rule2) triple3) -> rule1))]