Charlie has a round face and is very nice. It's easy to tell that Eric is young because he is so round. Even though he is kind it makes him green with envy of some people. Gary was born only a few years ago so he is young. Harry looks big and is kind with red hair and green shoes. Kind people that are rough and round are also considered big. A kind red person is also a blue person. Red people who are also kind often turn out to be cold from standing outdoors too long. If red and slightly green people are asked, they will tell you they feel blue. Nice people are kind and rough when they are young. If you are big and young then your are also nice. Take a drive and find a kind and blue driver, that means they are also young.
Charlie is not big.
@0: Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Harry is blue.[(((triple10 triple8) -> rule4) OR ((triple9 triple8) -> rule2))] Harry is cold.[(((triple9 triple8) -> rule3))] @2: Harry is young.[(((triple9 ((triple10 triple8) -> rule4)) -> rule7) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule7))] @3: Harry is nice.[(((triple11 ((triple9 ((triple10 triple8) -> rule4)) -> rule7)) -> rule6) OR ((triple11 ((triple9 ((triple9 triple8) -> rule2)) -> rule7)) -> rule6))]