Anne is big. Anne is green. Anne is kind. Anne is smart. Anne is white. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is white. Nice people are white. If someone is green and kind then they are smart. If Harry is red then Harry is white. If Harry is smart then Harry is nice. If someone is smart then they are red. White people are smart. If someone is nice and big then they are kind. All big people are nice.
Harry is not kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((((triple1) -> rule8) triple1) -> rule7))] Anne is smart.[(triple4 OR ((triple5) -> rule6) OR ((triple2 triple3) -> rule2) OR ((((((triple1) -> rule8)) -> rule1)) -> rule6) OR ((triple2 ((((triple1) -> rule8) triple1) -> rule7)) -> rule2))] Anne is white.[(triple5 OR ((((triple1) -> rule8)) -> rule1))] Harry is big.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8 OR ((triple9 triple6) -> rule7) OR ((((triple11) -> rule4) triple6) -> rule7) OR ((((triple6) -> rule8) triple6) -> rule7) OR ((((((triple12) -> rule6)) -> rule4) triple6) -> rule7) OR ((((((((triple10) -> rule3)) -> rule6)) -> rule4) triple6) -> rule7))] Harry is nice.[(triple9 OR ((triple11) -> rule4) OR ((triple6) -> rule8) OR ((((triple12) -> rule6)) -> rule4) OR ((((triple7 triple8) -> rule2)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6)) -> rule4))] Harry is red.[(triple10 OR ((triple11) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((triple7 triple8) -> rule2)) -> rule5) OR ((((((triple9) -> rule1)) -> rule6)) -> rule5) OR ((((triple7 ((triple9 triple6) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule6)) -> rule5) OR ((((triple7 ((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule5))] Harry is smart.[(triple11 OR ((triple12) -> rule6) OR ((triple7 triple8) -> rule2) OR ((((triple10) -> rule3)) -> rule6) OR ((((triple9) -> rule1)) -> rule6) OR ((triple7 ((triple9 triple6) -> rule7)) -> rule2) OR ((((((triple6) -> rule8)) -> rule1)) -> rule6) OR ((triple7 ((((triple6) -> rule8) triple6) -> rule7)) -> rule2))] Harry is white.[(triple12 OR ((triple10) -> rule3) OR ((triple9) -> rule1) OR ((((triple11) -> rule4)) -> rule1) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple6) -> rule8)) -> rule1) OR ((((((triple7 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple7 triple8) -> rule2)) -> rule5)) -> rule3) OR ((((((triple7 ((triple9 triple6) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple7 ((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule5)) -> rule3))] @1: Anne is nice.[(((triple1) -> rule8))] Anne is red.[(((triple4) -> rule5) OR ((((triple5) -> rule6)) -> rule5) OR ((((triple2 triple3) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule1)) -> rule6)) -> rule5) OR ((((triple2 ((((triple1) -> rule8) triple1) -> rule7)) -> rule2)) -> rule5))]