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 not blue.
@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))]