Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Bob is young. If Bob is nice then Bob is furry. If Bob is young and Bob is quiet then Bob is furry. If something is quiet then it is smart.
Bob is not white.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule1) OR ((triple7 triple4) -> rule2))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7)]