Charlie is young. He can be kind but also cold and blue. After Eric got wet in the rain, he feels cold. He also looks green but big. Fred seems to be round. Harry is a kind person and he is also often cold. Kind red people are green on the inside. A blue colored person who is nice is a red person. A person feeling blue because of their big size will always be cold. A young, green person in my experience is round shaped and nice. One who is young, red and also cold will definitely be round, too. Big people with red hair are cold because they cannot find coats that fit. People who are young and blue are also red.
Charlie is not red.
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Fred is round.[(triple8)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] @1: Charlie is red.[(((triple1 triple4) -> rule7))] @2: Charlie is green.[(((triple2 ((triple1 triple4) -> rule7)) -> rule1))] Charlie is round.[(((triple1 ((triple1 triple4) -> rule7) triple3) -> rule5))] @3: Charlie is nice.[(((((triple1 ((triple1 triple4) -> rule7) triple3) -> rule5) triple1 ((triple2 ((triple1 triple4) -> rule7)) -> rule1)) -> rule4))]