Young, red, nice, cold, blue and big are qualities which all describe Alan. Bob is very big for being so young. Eric feels blue because the other kids made fun of his round shape. When nice people are feeling blue and wearing green then they are round. Big round people are usually blue. When someone is big and red, they are also green. It is a universal truth that whoever is young and round and big must also be kind.
Eric is not green.
@0: Alan is big.[(triple6)] Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple8)] Bob is young.[(triple7)] Eric is blue.[(triple10)] Eric is round.[(triple9)] @1: Alan is green.[(((triple6 triple2) -> rule3))] @2: Alan is round.[(((triple5 triple3 ((triple6 triple2) -> rule3)) -> rule1))] @3: Alan is kind.[(((triple1 ((triple5 triple3 ((triple6 triple2) -> rule3)) -> rule1) triple6) -> rule4))]