Bob is cold. Bob is kind. Bob is red. Bob is smart. Bob is white. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is white. If something is nice and white then it is cold. Red things are kind. If something is nice and cold then it is white. Kind, nice things are cold. If something is cold then it is red. Kind, smart things are red.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Bob is red.[(triple3 OR ((triple1) -> rule5) OR ((triple2 triple4) -> rule6))] Bob is smart.[(triple4)] Bob is white.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7 OR ((triple8 triple9) -> rule4) OR ((triple9 triple12) -> rule1) OR ((((triple10) -> rule2) triple9) -> rule4))] Harry is kind.[(triple8 OR ((triple10) -> rule2) OR ((((triple7) -> rule5)) -> rule2) OR ((((((triple9 triple12) -> rule1)) -> rule5)) -> rule2))] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple7) -> rule5) OR ((triple8 triple11) -> rule6) OR ((((triple8 triple9) -> rule4)) -> rule5) OR ((((triple9 triple12) -> rule1)) -> rule5))] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple8 triple9) -> rule4)) -> rule3) OR ((triple9 ((((triple10) -> rule2) triple9) -> rule4)) -> rule3))]