Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. Charlie is nice. Charlie is red. Charlie is white. All quiet things are nice. Furry, smart things are white.
Charlie is not quiet.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule1))] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple1 triple5) -> rule2))] Bob is young.[(triple7)] Charlie is nice.[(triple8)] Charlie is red.[(triple9)] Charlie is white.[(triple10)]