Bob is white. Charlie is cold. Fiona is white. Round things are white. All cold things are white. If something is round and not rough then it is quiet. If something is kind and young then it is not quiet. White, cold things are round. If something is round and white then it is not young.
Fiona is white.
@0: Bob is white.[(triple1)] Charlie is cold.[(triple2)] Fiona is white.[(triple3)] @1: Charlie is white.[(((triple2) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule2) triple2) -> rule5))] @3: Charlie is not young.[(((((((triple2) -> rule2) triple2) -> rule5) ((triple2) -> rule2)) -> rule6))]