Because Alan is so young, he is rough and cold when he can be round instead. Young Bob got into a fight that left him with red sores on his face. Charlie is kind and round. Being round makes him a bit blue. Eric ate some rotten meat and now feels green. Big round people who wear red clothing will also wear a lot of green jewelry. A nice and kind person who is big sized will be cold. A person fitting the description of rough, cold and red will also be a nice person. It is true that anyone who is cold while being young and nice is secretly a kind person. A person that is rough and round shaped features are going to be red.
Alan is not nice.
@0: Alan is cold.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is red.[(triple6)] Bob is young.[(triple5)] Charlie is blue.[(triple9)] Charlie is kind.[(triple8)] Charlie is round.[(triple7)] Eric is green.[(triple10)] @1: Alan is red.[(((triple2 triple3) -> rule5))] @2: Alan is nice.[(((triple3 triple4 ((triple2 triple3) -> rule5)) -> rule3))] @3: Alan is kind.[(((((triple3 triple4 ((triple2 triple3) -> rule5)) -> rule3) triple4 triple1) -> rule4))]