Anne is cold. Anne is red. Anne is round. If someone is white then they are blue. All cold, blue people are big. All cold, big people are blue. If someone is young and big then they are red. If someone is cold and round then they are white. If someone is big and blue then they are white.
Anne is cold.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] @1: Anne is white.[(((triple1 triple3) -> rule5))] @2: Anne is blue.[(((((triple1 triple3) -> rule5)) -> rule1))] @3: Anne is big.[(((triple1 ((((triple1 triple3) -> rule5)) -> rule1)) -> rule2))]