Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. All rough people are nice.
Bob is not rough.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple6) -> rule1))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)]