Anne is big. Anne is green. Anne is kind. Anne is not quiet. Anne is not round. Anne is white. Bob is green. Bob is round. Dave is big. Dave is not furry. Dave is kind. Dave is round. Harry is furry. Harry is not green. Harry is round. Big things are green.
Dave is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule1))] Anne is kind.[(triple3)] Anne is not quiet.[(triple4)] Anne is not round.[(triple5)] Anne is white.[(triple6)] Bob is green.[(triple7)] Bob is round.[(triple8)] Dave is big.[(triple9)] Dave is kind.[(triple11)] Dave is not furry.[(triple10)] Dave is round.[(triple12)] Harry is furry.[(triple13)] Harry is not green.[(triple14)] Harry is round.[(triple15)] @1: Dave is green.[(((triple9) -> rule1))]