From a certain angle Alan is blue but he is young so maybe that will go away. Charlie's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Fred is a nice person who is red because he has a rash. Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. All the big and young boys at the park are red. When you know someone who's red, rough and nice, you'll also see that they're cold. There are so many rough, young people and for some reason they are all big too. A person that is rough and round shaped features are going to be red. Young people are rough. Big kind people are usually cold.
Fred is not big.
@0: Alan is blue.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Gary is cold.[(triple12 OR ((triple10 ((triple8 ((triple8) -> rule6)) -> rule4)) -> rule7))] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9 OR ((((triple8 ((triple8) -> rule6)) -> rule4) triple8) -> rule2))] Gary is young.[(triple8)] @1: Alan is rough.[(((triple1) -> rule6))] Gary is rough.[(((triple8) -> rule6))] @2: Alan is big.[(((triple1 ((triple1) -> rule6)) -> rule4))] Gary is big.[(((triple8 ((triple8) -> rule6)) -> rule4))] @3: Alan is red.[(((((triple1 ((triple1) -> rule6)) -> rule4) triple1) -> rule2))]