Anne is blue. Anne is smart. Anne is white. Dave is furry. Dave is red. Dave is round. Dave is white. Dave is young. Erin is young. Harry is blue. Harry is round. Harry is smart. All red, round people are young. Smart people are young. Red, white people are round.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Dave is furry.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6 OR ((triple5 triple7) -> rule3))] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple5 triple7) -> rule3)) -> rule1))] Erin is young.[(triple9)] Harry is blue.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Anne is young.[(((triple2) -> rule2))] Harry is young.[(((triple12) -> rule2))]