Anne is blue. Anne is rough. Anne is round. Anne is smart. Charlie is rough. Charlie is smart. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is young. All red, young things are rough. Rough things are blue. All furry things are young. If Fiona is red then Fiona is furry. All blue, smart things are furry. If Charlie is red and Charlie is furry then Charlie is young.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Fiona is furry.[(triple7 OR ((((triple8) -> rule2) triple9) -> rule5))] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10 OR ((triple7) -> rule3) OR ((((((triple8) -> rule2) triple9) -> rule5)) -> rule3))] @1: Anne is furry.[(((triple1 triple4) -> rule5) OR ((((triple2) -> rule2) triple4) -> rule5))] Charlie is blue.[(((triple5) -> rule2))] Fiona is blue.[(((triple8) -> rule2))] @2: Anne is young.[(((((triple1 triple4) -> rule5)) -> rule3) OR ((((((triple2) -> rule2) triple4) -> rule5)) -> rule3))] Charlie is furry.[(((((triple5) -> rule2) triple6) -> rule5))] @3: Charlie is young.[(((((((triple5) -> rule2) triple6) -> rule5)) -> rule3))]