Bob is blue. Bob is cold. Bob is smart. Bob is white. Charlie is kind. Gary is green. Harry is big. If Harry is big then Harry is smart. If Charlie is kind and Charlie is green then Charlie is not white. Big, smart people are not white.
Harry is smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is kind.[(triple5)] Gary is green.[(triple6)] Harry is big.[(triple7)] @1: Harry is smart.[(((triple7) -> rule1))] @2: Harry is not white.[(((triple7 ((triple7) -> rule1)) -> rule3))]