That big rough Bob guy is both red and blue at the same time. Even though Fred is rough, he nice but cold and blue. Because Harry is so young, he is rough and cold when he can be round instead. Nice and blue people have to be big as well. A person who is described as young and cold, but also described as rough is nice. People who are rough around the edges, nice, and a bit blue are young. A big blue someone could also be green. If red and slightly green people are asked, they will tell you they feel blue. Round, young folks tend to feel blue. Nice green people who feel blue are often red in color.
Charlie is rough.
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Bob is green.[(((triple3 triple4) -> rule4))] Fred is big.[(((triple6 triple8) -> rule1))] Fred is young.[(((triple5 triple6 triple8) -> rule3))] Harry is blue.[(((triple10 triple9) -> rule6))] Harry is nice.[(((triple9 triple12 triple11) -> rule2))] @2: Fred is green.[(((triple8 ((triple6 triple8) -> rule1)) -> rule4))] Harry is big.[(((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1))] @3: Fred is red.[(((((triple8 ((triple6 triple8) -> rule1)) -> rule4) triple8 triple6) -> rule7))] Harry is green.[(((((triple10 triple9) -> rule6) ((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1)) -> rule4))] @4: Harry is red.[(((((((triple10 triple9) -> rule6) ((((triple9 triple12 triple11) -> rule2) ((triple10 triple9) -> rule6)) -> rule1)) -> rule4) ((triple10 triple9) -> rule6) ((triple9 triple12 triple11) -> rule2)) -> rule7))]