Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is smart. Bob is white. Bob is young. Kind people are big. If someone is smart and white then they are green.
Bob is not nice.
@0: Bob is big.[(triple1 OR ((triple3) -> rule1))] Bob is green.[(triple2 OR ((triple5 triple6) -> rule2))] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]