Anne is cold. Anne is rough. Anne is young. Fiona is quiet. Fiona is red. Gary is quiet. Gary is young. Harry is green. Harry is red. Harry is young. All white people are green. All cold people are rough. If someone is green then they are quiet. All young, quiet people are cold. All young people are red. If Harry is rough then Harry is white. All white, rough people are young. If someone is red then they are green.
Gary is not young.
@0: Anne is cold.[(triple1 OR ((triple3 ((((((triple3) -> rule5)) -> rule8)) -> rule3)) -> rule4))] Anne is rough.[(triple2 OR ((triple1) -> rule2) OR ((((triple3 ((((((triple3) -> rule5)) -> rule8)) -> rule3)) -> rule4)) -> rule2))] Anne is young.[(triple3)] Fiona is quiet.[(triple4 OR ((((triple5) -> rule8)) -> rule3))] Fiona is red.[(triple5)] Gary is quiet.[(triple6 OR ((((((triple7) -> rule5)) -> rule8)) -> rule3))] Gary is young.[(triple7)] Harry is green.[(triple8 OR ((triple9) -> rule8) OR ((((triple10) -> rule5)) -> rule8))] Harry is red.[(triple9 OR ((triple10) -> rule5))] Harry is young.[(triple10)] @1: Anne is red.[(((triple3) -> rule5))] Fiona is green.[(((triple5) -> rule8))] Gary is cold.[(((triple7 triple6) -> rule4) OR ((triple7 ((((((triple7) -> rule5)) -> rule8)) -> rule3)) -> rule4))] Gary is red.[(((triple7) -> rule5))] Harry is quiet.[(((triple8) -> rule3) OR ((((triple9) -> rule8)) -> rule3) OR ((((((triple10) -> rule5)) -> rule8)) -> rule3))] @2: Anne is green.[(((((triple3) -> rule5)) -> rule8))] Gary is green.[(((((triple7) -> rule5)) -> rule8))] Gary is rough.[(((((triple7 triple6) -> rule4)) -> rule2) OR ((((triple7 ((((((triple7) -> rule5)) -> rule8)) -> rule3)) -> rule4)) -> rule2))] Harry is cold.[(((triple10 ((triple8) -> rule3)) -> rule4) OR ((triple10 ((((triple9) -> rule8)) -> rule3)) -> rule4) OR ((triple10 ((((((triple10) -> rule5)) -> rule8)) -> rule3)) -> rule4))] @3: Anne is quiet.[(((((((triple3) -> rule5)) -> rule8)) -> rule3))] Harry is rough.[(((((triple10 ((triple8) -> rule3)) -> rule4)) -> rule2) OR ((((triple10 ((((triple9) -> rule8)) -> rule3)) -> rule4)) -> rule2) OR ((((triple10 ((((((triple10) -> rule5)) -> rule8)) -> rule3)) -> rule4)) -> rule2))] @4: Harry is white.[(((((((triple10 ((triple8) -> rule3)) -> rule4)) -> rule2)) -> rule6) OR ((((((triple10 ((((triple9) -> rule8)) -> rule3)) -> rule4)) -> rule2)) -> rule6) OR ((((((triple10 ((((((triple10) -> rule5)) -> rule8)) -> rule3)) -> rule4)) -> rule2)) -> rule6))]