Dave is big. Dave is furry. Dave is young. If Dave is kind and Dave is white then Dave is big. Furry things are kind. Young, kind things are red.
Dave is furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] @1: Dave is kind.[(((triple2) -> rule2))] @2: Dave is red.[(((triple3 ((triple2) -> rule2)) -> rule3))]