Bob has been blue because he's green with envy. The round, rough, and green one was labeled Charlie after all. Eric is very big for being so young. Gary is a young , Round fellow with a red color and nice disposition. Nice people who are big and round will have red faces too. If someone is a bit big and kind natured and fairly round then they are quite red. A guy or girl that's round, kind and young is going to be a big girl or guy, too. Big, red, nice people are rough. Someone nice is kind. A big, cold, blue person is rough around the edges.
Charlie is not red.
@0: Bob is blue.[(triple2)] Bob is green.[(triple1)] Charlie is green.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Eric is big.[(triple7)] Eric is young.[(triple6)] Gary is nice.[(triple11)] Gary is red.[(triple10 OR ((triple11 ((triple9 triple8 ((triple11) -> rule5)) -> rule3) triple9) -> rule1) OR ((((triple9 triple8 ((triple11) -> rule5)) -> rule3) ((triple11) -> rule5) triple9) -> rule2))] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Gary is kind.[(((triple11) -> rule5))] @2: Gary is big.[(((triple9 triple8 ((triple11) -> rule5)) -> rule3))] @3: Gary is rough.[(((triple10 triple11 ((triple9 triple8 ((triple11) -> rule5)) -> rule3)) -> rule4) OR ((((triple11 ((triple9 triple8 ((triple11) -> rule5)) -> rule3) triple9) -> rule1) triple11 ((triple9 triple8 ((triple11) -> rule5)) -> rule3)) -> rule4) OR ((((((triple9 triple8 ((triple11) -> rule5)) -> rule3) ((triple11) -> rule5) triple9) -> rule2) triple11 ((triple9 triple8 ((triple11) -> rule5)) -> rule3)) -> rule4))]