Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is young. Quiet, red people are furry. If Bob is big and Bob is not young then Bob is red.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5 triple6) -> rule1))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7)]