Bob is white. If someone is round and smart then they are furry. If someone is nice then they are furry. If Bob is white then Bob is furry. All furry people are not rough. If Bob is smart then Bob is not white. All rough people are not kind. Rough, round people are kind. If someone is white and not rough then they are not kind.
Bob is rough.
@0: Bob is white.[(triple1)] @1: Bob is furry.[(((triple1) -> rule3))] @2: Bob is not rough.[(((((triple1) -> rule3)) -> rule4))] @3: Bob is not kind.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule8))]