Bob is furry. If someone is furry then they are rough. All rough people are cold. If someone is cold and rough then they are smart. Rough, white people are round. Cold, rough people are round. If Bob is round and Bob is not rough then Bob is not cold.
Bob is not rough.
@0: Bob is furry.[(triple1)] @1: Bob is rough.[(((triple1) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is round.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule5))] Bob is smart.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))]