Dave is quiet. All quiet people are young. If someone is young then they are red. Young, quiet people are nice.
Dave is not red.
@0: Dave is quiet.[(triple1)] @1: Dave is young.[(((triple1) -> rule1))] @2: Dave is nice.[(((((triple1) -> rule1) triple1) -> rule3))] Dave is red.[(((((triple1) -> rule1)) -> rule2))]