Alan ate some rotten meat and now feels green. Charlie who is considered nice was feeling rather rough today. Eric is young, but very kind to others. Eric is big, with round features. Gary is round shaped and green colored. When you meet someone round, blue and nice they are as a rule rough. Green and blue people have a habit of being cold, which makes them red too. If a kind person is also young and round shaped, they will be colored blue. A young aged blue person will certainly be nice.
Alan is not red.
@0: Alan is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Eric is big.[(triple7)] Eric is kind.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is green.[(triple9)] Gary is round.[(triple8)] @1: Eric is blue.[(((triple6 triple4 triple5) -> rule3))] @2: Eric is nice.[(((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4))] @3: Eric is rough.[(((((triple6 triple4 triple5) -> rule3) ((triple4 ((triple6 triple4 triple5) -> rule3)) -> rule4) triple5) -> rule1))]