Alan is nice and kind, but a little rough. They always call him rough Dave. Even though Gary is rough, he nice but cold and blue. If someone is cold and young, you'll see that they are kind. When you meet someone that's rough, kind and nice you'll see they are green as well. A nice and cold person can be counted on to be a young person at the same time. A blue person who is young and rough is also red.
Alan is cold.
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Dave is rough.[(triple4)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5)] @1: Alan is green.[(((triple1 triple3 triple2) -> rule2))] Gary is young.[(((triple6 triple7) -> rule3))] @2: Gary is kind.[(((triple7 ((triple6 triple7) -> rule3)) -> rule1))] Gary is red.[(((triple8 ((triple6 triple7) -> rule3) triple5) -> rule4))] @3: Gary is green.[(((triple5 ((triple7 ((triple6 triple7) -> rule3)) -> rule1) triple6) -> rule2))]