Alan who is big in stature is almost always nice even when he is cold. Rough Dave can be nice and kind looking green. Gary is rough, but often feels blue. He is pretty young. A round person who is nice is young. Surprisingly, all the kind, green people were also big. A nice, big person that is red is usually young. Any human being with green, big, kind eyes, also has round eyes. It's true that green and blue people are also red people.
Dave is not young.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Dave is big.[(((triple6 triple7) -> rule2))] @2: Dave is round.[(((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4))] @3: Dave is young.[(((triple5 ((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4)) -> rule1))]