Others enjoy Alan's company because he is so nice and kind. Charlie is young and green. He is big and is rough around the edges with tough red skin. Others enjoy Gary's company because he is so nice and kind. Harry is blue and cold. A kind and green person who is rough around the edges is cold. Anyone that's rough and cold is also going to be blue. Everyone who manages to be both rough and round are also kind. A young person who is red and green is also going to look round. Rough, blue people tend to have a lot of green aspects.
Harry is not red.
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Charlie is big.[(triple7)] Charlie is green.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] @1: Charlie is round.[(((triple3 triple6 triple5) -> rule4))] @2: Charlie is kind.[(((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3))] @3: Charlie is cold.[(((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1))] @4: Charlie is blue.[(((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1) triple4) -> rule2))]