Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. If someone is smart then they are rough. If someone is rough then they are green. If Anne is green then Anne is rough. All kind, rough people are green. If someone is furry and smart then they are kind. All furry people are rough.
Anne is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple6) -> rule2) OR ((triple5 triple6) -> rule4) OR ((((triple3) -> rule6)) -> rule2) OR ((((triple7) -> rule1)) -> rule2) OR ((triple5 ((triple3) -> rule6)) -> rule4) OR ((triple5 ((triple7) -> rule1)) -> rule4) OR ((((triple3 triple7) -> rule5) triple6) -> rule4) OR ((((triple3 triple7) -> rule5) ((triple3) -> rule6)) -> rule4) OR ((((triple3 triple7) -> rule5) ((triple7) -> rule1)) -> rule4))] Anne is kind.[(triple5 OR ((triple3 triple7) -> rule5))] Anne is rough.[(triple6 OR ((triple3) -> rule6) OR ((triple4) -> rule3) OR ((triple7) -> rule1))] Anne is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is green.[(triple11 OR ((triple13) -> rule2) OR ((triple12 triple13) -> rule4) OR ((((triple10) -> rule6)) -> rule2) OR ((((triple14) -> rule1)) -> rule2) OR ((triple12 ((triple10) -> rule6)) -> rule4) OR ((triple12 ((triple14) -> rule1)) -> rule4) OR ((((triple10 triple14) -> rule5) triple13) -> rule4) OR ((((triple10 triple14) -> rule5) ((triple10) -> rule6)) -> rule4) OR ((((triple10 triple14) -> rule5) ((triple14) -> rule1)) -> rule4))] Charlie is kind.[(triple12 OR ((triple10 triple14) -> rule5))] Charlie is rough.[(triple13 OR ((triple10) -> rule6) OR ((triple14) -> rule1))] Charlie is smart.[(triple14)]