Bob is round and kind. He works outside and is often cold with red cheeks and blue lips. Big Dave is young and rough but also very nice in a green sorta way. Eric who is considered nice was feeling rather rough today. A big person who looks blue is also going to look young. If someone is colored red but is cold, they tend to show a lot of green. If you meet a kind green person with a round shape they will also be young. Someone who's young and frosty cold are actually very nice. I believe that red, cold, rough people are likely to be green. People with rough red and blue skin are young.
Eric is not blue.
@0: Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple10)] Dave is green.[(triple9)] Dave is nice.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is nice.[(triple12)] Eric is rough.[(triple11)] @1: Bob is green.[(((triple2 triple4) -> rule2))] @2: Bob is young.[(((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3))] @3: Bob is nice.[(((((triple3 ((triple2 triple4) -> rule2) triple1) -> rule3) triple4) -> rule4))]