Bob, who is young, nice, green, and blue, is also rather big shaped. When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. Eric is a kind and red colored guy. A big young person that is green will be cold to others. People who are rough around the edges, nice, and a bit blue are young. Kind people,though green,tend to be nice. It is impossible for a nice person who is blue and red not to be rough. Blue, kind, and cold people are habitually rough. A big, green person who is cold is assumed to be red also.
Gary is blue.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Eric is kind.[(triple9)] Eric is red.[(triple8)] @1: Bob is cold.[(((triple3 triple1 triple5) -> rule1))] @2: Bob is red.[(((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6))] @3: Bob is rough.[(((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6) triple2) -> rule4))]