Bob is green and cold too. That guy Dave sure is nice. Round, nice Eric felt as blue and big as he had ever been. That guy Gary sure is nice. Folks who are rough and tumble yet gentle and kind are blue. Being young and cold also means you're green. All those who are nice and big are red. Nice, young red people will also turn out to always be green. A kind person will certainly be rough as well. A person who is blue, red and nice is usually considered to be a young person. A kind person will certainly be young.
Gary is blue.
@0: Bob is cold.[(triple2)] Bob is green.[(triple1)] Dave is nice.[(triple3)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Gary is nice.[(triple8)] @1: Eric is red.[(((triple5 triple7) -> rule3))] @2: Eric is young.[(((triple6 ((triple5 triple7) -> rule3) triple5) -> rule6))] @3: Eric is green.[(((((triple6 ((triple5 triple7) -> rule3) triple5) -> rule6) ((triple5 triple7) -> rule3) triple5) -> rule4))]