Anne is red. Anne is not rough. Anne is round. Anne is white. Anne is young. Dave is green. Dave is rough. Dave is round. Dave is white. Dave is young. Harry is furry. Harry is green. Harry is red. Harry is not rough. Harry is round. Harry is white. All rough people are white. White people are red.
Anne is not green.
@0: Anne is not rough.[(triple2)] Anne is red.[(triple1 OR ((triple4) -> rule2))] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Dave is green.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple7) -> rule1))] Dave is young.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is not rough.[(triple14)] Harry is red.[(triple13 OR ((triple16) -> rule2))] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Dave is red.[(((triple9) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]