Bob is big. Bob is kind. Bob is not nice. Bob is red. Bob is rough. Bob is round. Bob is white. Rough, kind things are round. If something is white and not red then it is not round. If Bob is nice and Bob is kind then Bob is big.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple5 triple2) -> rule1))] Bob is white.[(triple7)]