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