Bob is round. Gary is cold. Harry is red. If someone is cold then they are furry. If Harry is big then Harry is cold. If Harry is furry and Harry is red then Harry is cold. Furry, big people are nice. All blue, red people are nice. If someone is big then they are round.
Bob is not nice.
@0: Bob is round.[(triple1)] Gary is cold.[(triple2)] Harry is red.[(triple3)] @1: Gary is furry.[(((triple2) -> rule1))]