Dave is big. All big things are red. If Dave is big then Dave is kind. If Dave is big then Dave is kind. If something is smart and big then it is young. All blue things are red. If something is big and nice then it is smart. All smart things are young. All young, kind things are red.
Dave is not kind.
@0: Dave is big.[(triple1)] @1: Dave is kind.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Dave is red.[(((triple1) -> rule1))]