Bob is furry. Bob is kind. Bob is smart. Bob is white. Charlie is big. Harry is white. Harry is young. If Charlie is big then Charlie is kind. If someone is big and kind then they are young. If Harry is young and Harry is red then Harry is big.
Bob is furry.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Charlie is kind.[(((triple5) -> rule1))] @2: Charlie is young.[(((triple5 ((triple5) -> rule1)) -> rule2))]