Alan had big, red, round cheeks. Bob is both young and fairly round in size. Eric was born only a few years ago so he is young. Gary is so big and round, it's hard to tell he is red, green and blue all at once. Red, kind, rough people are the young ones. Red and round people are nice to others even though they are big. It's easy to be round and blue when you are young. Big, round, red people are always so young. If a young person knows he is big and round, then he will be blue. A big and blue colored person is also certainly very kind.
Alan is not kind.
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is round.[(triple5)] Bob is young.[(triple4)] Eric is young.[(triple6)] Gary is big.[(triple11)] Gary is blue.[(triple10 OR ((triple7 triple11 ((triple11 triple7 triple8) -> rule4)) -> rule5))] Gary is green.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] @1: Alan is young.[(((triple3 triple1 triple2) -> rule4))] Gary is kind.[(((triple10 triple11) -> rule6) OR ((((triple7 triple11 ((triple11 triple7 triple8) -> rule4)) -> rule5) triple11) -> rule6))] Gary is young.[(((triple7 triple10) -> rule3) OR ((triple11 triple7 triple8) -> rule4))] @2: Alan is blue.[(((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5))] @3: Alan is kind.[(((((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5) triple3) -> rule6))]