Bob is quiet. Charlie is young. Dave is nice. Fiona is blue. If Charlie is young then Charlie is smart. If something is blue then it is smart. If Dave is smart and Dave is nice then Dave is young. White things are blue. If something is blue and round then it is young. Smart, young things are round.
Dave is not nice.
@0: Bob is quiet.[(triple1)] Charlie is young.[(triple2)] Dave is nice.[(triple3)] Fiona is blue.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule1))] Fiona is smart.[(((triple4) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule1) triple2) -> rule6))]