Bob is furry. Nice, cold people are kind. If someone is cold then they are kind. If someone is smart then they are furry. If someone is kind and cold then they are smart. If Bob is furry then Bob is cold. Cold, smart people are red. If someone is smart then they are cold. All furry, kind people are cold.
Bob is not cold.
@0: Bob is furry.[(triple1)] @1: Bob is cold.[(((triple1) -> rule5))] @2: Bob is kind.[(((((triple1) -> rule5)) -> rule2))] @3: Bob is smart.[(((((((triple1) -> rule5)) -> rule2) ((triple1) -> rule5)) -> rule4))] @4: Bob is red.[(((((triple1) -> rule5) ((((((triple1) -> rule5)) -> rule2) ((triple1) -> rule5)) -> rule4)) -> rule6))]