Dave is green. Smart people are blue. Green, nice people are blue. If someone is smart and not young then they are blue. If Dave is green then Dave is big. If Dave is kind then Dave is nice. Big people are kind.
Dave is green.
@0: Dave is green.[(triple1)] @1: Dave is big.[(((triple1) -> rule4))] @2: Dave is kind.[(((((triple1) -> rule4)) -> rule6))] @3: Dave is nice.[(((((((triple1) -> rule4)) -> rule6)) -> rule5))] @4: Dave is blue.[(((triple1 ((((((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule2))]