Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is young. If something is furry then it is blue. If something is young then it is cold. If Charlie is green then Charlie is young. Blue things are young. If something is cold then it is blue. All blue, cold things are kind.
Anne is not green.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule5) OR ((triple3) -> rule1) OR ((((triple7) -> rule2)) -> rule5))] Anne is cold.[(triple2 OR ((triple7) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((((triple3) -> rule1)) -> rule4)) -> rule2))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple7) -> rule2)) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule6) OR ((((triple3) -> rule1) triple2) -> rule6) OR ((((triple2) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((triple3) -> rule1) ((triple7) -> rule2)) -> rule6) OR ((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule1) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((triple1 ((((((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((triple2) -> rule5) ((((((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6))] Anne is nice.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple3) -> rule1)) -> rule4))] Charlie is blue.[(triple8 OR ((triple10) -> rule1) OR ((triple9) -> rule5) OR ((((triple14) -> rule2)) -> rule5) OR ((((((triple11) -> rule3)) -> rule2)) -> rule5))] Charlie is cold.[(triple9 OR ((triple14) -> rule2) OR ((((triple11) -> rule3)) -> rule2) OR ((((triple8) -> rule4)) -> rule2) OR ((((((triple10) -> rule1)) -> rule4)) -> rule2))] Charlie is furry.[(triple10)] Charlie is green.[(triple11)] Charlie is kind.[(triple12 OR ((triple8 triple9) -> rule6) OR ((triple8 ((triple14) -> rule2)) -> rule6) OR ((((triple10) -> rule1) triple9) -> rule6) OR ((((triple9) -> rule5) triple9) -> rule6) OR ((((triple10) -> rule1) ((triple14) -> rule2)) -> rule6) OR ((((triple9) -> rule5) ((triple14) -> rule2)) -> rule6) OR ((triple8 ((((triple11) -> rule3)) -> rule2)) -> rule6) OR ((triple8 ((((triple8) -> rule4)) -> rule2)) -> rule6) OR ((((((triple14) -> rule2)) -> rule5) triple9) -> rule6) OR ((((triple10) -> rule1) ((((triple11) -> rule3)) -> rule2)) -> rule6) OR ((((triple10) -> rule1) ((((triple8) -> rule4)) -> rule2)) -> rule6) OR ((((triple9) -> rule5) ((((triple11) -> rule3)) -> rule2)) -> rule6) OR ((((triple9) -> rule5) ((((triple8) -> rule4)) -> rule2)) -> rule6) OR ((((((triple14) -> rule2)) -> rule5) ((triple14) -> rule2)) -> rule6) OR ((((((triple14) -> rule2)) -> rule5) ((((triple11) -> rule3)) -> rule2)) -> rule6) OR ((((((triple14) -> rule2)) -> rule5) ((((triple8) -> rule4)) -> rule2)) -> rule6) OR ((triple8 ((((((triple10) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule2)) -> rule5) triple9) -> rule6) OR ((((triple10) -> rule1) ((((((triple10) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((triple9) -> rule5) ((((((triple10) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule2)) -> rule5) ((triple14) -> rule2)) -> rule6) OR ((((((triple14) -> rule2)) -> rule5) ((((((triple10) -> rule1)) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule2)) -> rule5) ((((triple11) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule2)) -> rule5) ((((triple8) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule2)) -> rule5) ((((((triple10) -> rule1)) -> rule4)) -> rule2)) -> rule6))] Charlie is nice.[(triple13)] Charlie is young.[(triple14 OR ((triple11) -> rule3) OR ((triple8) -> rule4) OR ((((triple10) -> rule1)) -> rule4) OR ((((triple9) -> rule5)) -> rule4))]