Bob is green. All cold, furry people are green. Green people are round. If someone is round then they are red. If someone is young and blue then they are cold. Cold people are green. If someone is blue and furry then they are green. All furry people are young. If Bob is furry then Bob is green.
Bob is not green.
@0: Bob is green.[(triple1)] @1: Bob is round.[(((triple1) -> rule2))] @2: Bob is red.[(((((triple1) -> rule2)) -> rule3))]