Anne is white. Gary is kind. If something is kind then it is smart. If something is big and green then it is smart. If something is green and white then it is blue. If something is big and blue then it is kind. If Gary is smart then Gary is green. All cold, big things are green. All kind, smart things are white. If something is big and cold then it is kind.
Anne is not kind.
@0: Anne is white.[(triple1)] Gary is kind.[(triple2)] @1: Gary is smart.[(((triple2) -> rule1))] @2: Gary is green.[(((((triple2) -> rule1)) -> rule5))] Gary is white.[(((triple2 ((triple2) -> rule1)) -> rule7))] @3: Gary is blue.[(((((((triple2) -> rule1)) -> rule5) ((triple2 ((triple2) -> rule1)) -> rule7)) -> rule3))]