Alan is a nice person who is red because he has a rash. Because Bob is so young, he is rough and cold when he can be round instead. Charlie was born only a few years ago so he is young. Gary is a nice, kind young man.  Gary keeps a sweater with him because he is always cold. A cold person who is round but rough around the edges is big. Rough people are often round. Rough and kind people are big. Don't be surprised to hear that all nice, kind folks are in fact rough. People who are cold even when they're nice and round, they are young. People who are rough are often rather kind as well. When a round individual is nice to others, they are also feeling blue.
Gary is not big.
@0: Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4 OR ((triple5) -> rule2))] Bob is young.[(triple3)] Charlie is young.[(triple7)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is young.[(triple8 OR ((triple9 ((((triple9 triple10) -> rule4)) -> rule2) triple11) -> rule5))] @1: Bob is big.[(((triple4 triple6 triple5) -> rule1) OR ((triple5 ((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule2) triple6 triple5) -> rule1))] Bob is kind.[(((triple5) -> rule6))] Gary is rough.[(((triple9 triple10) -> rule4))] @2: Gary is big.[(((((triple9 triple10) -> rule4) triple10) -> rule3) OR ((((((triple9 triple10) -> rule4)) -> rule2) triple11 ((triple9 triple10) -> rule4)) -> rule1))] Gary is round.[(((((triple9 triple10) -> rule4)) -> rule2))] @3: Gary is blue.[(((((((triple9 triple10) -> rule4)) -> rule2) triple9) -> rule7))]