People that know Charlie will tell you he is rough and cold. But he can also be kind and red despite being blue because he is so young. That guy Eric sure is nice. A bit overweight, Fred is big and round. He's a nice guy who is often cold. When a person is nice and round and cold, they look blue. Every single big person is a little green in some areas. Big people who are red in color are almost always young. Blue, big and kind all at once, that person must be green too. People who are feeling blue and green are said to be red. A nice person who feels blue and looks round is usually kind.
Fred is not rough.
@0: Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Eric is nice.[(triple7)] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is nice.[(triple9)] Fred is round.[(triple8)] @1: Fred is blue.[(((triple8 triple9 triple10) -> rule1))] Fred is green.[(((triple11) -> rule2) OR ((triple11 ((triple8 ((triple8 triple9 triple10) -> rule1) triple9) -> rule6) ((triple8 triple9 triple10) -> rule1)) -> rule4))] @2: Fred is kind.[(((triple8 ((triple8 triple9 triple10) -> rule1) triple9) -> rule6))] Fred is red.[(((((triple8 triple9 triple10) -> rule1) ((triple11) -> rule2)) -> rule5) OR ((((triple8 triple9 triple10) -> rule1) ((triple11 ((triple8 ((triple8 triple9 triple10) -> rule1) triple9) -> rule6) ((triple8 triple9 triple10) -> rule1)) -> rule4)) -> rule5))] @3: Fred is young.[(((triple11 ((((triple8 triple9 triple10) -> rule1) ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((triple11 ((((triple8 triple9 triple10) -> rule1) ((triple11 ((triple8 ((triple8 triple9 triple10) -> rule1) triple9) -> rule6) ((triple8 triple9 triple10) -> rule1)) -> rule4)) -> rule5)) -> rule3))]