Alan is a nice and kind fellow who is also feeling blue because he is cold. Bob feels blue because the other kids made fun of his round shape. Charlie has been blue because he's green with envy. Gary feels blue because the other kids made fun of his round shape. If you come across a cold, red person with a round shape you'll find they are nice people. Round, green giants are still very young. Round shaped people that are nice and kind are also considerably rough. Round blue people are said to be very kind. People here that are big, young and blue will be red too. It's truly amazing that blue, kind, round people are always so nice. Somebody that is green, young and big is also going to be round.
Bob is nice.
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is blue.[(triple6)] Bob is round.[(triple5)] Charlie is blue.[(triple8)] Charlie is green.[(triple7)] Gary is blue.[(triple10)] Gary is round.[(triple9)] @1: Bob is kind.[(((triple6 triple5) -> rule4))] Gary is kind.[(((triple10 triple9) -> rule4))] @2: Bob is nice.[(((triple6 ((triple6 triple5) -> rule4) triple5) -> rule6))] Gary is nice.[(((triple10 ((triple10 triple9) -> rule4) triple9) -> rule6))] @3: Bob is rough.[(((triple5 ((triple6 triple5) -> rule4) ((triple6 ((triple6 triple5) -> rule4) triple5) -> rule6)) -> rule3))] Gary is rough.[(((triple9 ((triple10 triple9) -> rule4) ((triple10 ((triple10 triple9) -> rule4) triple9) -> rule6)) -> rule3))]