Bob is green. Charlie is green. Harry is nice. Kind things are white. All green things are white. If something is nice then it is green. Red things are round. Round, kind things are cold. If Charlie is cold and Charlie is not nice then Charlie is white.
Bob is green.
@0: Bob is green.[(triple1)] Charlie is green.[(triple2)] Harry is nice.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule2))] Harry is green.[(((triple3) -> rule3))] @2: Harry is white.[(((((triple3) -> rule3)) -> rule2))]