Anne is blue. Anne is furry. Anne is red. Anne is smart. Anne is white. Anne is young. Harry is young. All young people are smart. All furry, blue people are white. Young people are white. Blue people are young. If someone is white and not blue then they are not red. Smart people are red. If someone is red and not white then they are green. If someone is red and young then they are green.
Harry is red.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule6) OR ((((triple6) -> rule1)) -> rule6) OR ((((((triple1) -> rule4)) -> rule1)) -> rule6))] Anne is smart.[(triple4 OR ((triple6) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] Anne is white.[(triple5 OR ((triple6) -> rule3) OR ((triple2 triple1) -> rule2) OR ((((triple1) -> rule4)) -> rule3))] Anne is young.[(triple6 OR ((triple1) -> rule4))] Harry is young.[(triple7)] @1: Anne is green.[(((triple3 triple6) -> rule8) OR ((triple3 ((triple1) -> rule4)) -> rule8) OR ((((triple4) -> rule6) triple6) -> rule8) OR ((((triple4) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((((triple6) -> rule1)) -> rule6) triple6) -> rule8) OR ((((((triple6) -> rule1)) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((((((triple1) -> rule4)) -> rule1)) -> rule6) triple6) -> rule8) OR ((((((((triple1) -> rule4)) -> rule1)) -> rule6) ((triple1) -> rule4)) -> rule8))] Harry is smart.[(((triple7) -> rule1))] Harry is white.[(((triple7) -> rule3))] @2: Harry is red.[(((((triple7) -> rule1)) -> rule6))] @3: Harry is green.[(((((((triple7) -> rule1)) -> rule6) triple7) -> rule8))]