Alan seems to be round. Bob is green with envy, and rough with his kids, but overall is just a nice, round individual. Charlie seems to be round. Dave woke up one day to find he had become round. He was still rough, red, and green, but now he was also big. A very big person who is green but also red is a rough person. When you meet someone who is nice and kind, they wont feel blue. Any person that's blue, young and green will turn out to be a nice person, too. Do not fear big cold people for they are often kind. When someone is green and round, they can be rough but kind. When a person is blue, rough and kind then it means they also are cold.
Bob is not blue.
@0: Alan is round.[(triple1)] Bob is green.[(triple5)] Bob is nice.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Charlie is round.[(triple6)] Dave is big.[(triple11)] Dave is green.[(triple10)] Dave is red.[(triple9)] Dave is rough.[(triple8 OR ((triple10 triple11 triple9) -> rule1))] Dave is round.[(triple7)] @1: Bob is kind.[(((triple5 triple2 triple3) -> rule5))] Dave is kind.[(((triple10 triple7 triple8) -> rule5) OR ((triple10 triple7 ((triple10 triple11 triple9) -> rule1)) -> rule5))] @2: Bob is blue.[(((((triple5 triple2 triple3) -> rule5) triple4) -> rule2))] @3: Bob is cold.[(((((((triple5 triple2 triple3) -> rule5) triple4) -> rule2) triple3 ((triple5 triple2 triple3) -> rule5)) -> rule6))]