Bob is nice. Bob is not rough. Bob is white. White things are nice. All kind, white things are furry.
Bob is not rough.
@0: Bob is nice.[(triple1 OR ((triple3) -> rule1))] Bob is not rough.[(triple2)] Bob is white.[(triple3)]