Bob is not round. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. All white, smart things are furry. If Bob is furry and Bob is red then Bob is round.
Bob is round.
@0: Bob is not round.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3 OR ((triple7 triple6) -> rule1))] Charlie is nice.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]