Anne is cold. Anne is green. Anne is kind. Dave is nice. Gary is green. Gary is quiet. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Cold things are blue. All kind, rough things are nice. If Dave is nice then Dave is rough. All nice things are rough. Green, quiet things are cold. If something is kind then it is quiet.
Harry is not kind.
@0: Anne is cold.[(triple1 OR ((triple2 ((triple3) -> rule6)) -> rule5))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Dave is nice.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9 OR ((triple8 triple10) -> rule2))] Harry is rough.[(triple10 OR ((triple9) -> rule4))] @1: Anne is blue.[(((triple1) -> rule1) OR ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule1))] Anne is quiet.[(((triple3) -> rule6))] Dave is rough.[(((triple4) -> rule3) OR ((triple4) -> rule4))] Gary is cold.[(((triple5 triple6) -> rule5))] Harry is quiet.[(((triple8) -> rule6))] @2: Gary is blue.[(((((triple5 triple6) -> rule5)) -> rule1))]