Anne is blue. Anne is quiet. Bob is kind. Gary is blue. Harry is cold. Harry is furry. Harry is kind. All cold things are kind. All quiet, blue things are cold. If something is green and blue then it is kind. Green, blue things are kind. If Harry is round and Harry is kind then Harry is furry. All furry, green things are cold. If something is blue then it is quiet. Round things are blue.
Harry is not blue.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule7))] Bob is kind.[(triple3)] Gary is blue.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7 OR ((triple5) -> rule1))] @1: Anne is cold.[(((triple2 triple1) -> rule2) OR ((((triple1) -> rule7) triple1) -> rule2))] Gary is quiet.[(((triple4) -> rule7))] @2: Anne is kind.[(((((triple2 triple1) -> rule2)) -> rule1) OR ((((((triple1) -> rule7) triple1) -> rule2)) -> rule1))] Gary is cold.[(((((triple4) -> rule7) triple4) -> rule2))] @3: Gary is kind.[(((((((triple4) -> rule7) triple4) -> rule2)) -> rule1))]