Charlie is round. If something is white then it is young. If Charlie is round then Charlie is cold. If something is blue then it is white. If Charlie is round then Charlie is blue. All nice things are white. Nice things are round. Rough things are white. If something is round and rough then it is blue.
Charlie is white.
@0: Charlie is round.[(triple1)] @1: Charlie is blue.[(((triple1) -> rule4))] Charlie is cold.[(((triple1) -> rule2))] @2: Charlie is white.[(((((triple1) -> rule4)) -> rule3))] @3: Charlie is young.[(((((((triple1) -> rule4)) -> rule3)) -> rule1))]