Colored red, green, and blue, Alan is quite the round person. Charlie ate some rotten meat and now feels green. Fred is a red fellow who habitually looks blue. He's often cold. Lucky for us, people that are round and red are kind to strangers. Anyone you find who happens to be kind and blue will also be very nice. A big, nice, blue person is likely to be young. Someone that is red and blue because they are cold are also round.
Alan is rough.
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple5)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is red.[(triple6)] @1: Alan is kind.[(((triple1 triple2) -> rule1))] Fred is round.[(((triple8 triple6 triple7) -> rule4))] @2: Alan is nice.[(((((triple1 triple2) -> rule1) triple4) -> rule2))] Fred is kind.[(((((triple8 triple6 triple7) -> rule4) triple6) -> rule1))] @3: Fred is nice.[(((((((triple8 triple6 triple7) -> rule4) triple6) -> rule1) triple8) -> rule2))]