Anne is round. Charlie is red. Charlie is white. If something is red and furry then it is kind. If something is quiet then it is round. Red things are furry.
Charlie is furry.
@0: Anne is round.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule3))] @2: Charlie is kind.[(((triple2 ((triple2) -> rule3)) -> rule1))]