Alan is both young and fairly round in size. Big Eric, the most blue guy I know while also being cold. Gary is rough and green, but he's also nice, kind and round. Harry is known to be rough and green. A blue person who is feeling a bit rough and cold will be wearing red. A nice person who is green is feeling cold. Young and rough people tend to be green too. Rough people are often round. If a kind person is also young and round shaped, they will be colored blue. Someone who is nice, green, and cold, is always going to be young.
Gary is young.
@0: Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple5)] Eric is blue.[(triple4)] Eric is cold.[(triple3)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6 OR ((triple7) -> rule4))] Harry is green.[(triple12)] Harry is rough.[(triple11)] @1: Gary is cold.[(((triple10 triple8) -> rule2))] Harry is round.[(((triple11) -> rule4))] @2: Gary is young.[(((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6))] @3: Gary is blue.[(((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5))] @4: Gary is red.[(((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1) OR ((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1))]