Alan is sometimes cold and blue, but he can also be kind and big. Dave grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Eric is big and rough looking but is very nice and kind. Red Gary is what folks call him, because he is quite red. Someone who is cold, big, and rough is always green, as a rule. Round people who feel rough also always feel cold,. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. A quite nice person will certainly be red. Big people are also round people. A person being big and rough makes them cold towards others but that also means that they are kind.
Eric is round.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Dave is blue.[(triple6)] Dave is rough.[(triple5)] Eric is big.[(triple10)] Eric is kind.[(triple9 OR ((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule6))] Eric is nice.[(triple8 OR ((((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1) triple10) -> rule3))] Eric is rough.[(triple7)] Gary is red.[(triple11)] @1: Alan is round.[(((triple4) -> rule5))] Eric is red.[(((triple8) -> rule4) OR ((((((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))] Eric is round.[(((triple10) -> rule5))] @2: Eric is cold.[(((((triple10) -> rule5) triple7) -> rule2))] @3: Eric is green.[(((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1))]