Dave is kind. Red things are big. All white, big things are kind. If Dave is big and Dave is quiet then Dave is smart. If Dave is kind then Dave is quiet. If something is kind then it is big. If something is red and white then it is smart.
Dave is kind.
@0: Dave is kind.[(triple1)] @1: Dave is big.[(((triple1) -> rule5))] Dave is quiet.[(((triple1) -> rule4))] @2: Dave is smart.[(((((triple1) -> rule5) ((triple1) -> rule4)) -> rule3))]