Bob is green. Harry is cold. Harry is kind. If Harry is cold and Harry is kind then Harry is round. If someone is furry and young then they are kind. Young people are furry. Kind people are young. Young, smart people are green. If Harry is round then Harry is smart.
Harry is not green.
@0: Bob is green.[(triple1)] Harry is cold.[(triple2)] Harry is kind.[(triple3)] @1: Harry is round.[(((triple2 triple3) -> rule1))] Harry is young.[(((triple3) -> rule4))] @2: Harry is furry.[(((((triple3) -> rule4)) -> rule3))] Harry is smart.[(((((triple2 triple3) -> rule1)) -> rule6))] @3: Harry is green.[(((((triple3) -> rule4) ((((triple2 triple3) -> rule1)) -> rule6)) -> rule5))]