Dave is big. Dave is kind. Dave is red. Big people are not smart. All young people are nice. All kind, big people are not nice. If someone is smart and not kind then they are blue. Young people are red. If Dave is blue and Dave is not nice then Dave is red.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3)] @1: Dave is not nice.[(((triple2 triple1) -> rule3))] Dave is not smart.[(((triple1) -> rule1))]