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