Bob is furry. Bob is quiet. Bob is not rough. Bob is smart. Dave is furry. Dave is green. Dave is nice. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If someone is rough and not smart then they are not quiet. All green people are nice.
Harry is rough.
@0: Bob is furry.[(triple1)] Bob is not rough.[(triple3)] Bob is quiet.[(triple2)] Bob is smart.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7 OR ((triple6) -> rule2))] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Harry is nice.[(((triple8) -> rule2))]