Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is rough. Bob is white. Bob is young. All kind things are furry. Blue, kind things are big.
Bob is not blue.
@0: Bob is big.[(triple1 OR ((triple2 triple4) -> rule2))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple4) -> rule1))] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]