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