Dave is round. Gary is rough. Gary is smart. All kind people are smart. If someone is round then they are kind.
Dave is round.
@0: Dave is round.[(triple1)] Gary is rough.[(triple2)] Gary is smart.[(triple3)] @1: Dave is kind.[(((triple1) -> rule2))] @2: Dave is smart.[(((((triple1) -> rule2)) -> rule1))]