Bob is a big gentleman who is very nice. He is secretly green with envy. Eric wears all blue. Fred is young but big for his age. Fred wasn't feeling well so he is a little green. Young Gary is so nice even though he always feels cold.  He loves to wear blue and green clothes. Big, round, red people are always so young. Ifa blue and green colored person is rough then they must be big shaped. A nice person who is downhearted, blue, and green with envy is rough. Nice people who are big in stature often look rough. People who are nice, big, and also rough, are considered red.
Eric is young.
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Eric is blue.[(triple4)] Fred is big.[(triple7)] Fred is green.[(triple6)] Fred is young.[(triple5)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] Gary is young.[(triple8)] @1: Bob is rough.[(((triple1 triple3) -> rule4))] Gary is rough.[(((triple9 triple12 triple10) -> rule3))] @2: Bob is red.[(((triple1 triple3 ((triple1 triple3) -> rule4)) -> rule5))] Gary is big.[(((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2))] @3: Gary is red.[(((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2) ((triple9 triple12 triple10) -> rule3)) -> rule5))]