Alan is very nice to people, but he's also rather big. Charlie is blue and cold. Eric is big and round for being so young. He ate some spoiled food that has him feeling green. That Harry is a round, rough fellow, and he's nice, as well as big. A big person who also feels blue and a bit green are usually wearing red. You will probably see that red, round people are nice, as well as green. Young people who are feeling green and cold are kind. Big and round people can't help but be cold all of the time. Someone blue and red is definitely round and dressed as a clown. If a nice person is round shaped, they feel blue about it. Someone who is big and kind is blue.
Eric is not blue.
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Eric is big.[(triple8)] Eric is green.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9)] @1: Eric is cold.[(((triple8 triple6) -> rule4))] Harry is blue.[(((triple11 triple9) -> rule6))] Harry is cold.[(((triple12 triple9) -> rule4))] @2: Eric is kind.[(((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3))] @3: Eric is blue.[(((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7))] @4: Eric is red.[(((triple8 ((((triple5 triple7 ((triple8 triple6) -> rule4)) -> rule3) triple8) -> rule7) triple7) -> rule1))]