Anne is white. Gary is kind. Gary is white. If someone is round then they are blue. All kind people are round. All blue, kind people are red. Blue, white people are kind. Round, young people are blue. Kind, young people are round.
Anne is kind.
@0: Anne is white.[(triple1)] Gary is kind.[(triple2)] Gary is white.[(triple3)] @1: Gary is round.[(((triple2) -> rule2))] @2: Gary is blue.[(((((triple2) -> rule2)) -> rule1))] @3: Gary is red.[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule3))]