Anne is furry. Anne is kind. Anne is quiet. Anne is young. Gary is quiet. Harry is quiet. Harry is young. If something is big then it is white. All kind things are furry. If Gary is big and Gary is quiet then Gary is kind. If Harry is furry and Harry is white then Harry is quiet. Furry, young things are kind. If Anne is blue then Anne is big. If something is young and blue then it is furry. All furry, quiet things are big.
Harry is not blue.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule2))] Anne is kind.[(triple2 OR ((triple1 triple4) -> rule5))] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Gary is quiet.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Anne is big.[(((triple1 triple3) -> rule8) OR ((((triple2) -> rule2) triple3) -> rule8))] @2: Anne is white.[(((((triple1 triple3) -> rule8)) -> rule1) OR ((((((triple2) -> rule2) triple3) -> rule8)) -> rule1))]