Bob is furry. Bob is nice. Bob is smart. If Bob is big then Bob is white. If Bob is nice then Bob is big.
Bob is not white.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3)] @1: Bob is big.[(((triple2) -> rule2))] @2: Bob is white.[(((((triple2) -> rule2)) -> rule1))]