Anne is nice. Anne is white. Bob is green. Bob is smart. Bob is white. Gary is blue. Gary is furry. Harry is nice. Harry is white. Harry is young. If something is white and smart then it is green. If Anne is smart then Anne is young. White, young things are smart. All nice things are white. If Harry is smart and Harry is green then Harry is nice. If something is nice then it is white.
Gary is nice.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule4) OR ((triple1) -> rule6))] Bob is green.[(triple3 OR ((triple5 triple4) -> rule1))] Bob is smart.[(triple4)] Bob is white.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Harry is nice.[(triple8 OR ((((triple9 triple10) -> rule3) ((triple9 ((triple9 triple10) -> rule3)) -> rule1)) -> rule5))] Harry is white.[(triple9 OR ((triple8) -> rule4) OR ((triple8) -> rule6))] Harry is young.[(triple10)] @1: Harry is smart.[(((triple9 triple10) -> rule3) OR ((((triple8) -> rule4) triple10) -> rule3) OR ((((triple8) -> rule6) triple10) -> rule3))] @2: Harry is green.[(((triple9 ((triple9 triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple9 triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule6) ((triple9 triple10) -> rule3)) -> rule1) OR ((triple9 ((((triple8) -> rule4) triple10) -> rule3)) -> rule1) OR ((triple9 ((((triple8) -> rule6) triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((((triple8) -> rule4) triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((((triple8) -> rule6) triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule6) ((((triple8) -> rule4) triple10) -> rule3)) -> rule1) OR ((((triple8) -> rule6) ((((triple8) -> rule6) triple10) -> rule3)) -> rule1))]