Alan was born only a few years ago so he is young. Dave tends to be nice, but is young. Dave has rough blue skin. Red Fred is what folks call him, because he is quite red. That guy Gary is big, but he's always kind to little ones. Cold people,though green and red,tend to be rough. Young and rough green people, have no choice but to be red. In every case of people being kind and blue and green, we find they are concurrently nice. I know anyone I meet who is big, nice, and round will be young. When someone is nice, dressing in red, they can be blue because they are cold. Young cold individuals are usualyy rough. People who are considered rough, blue, and nice, are also green.
Fred is round.
@0: Alan is young.[(triple1)] Dave is blue.[(triple5)] Dave is nice.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Fred is red.[(triple6)] Gary is big.[(triple8)] Gary is kind.[(triple7)] @1: Dave is green.[(((triple3 triple5 triple4) -> rule7))] @2: Dave is red.[(((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2))] @3: Dave is cold.[(((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2)) -> rule5))]