Anne is nice. Gary is blue. If someone is blue then they are nice. If someone is nice and white then they are big. If someone is cold then they are big. If Anne is white and Anne is kind then Anne is blue. All kind people are cold. All nice, blue people are white. Young people are big. If someone is blue and cold then they are kind.
Anne is not kind.
@0: Anne is nice.[(triple1)] Gary is blue.[(triple2)] @1: Gary is nice.[(((triple2) -> rule1))] @2: Gary is white.[(((((triple2) -> rule1) triple2) -> rule6))] @3: Gary is big.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule6)) -> rule2))]