Bob is big. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is smart. Bob is white. If Bob is white then Bob is smart.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple7) -> rule1))] Bob is white.[(triple7)]