Anne is furry. Anne is green. Bob is green. Bob is quiet. Bob is round. Bob is white. Bob is young. Gary is furry. Gary is white. Harry is smart. Harry is white. If something is quiet and furry then it is green. All smart, white things are quiet. Furry things are smart. If something is round then it is furry. If something is green and white then it is young. If Gary is white and Gary is young then Gary is round.
Harry is not quiet.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Bob is green.[(triple3 OR ((triple4 ((triple5) -> rule4)) -> rule1) OR ((((((((triple5) -> rule4)) -> rule3) triple6) -> rule2) ((triple5) -> rule4)) -> rule1))] Bob is quiet.[(triple4 OR ((((((triple5) -> rule4)) -> rule3) triple6) -> rule2))] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple3 triple6) -> rule5) OR ((((triple4 ((triple5) -> rule4)) -> rule1) triple6) -> rule5) OR ((((((((((triple5) -> rule4)) -> rule3) triple6) -> rule2) ((triple5) -> rule4)) -> rule1) triple6) -> rule5))] Gary is furry.[(triple8)] Gary is white.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11)] @1: Anne is smart.[(((triple1) -> rule3))] Bob is furry.[(((triple5) -> rule4))] Gary is smart.[(((triple8) -> rule3))] Harry is quiet.[(((triple10 triple11) -> rule2))] @2: Bob is smart.[(((((triple5) -> rule4)) -> rule3))] Gary is quiet.[(((((triple8) -> rule3) triple9) -> rule2))] @3: Gary is green.[(((((((triple8) -> rule3) triple9) -> rule2) triple8) -> rule1))] @4: Gary is young.[(((((((((triple8) -> rule3) triple9) -> rule2) triple8) -> rule1) triple9) -> rule5))] @5: Gary is round.[(((triple9 ((((((((triple8) -> rule3) triple9) -> rule2) triple8) -> rule1) triple9) -> rule5)) -> rule6))]