Charlie is smart. Fiona is smart. If Charlie is nice then Charlie is smart. If something is quiet then it is red. If Charlie is smart then Charlie is quiet. If something is round then it is not smart. If something is red then it is young. Nice things are not young.
Charlie is quiet.
@0: Charlie is smart.[(triple1)] Fiona is smart.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule3))] @2: Charlie is red.[(((((triple1) -> rule3)) -> rule2))] @3: Charlie is young.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))]