Bob is big. Bob is not kind. Harry is kind. All big, young things are nice. Kind things are not big. If Harry is not big then Harry is cold.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is not kind.[(triple2)] Harry is kind.[(triple3)] @1: Harry is not big.[(((triple3) -> rule2))] @2: Harry is cold.[(((((triple3) -> rule2)) -> rule3))]