Anne is smart. Bob is big. Charlie is big. If Bob is big then Bob is kind. If something is big and kind then it is white.
Bob is kind.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2)] Charlie is big.[(triple3)] @1: Bob is kind.[(((triple2) -> rule1))] @2: Bob is white.[(((triple2 ((triple2) -> rule1)) -> rule2))]