Bob is furry. Bob is red. Bob is rough. If Bob is nice and Bob is red then Bob is big. All white, quiet people are big. If someone is nice then they are rough. If Bob is white then Bob is big. Rough, white people are furry. If someone is furry and rough then they are white.
Bob is nice.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] @1: Bob is white.[(((triple1 triple3) -> rule6))] @2: Bob is big.[(((((triple1 triple3) -> rule6)) -> rule4))]