Anne is blue. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Gary is green. Gary is smart. Gary is white. Harry is green. Harry is smart. Harry is young. If someone is blue and smart then they are green. If someone is young then they are smart. If Gary is young then Gary is green. Smart, blue people are red. Young people are green. All blue, red people are white.
Gary is young.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2 OR ((triple4 triple1) -> rule4) OR ((((triple6) -> rule2) triple1) -> rule4))] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple6) -> rule2))] Anne is white.[(triple5 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple4 triple1) -> rule4)) -> rule6) OR ((triple1 ((((triple6) -> rule2) triple1) -> rule4)) -> rule6))] Anne is young.[(triple6)] Gary is green.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Harry is green.[(triple10 OR ((triple12) -> rule5))] Harry is smart.[(triple11 OR ((triple12) -> rule2))] Harry is young.[(triple12)] @1: Anne is green.[(((triple6) -> rule5) OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple6) -> rule2)) -> rule1))]