Charlie is a rough but very kind and blue person. Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Big Eric is still young so it's easy for him to be kind. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. Being round and nice automatically means a person is kind. This person is nice and young, also round, which makes them cold. A depressed person feeling blue who is kind cannot escape from being green. A rather round and green person will be red. An individual with green, blue and big characteristics will also be rough. Someone who is big and kind is blue.
Harry is not green.
@0: Charlie is blue.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Dave is blue.[(triple6)] Dave is nice.[(triple5)] Dave is round.[(triple4)] Eric is big.[(triple9)] Eric is kind.[(triple8)] Eric is young.[(triple7)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Charlie is green.[(((triple3 triple2) -> rule3))] Dave is kind.[(((triple4 triple5) -> rule1))] Eric is blue.[(((triple8 triple9) -> rule6))] @2: Dave is green.[(((triple6 ((triple4 triple5) -> rule1)) -> rule3))] Eric is green.[(((((triple8 triple9) -> rule6) triple8) -> rule3))] @3: Dave is red.[(((triple4 ((triple6 ((triple4 triple5) -> rule1)) -> rule3)) -> rule4))] Eric is rough.[(((((((triple8 triple9) -> rule6) triple8) -> rule3) ((triple8 triple9) -> rule6) triple9) -> rule5))]