Dave is green. Dave is not red. Dave is young. If Dave is red then Dave is not green. If Dave is not red then Dave is smart. If someone is red and not big then they are white. If someone is round then they are white. If someone is white then they are young. If Dave is big and Dave is not smart then Dave is not round.
Dave is green.
@0: Dave is green.[(triple1)] Dave is not red.[(triple2)] Dave is young.[(triple3)] @1: Dave is smart.[(((triple2) -> rule2))]