Bob is a nice and red, but very kind person as soon as you meet him. Charlie wears all blue. Dave is blue because he is round and big. He is young a bit rough around the edges. Eric always goes out of his way to show that he is kind to people. Blue Christmas ornaments are also red. Most young and nice people will be kind. When someone is young they can be nice and kind, but green in society. People who have a big shape while they are young are found to be nice. Anyone who is known to be kind, nice, and round is generally also known to be a green color. When a round individual is nice to others, they are also feeling blue.
Charlie is not red.
@0: Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple4)] Dave is big.[(triple9)] Dave is blue.[(triple8 OR ((triple6 ((triple5 triple9) -> rule4)) -> rule6))] Dave is rough.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Eric is kind.[(triple10)] @1: Charlie is red.[(((triple4) -> rule1))] Dave is nice.[(((triple5 triple9) -> rule4))] Dave is red.[(((triple8) -> rule1) OR ((((triple6 ((triple5 triple9) -> rule4)) -> rule6)) -> rule1))] @2: Dave is kind.[(((triple5 ((triple5 triple9) -> rule4)) -> rule2))] @3: Dave is green.[(((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple5) -> rule3) OR ((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple6) -> rule5))]