Anne is blue. Anne is red. Anne is smart. All red people are big. Red, kind people are rough. If someone is big then they are blue. Blue, big people are rough. Round, red people are rough. All rough people are kind.
Anne is not kind.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule1)) -> rule3))] Anne is red.[(triple2)] Anne is smart.[(triple3)] @1: Anne is big.[(((triple2) -> rule1))] @2: Anne is rough.[(((triple1 ((triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4))] @3: Anne is kind.[(((((triple1 ((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6))]