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