Bob feels blue because the other kids made fun of his round shape. Charlie is a young person who often feels blue and cold. Big Eric is a young, round man. The round, rough, and green one was labeled Gary after all. People who are round and red are young. A young person that is rough and kind if often assumed to be nice. Nice people who are big and round will have red faces too. Anyone who is cold and wears green to keep warm is surely kind as well. It is a universal truth that whoever is young and round and big must also be kind. People who are big, green, and rough are bound to be red. All rough people are big in some way.
Gary is not young.
@0: Bob is blue.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is young.[(triple3)] Eric is big.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9)] @1: Eric is kind.[(((triple6 triple7 triple8) -> rule5))] Gary is big.[(((triple10) -> rule7))] @2: Gary is red.[(((((triple10) -> rule7) triple11 triple10) -> rule6))] @3: Gary is young.[(((triple9 ((((triple10) -> rule7) triple11 triple10) -> rule6)) -> rule1))] @4: Gary is kind.[(((((triple9 ((((triple10) -> rule7) triple11 triple10) -> rule6)) -> rule1) triple9 ((triple10) -> rule7)) -> rule5))] @5: Gary is nice.[(((triple10 ((((triple9 ((((triple10) -> rule7) triple11 triple10) -> rule6)) -> rule1) triple9 ((triple10) -> rule7)) -> rule5) ((triple9 ((((triple10) -> rule7) triple11 triple10) -> rule6)) -> rule1)) -> rule2))]