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