Anne is blue. Anne is cold. Anne is kind. Bob is green. Bob is young. Harry is cold. Harry is green. Young people are cold. All kind people are cold. If Harry is not quiet then Harry is cold. If Bob is quiet then Bob is cold. If Anne is not quiet and Anne is not blue then Anne is white. If someone is young and cold then they are white. If Harry is quiet and Harry is kind then Harry is blue. Blue, cold people are young.
Bob is quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule2))] Anne is kind.[(triple3)] Bob is green.[(triple4)] Bob is young.[(triple5)] Harry is cold.[(triple6)] Harry is green.[(triple7)] @1: Anne is young.[(((triple1 triple2) -> rule8) OR ((triple1 ((triple3) -> rule2)) -> rule8))] Bob is cold.[(((triple5) -> rule1))] @2: Anne is white.[(((((triple1 triple2) -> rule8) triple2) -> rule6) OR ((((triple1 triple2) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((triple1 ((triple3) -> rule2)) -> rule8) triple2) -> rule6) OR ((((triple1 ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule6))] Bob is white.[(((triple5 ((triple5) -> rule1)) -> rule6))]