Bob is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Eric wears all blue. They always call him rough Gary. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Whoever is rough and red must be kind. If a person is blue, rough, and green, then they are also big. Fat, round people who are green with envy and notoriously rough. A person who is cold but red, and big in size is young for sure. Red people who are also kind often turn out to be cold from standing outdoors too long. A person who exhibits nice, kind and cold characteristics will also be a rough person. Anyone with red and blue coloration also has green coloration.
Bob is young.
@0: Bob is big.[(triple5 OR ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2))] Bob is blue.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Gary is rough.[(triple7)] Harry is blue.[(triple9)] Harry is rough.[(triple8)] @1: Bob is green.[(((triple2 triple4) -> rule7))] @2: Bob is rough.[(((((triple2 triple4) -> rule7) triple1) -> rule3))] @3: Bob is kind.[(((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1))] @4: Bob is cold.[(((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5))] @5: Bob is young.[(((triple2 triple5 ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4) OR ((triple2 ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2) ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4))]