Alan, like all young people, is nice. Charlie wears all blue. Even though he's a big dude, Eric is cold. Even though Gary is still young, he is already very round.  Gary is a nice guy and when he gets cold his skin turns blue. Whoever is rough and red must be kind. Santa Claus is red and kind. He is also very nice, especially to children. A young and cold person is red. Blue and red people are often rough. If a kind, red person is also feeling blue then he will be cold to outsiders.
Alan is not blue.
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple3)] Eric is big.[(triple5)] Eric is cold.[(triple4)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8 OR ((((triple9 triple6) -> rule3) ((((triple10 ((triple9 triple6) -> rule3)) -> rule4) ((triple9 triple6) -> rule3)) -> rule1)) -> rule2))] Gary is round.[(triple7)] Gary is young.[(triple6)] @1: Gary is red.[(((triple9 triple6) -> rule3))] @2: Gary is rough.[(((triple10 ((triple9 triple6) -> rule3)) -> rule4))] @3: Gary is kind.[(((((triple10 ((triple9 triple6) -> rule3)) -> rule4) ((triple9 triple6) -> rule3)) -> rule1))]