Anne is blue. Anne is kind. Anne is round. Anne is smart. Bob is round. Bob is smart. Harry is blue. Harry is cold. Harry is nice. Harry is round. Harry is smart. Harry is white. Blue people are white. If someone is cold then they are blue. All white people are kind. All kind, nice people are white. White people are nice. Kind, nice people are cold. If someone is kind and blue then they are white. All smart people are cold.
Bob is not round.
@0: Anne is blue.[(triple1 OR ((((triple4) -> rule8)) -> rule2))] Anne is kind.[(triple2 OR ((((triple1) -> rule1)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule3))] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Harry is blue.[(triple7 OR ((triple8) -> rule2) OR ((((triple11) -> rule8)) -> rule2) OR ((((((triple12) -> rule3) triple9) -> rule6)) -> rule2) OR ((((((triple12) -> rule3) ((triple12) -> rule5)) -> rule6)) -> rule2))] Harry is cold.[(triple8 OR ((triple11) -> rule8) OR ((((triple12) -> rule3) triple9) -> rule6) OR ((((triple12) -> rule3) ((triple12) -> rule5)) -> rule6) OR ((((((triple7) -> rule1)) -> rule3) triple9) -> rule6) OR ((((triple12) -> rule3) ((((triple7) -> rule1)) -> rule5)) -> rule6) OR ((((((triple7) -> rule1)) -> rule3) ((triple12) -> rule5)) -> rule6) OR ((((((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1)) -> rule5)) -> rule6))] Harry is nice.[(triple9 OR ((triple12) -> rule5) OR ((((triple7) -> rule1)) -> rule5) OR ((((((triple8) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple11) -> rule8)) -> rule2)) -> rule1)) -> rule5))] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple7) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple11) -> rule8)) -> rule2)) -> rule1))] @1: Anne is cold.[(((triple4) -> rule8) OR ((triple2 ((((triple1) -> rule1)) -> rule5)) -> rule6) OR ((triple2 ((((triple2 triple1) -> rule7)) -> rule5)) -> rule6) OR ((((((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule5)) -> rule6) OR ((((((triple1) -> rule1)) -> rule3) ((((triple2 triple1) -> rule7)) -> rule5)) -> rule6))] Anne is white.[(((triple1) -> rule1) OR ((triple2 triple1) -> rule7) OR ((((((triple4) -> rule8)) -> rule2)) -> rule1) OR ((triple2 ((((triple4) -> rule8)) -> rule2)) -> rule7))] Bob is cold.[(((triple6) -> rule8))] Harry is kind.[(((triple12) -> rule3) OR ((((triple7) -> rule1)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple11) -> rule8)) -> rule2)) -> rule1)) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule5) OR ((((triple2 triple1) -> rule7)) -> rule5) OR ((((((((triple4) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple2 ((((triple4) -> rule8)) -> rule2)) -> rule7)) -> rule5))] Bob is blue.[(((((triple6) -> rule8)) -> rule2))] @3: Bob is white.[(((((((triple6) -> rule8)) -> rule2)) -> rule1))] @4: Bob is kind.[(((((((((triple6) -> rule8)) -> rule2)) -> rule1)) -> rule3))] Bob is nice.[(((((((((triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5))]