Anne is cold. Anne is kind. Charlie is kind. All kind, red people are furry. All cold, kind people are smart. All cold, smart people are green. Green people are rough. All red, kind people are cold. All kind people are cold.
Anne is furry.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule6))] Anne is kind.[(triple2)] Charlie is kind.[(triple3)] @1: Anne is smart.[(((triple1 triple2) -> rule2) OR ((((triple2) -> rule6) triple2) -> rule2))] Charlie is cold.[(((triple3) -> rule6))] @2: Anne is green.[(((triple1 ((triple1 triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule6) ((triple1 triple2) -> rule2)) -> rule3) OR ((triple1 ((((triple2) -> rule6) triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule6) ((((triple2) -> rule6) triple2) -> rule2)) -> rule3))] Charlie is smart.[(((((triple3) -> rule6) triple3) -> rule2))] @3: Anne is rough.[(((((triple1 ((triple1 triple2) -> rule2)) -> rule3)) -> rule4) OR ((((((triple2) -> rule6) ((triple1 triple2) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 ((((triple2) -> rule6) triple2) -> rule2)) -> rule3)) -> rule4) OR ((((((triple2) -> rule6) ((((triple2) -> rule6) triple2) -> rule2)) -> rule3)) -> rule4))] Charlie is green.[(((((triple3) -> rule6) ((((triple3) -> rule6) triple3) -> rule2)) -> rule3))] @4: Charlie is rough.[(((((((triple3) -> rule6) ((((triple3) -> rule6) triple3) -> rule2)) -> rule3)) -> rule4))]