Anne is red. Anne is round. Anne is white. Anne is young. Dave is red. Dave is round. Fiona is round. Harry is red. Harry is round. Harry is smart. Round things are young. All young things are red. If Harry is red and Harry is white then Harry is young.
Anne is white.
@0: Anne is red.[(triple1 OR ((triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Anne is round.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((triple2) -> rule1))] Dave is red.[(triple5 OR ((((triple6) -> rule1)) -> rule2))] Dave is round.[(triple6)] Fiona is round.[(triple7)] Harry is red.[(triple8 OR ((((triple9) -> rule1)) -> rule2))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Dave is young.[(((triple6) -> rule1))] Fiona is young.[(((triple7) -> rule1))] Harry is young.[(((triple9) -> rule1))] @2: Fiona is red.[(((((triple7) -> rule1)) -> rule2))]