That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Alan. Even though he's young and green, Charlie is rough. If you meet a nice, young, red man, you will see that they are big too. If the person is big and cold then as a rule they must be green. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. It is true that anyone who is cold while being young and nice is secretly a kind person. A round shaped and red person is definitely nice. Being green, blue, and red all point to how young someone was. A rough, big, and round person can't help but be kind as well.
Alan is green.
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4 OR ((triple2 ((triple3 triple6 triple1) -> rule3) triple1) -> rule7) OR ((((triple1 triple3) -> rule5) triple5 ((((((triple3 triple6 triple1) -> rule3) triple5) -> rule2) triple6 triple3) -> rule6)) -> rule4))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple9)] Charlie is rough.[(triple8)] Charlie is young.[(triple7)] @1: Alan is big.[(((triple3 triple6 triple1) -> rule3))] Alan is nice.[(((triple1 triple3) -> rule5))] @2: Alan is green.[(((((triple3 triple6 triple1) -> rule3) triple5) -> rule2))] @3: Alan is young.[(((((((triple3 triple6 triple1) -> rule3) triple5) -> rule2) triple6 triple3) -> rule6))]