Bob is known to be rough and green. Charlie loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Dave is big in stature, blue from the cold, has red hair and is kind. Eric has a round face and is very nice. Cold, rough people are always green. You know when you meet a red, blue and kind person, that means they are green. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Being green, blue, and red all point to how young someone was. Big, red things tend to have a kind spirit to them. Young,cold and blue people are mostly round. When a round individual is nice to others, they are also feeling blue.
Eric is blue.
@0: Bob is green.[(triple2)] Bob is rough.[(triple1)] Charlie is cold.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Dave is big.[(triple10)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is kind.[(triple7 OR ((triple6 triple10) -> rule5))] Dave is red.[(triple6)] Eric is nice.[(triple12)] Eric is round.[(triple11)] @1: Charlie is green.[(((triple5 triple4) -> rule1))] Dave is green.[(((triple6 triple9 triple7) -> rule2) OR ((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2))] Eric is blue.[(((triple11 triple12) -> rule7))] @2: Dave is young.[(((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) OR ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4))] @3: Dave is round.[(((triple9 ((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6) OR ((triple9 ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6))]