Harry is red. Harry is smart. Harry is young. Red, kind things are young. Young, red things are kind. All red, kind things are furry.
Harry is not white.
@0: Harry is red.[(triple1)] Harry is smart.[(triple2)] Harry is young.[(triple3)] @1: Harry is kind.[(((triple3 triple1) -> rule2))] @2: Harry is furry.[(((triple1 ((triple3 triple1) -> rule2)) -> rule3))]