Anne is rough. Bob is white. Harry is cold. All kind people are smart. Rough, white people are cold. If Anne is kind and Anne is white then Anne is furry. All rough people are white. All big, white people are kind. All big, white people are smart. If Anne is kind then Anne is furry. White, rough people are kind.
Bob is not cold.
@0: Anne is rough.[(triple1)] Bob is white.[(triple2)] Harry is cold.[(triple3)] @1: Anne is white.[(((triple1) -> rule4))] @2: Anne is cold.[(((triple1 ((triple1) -> rule4)) -> rule2))] Anne is kind.[(((((triple1) -> rule4) triple1) -> rule8))] @3: Anne is furry.[(((((((triple1) -> rule4) triple1) -> rule8)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule8) ((triple1) -> rule4)) -> rule3))] Anne is smart.[(((((((triple1) -> rule4) triple1) -> rule8)) -> rule1))]