Alan is a cold and round man who has red and green skin. Dave is green to the job, which is why he turned blue from being so cold. Fred seems to be round. A person who is cold and blue is nice. It seems that a cold person who is round and nice will be green. A nice young person who is big can be considered round. You'll always find rough, cold, green people to also be red people. People that are green and big while also being cold are always nice. Count on anyone you meet who is big, round, and red also being kind. A nice person with cold skin is going to be rough.
Alan is not blue.
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Dave is green.[(triple5)] Fred is round.[(triple8)] @1: Dave is nice.[(((triple6 triple7) -> rule1))] @2: Dave is rough.[(((triple6 ((triple6 triple7) -> rule1)) -> rule7))] @3: Dave is red.[(((triple6 ((triple6 ((triple6 triple7) -> rule1)) -> rule7) triple5) -> rule4))]