Anne is round. Anne is white. Gary is red. All white, green things are cold. If something is white and kind then it is furry. All kind, red things are cold. If Anne is kind and Anne is furry then Anne is round. If Anne is round then Anne is green. All green, red things are round.
Anne is white.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Gary is red.[(triple3)] @1: Anne is green.[(((triple1) -> rule5))] @2: Anne is cold.[(((triple2 ((triple1) -> rule5)) -> rule1))]