Alan is a young and nice man, and he is also very big shaped. Even though big Eric can be rough and cold, he is nice for someone as red as he is. Fred is very nice to people, but he's also rather big. In the snow sits Gary, crying from being cold. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. A kind and big person is young. Blue and red people are often rough. A big and blue colored person is also certainly very kind. When somebody is round, kind and blue, you know they'll also be red. If someone is kind, green, and round sized, then they are typically nice people.
Alan is not blue.
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Fred is big.[(triple10)] Fred is nice.[(triple9)] Gary is cold.[(triple11)] @1: Eric is blue.[(((triple4 triple6 triple5) -> rule1))] @2: Eric is kind.[(((((triple4 triple6 triple5) -> rule1) triple8) -> rule4))] @3: Eric is young.[(((triple8 ((((triple4 triple6 triple5) -> rule1) triple8) -> rule4)) -> rule2))]