The big, round, blue guy is Bob. He's kind but rather rough. Most people consider Eric to bed red. He's pretty cold to people and often feels blue. Eric is a big person. Fred was born only a few years ago so he is young. Gary was born only a few years ago so he is young. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Nice people are kind and rough when they are young. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Somebody fitting a young, blue and round description will also fit a green description. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Gary is big.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is red.[(triple6)] Fred is young.[(triple10)] Gary is young.[(triple11)] @1: Bob is nice.[(((triple4 triple2 triple5) -> rule5))] @2: Bob is young.[(((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2))] @3: Bob is green.[(((triple4 ((((triple4 triple2 triple5) -> rule5) triple3 triple2) -> rule2) triple1) -> rule4))]