If you meet Charlie, you will know that he is young, red and kind. Dave tends to be blue because he is big and this makes him a little rough around the edges. Eric has been blue because he's green with envy. Fred is quite round but rough and is on the nice side, but rather cold. A cold person who is both nice and rough around the edges is big. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. When a man or woman has the description of being rough, young and cold, they can also be described as blue. A nice person who is also round will always be big. Nice green people who are cold are often a but rough. Someone who's big, especially nice, and also cold at the same time can only be young. If a person is both rough and round, you know they are also red.
Charlie is not rough.
@0: Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is rough.[(triple4)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Fred is cold.[(triple12)] Fred is nice.[(triple11)] Fred is rough.[(triple10)] Fred is round.[(triple9)] @1: Fred is big.[(((triple11 triple9) -> rule4) OR ((triple11 triple10 triple12) -> rule1))] Fred is red.[(((triple10 triple9) -> rule7))] @2: Fred is young.[(((((triple11 triple9) -> rule4) triple11 triple12) -> rule6) OR ((((triple11 triple10 triple12) -> rule1) triple11 triple12) -> rule6))] @3: Fred is blue.[(((triple10 ((((triple11 triple9) -> rule4) triple11 triple12) -> rule6) triple12) -> rule3) OR ((triple10 ((((triple11 triple10 triple12) -> rule1) triple11 triple12) -> rule6) triple12) -> rule3))]