Alan loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Charlie is rough, round and young but also red. From a certain angle Dave is blue but he is young so maybe that will go away. Fred is rough, but often feels blue. He is pretty young. A green person who is cold and round is also big. People with big hands and red, rough skin are terribly kind. A rough person that is cold towards others is green. Young people with red skin that play rough are actually quite kind. When someone is big with rough skin they will look red. Big, blue people are red. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Alan is not red.
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is red.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple9)] Dave is young.[(triple8)] Fred is blue.[(triple12)] Fred is rough.[(triple11)] Fred is young.[(triple10)] @1: Alan is green.[(((triple2 triple3) -> rule3))] Charlie is blue.[(((triple7 triple4 triple6) -> rule7))] Charlie is kind.[(((triple4 triple6 triple7) -> rule4))] @2: Alan is big.[(((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1))] @3: Alan is red.[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5))] @4: Alan is kind.[(((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1) ((triple2 ((triple3 triple1 ((triple2 triple3) -> rule3)) -> rule1)) -> rule5)) -> rule2))]