Bob wears all blue. Dave gets red when he is mad and tends to act very cold. People who know Fred know he's red, kind, young, cold, blue and big. Gary's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. I have found that blue, kind people are big. Interestingly, cold and rough people are kind. When someone feels cold, while being big and rough, they always turn out to be red. When a person's traits are to be big, blue and cold, they will also have a red trait. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Looking blue can be a sign that someone is cold. A person with the qualities of being cold and being red will also be a person that is green.
Bob is not red.
@0: Bob is blue.[(triple1)] Dave is cold.[(triple3)] Dave is red.[(triple2)] Fred is big.[(triple9 OR ((triple8 triple6) -> rule1))] Fred is blue.[(triple8)] Fred is cold.[(triple7 OR ((triple8) -> rule6))] Fred is kind.[(triple6)] Fred is red.[(triple5 OR ((triple9 triple7 triple8) -> rule4) OR ((triple9 ((triple8) -> rule6) triple8) -> rule4) OR ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4) OR ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4))] Fred is young.[(triple4)] Gary is blue.[(triple12)] Gary is green.[(triple11 OR ((((triple12) -> rule6) ((((((triple12) -> rule6) triple10) -> rule5) ((triple12) -> rule6) triple12) -> rule4)) -> rule7))] Gary is nice.[(triple10)] @1: Bob is cold.[(((triple1) -> rule6))] Dave is green.[(((triple3 triple2) -> rule7))] Fred is green.[(((triple7 triple5) -> rule7) OR ((triple7 ((triple9 triple7 triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) triple5) -> rule7) OR ((((triple8) -> rule6) ((triple9 triple7 triple8) -> rule4)) -> rule7) OR ((triple7 ((triple9 ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((triple9 ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4)) -> rule7))] Gary is cold.[(((triple12) -> rule6))] @2: Gary is big.[(((((triple12) -> rule6) triple10) -> rule5))] @3: Gary is red.[(((((((triple12) -> rule6) triple10) -> rule5) ((triple12) -> rule6) triple12) -> rule4))]