Alan is big and green, which is good, because he is also cold and blue. Dave is nice, even when he is rough and red with anger. Eric is a nice person, but he is both blue and red. Others enjoy Gary's company because he is so nice and kind. A big person who feels cold and has blue skin is a nice person. Most young, green people are kind and because of this they are round. A person that is nice and young is also going to be a person that is rough. A kind, cold, round person will be nice in addition. When anyone is young, red and green, you know they'll also be blue. A big, nice, blue person is likely to be young. Round green people usually feel blue.
Alan is not red.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is green.[(triple1)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Eric is blue.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Gary is kind.[(triple12)] Gary is nice.[(triple11)] @1: Alan is nice.[(((triple2 triple3 triple4) -> rule1))] @2: Alan is young.[(((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6))] @3: Alan is rough.[(((((triple2 triple3 triple4) -> rule1) ((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6)) -> rule3))]