They always call him rough Alan. Charlie is young and nice, but when he's feeling blue, he can also be quite cold to people. Young Dave got into a fight that left him with red sores on his face. Eric is a round fellow, but he is kind, even when he is so cold he turns blue. A person that is cold, blue and nice is also considered to be round. Blue kind people are almost always nice to others. A young round person who is green is also red. If a nice person is round shaped, they feel blue about it. Someone who's blue, nice and round will also be someone who's green.
Alan is not red.
@0: Alan is rough.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Dave is red.[(triple7)] Dave is young.[(triple6)] Eric is blue.[(triple11)] Eric is cold.[(triple10)] Eric is kind.[(triple9)] Eric is round.[(triple8 OR ((triple10 triple11 ((triple11 triple9) -> rule2)) -> rule1))] @1: Charlie is round.[(((triple4 triple5 triple3) -> rule1))] Eric is nice.[(((triple11 triple9) -> rule2))] @2: Charlie is green.[(((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5))] Eric is green.[(((triple11 ((triple11 triple9) -> rule2) triple8) -> rule5) OR ((triple11 ((triple11 triple9) -> rule2) ((triple10 triple11 ((triple11 triple9) -> rule2)) -> rule1)) -> rule5))] @3: Charlie is red.[(((triple2 ((triple4 triple5 triple3) -> rule1) ((triple5 triple3 ((triple4 triple5 triple3) -> rule1)) -> rule5)) -> rule3))]