Anne is blue. Anne is kind. Anne is nice. Anne is red. Bob is smart. Fiona is cold. Fiona is kind. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is red. All red things are cold. If something is blue and green then it is nice. If something is smart and cold then it is kind. All green things are blue. If something is smart and blue then it is nice. If Bob is nice then Bob is cold. If something is smart then it is green.
Harry is not kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Bob is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Harry is blue.[(triple8 OR ((triple10) -> rule4))] Harry is cold.[(triple9 OR ((triple12) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12)] @1: Anne is cold.[(((triple4) -> rule1))] Bob is green.[(((triple5) -> rule7))] Harry is nice.[(((triple8 triple10) -> rule2) OR ((((triple10) -> rule4) triple10) -> rule2))] @2: Bob is blue.[(((((triple5) -> rule7)) -> rule4))] @3: Bob is nice.[(((triple5 ((((triple5) -> rule7)) -> rule4)) -> rule5) OR ((((((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule2))] @4: Bob is cold.[(((((triple5 ((((triple5) -> rule7)) -> rule4)) -> rule5)) -> rule6) OR ((((((((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule6))] @5: Bob is kind.[(((triple5 ((((triple5 ((((triple5) -> rule7)) -> rule4)) -> rule5)) -> rule6)) -> rule3) OR ((triple5 ((((((((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule3))]