Anne is blue. Charlie is kind. Fiona is round. Blue things are not furry. If something is blue and not furry then it is kind. All kind things are cold. All furry, cold things are red. Furry, blue things are red. If something is red then it is not big. All furry things are round. If something is blue and not kind then it is round.
Charlie is not blue.
@0: Anne is blue.[(triple1)] Charlie is kind.[(triple2)] Fiona is round.[(triple3)] @1: Anne is not furry.[(((triple1) -> rule1))] Charlie is cold.[(((triple2) -> rule3))] @2: Anne is kind.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: Anne is cold.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))]