This Alan guy is red. He is also kind and yet cold. Charlie is kind and round. Being round makes him a bit blue. Eric is round, rough and big, but that's because he's also green at the job and cold working outside. A rough person that is cold towards others is green. When you meet someone that's rough, kind and nice you'll see they are green as well. People that are green tend to be young. People who have a big shape while they are young are found to be nice. Young people that are nice and green tend to be blue. A young, big sized person will certainly be a kind one.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is round.
True
1
proof
[(triple7)]
("Eric" "is" "round" "+")
triple7
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Eric is young.
True
2
proof
[(((triple9) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule3))]
("Eric" "is" "young" "+")
((triple9) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((((triple8 triple10) -> (rule1 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
2
inv-proof
[(((triple9) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule3))]
("Eric" "is" "young" "-")
((triple9) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((((triple8 triple10) -> (rule1 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
True
4
proof
[(((((triple9) -> rule3) triple11) -> rule6) OR ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule6))]
("Eric" "is" "kind" "+")
((((triple9) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not nice.
False
4
inv-proof
[(((((triple9) -> rule3) triple11) -> rule4) OR ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4))]
("Eric" "is" "nice" "-")
((((triple9) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
True
8
proof
[(((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5))]
("Eric" "is" "blue" "+")
((((triple9) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
((((triple9) -> (rule3 % int4)) ((((triple9) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple8 triple10) -> (rule1 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int4))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple9) -> (rule3 % int4)) ((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((triple9) -> (rule3 % int4)) ((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int4))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not blue.
False
8
inv-proof
[(((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5))]
("Eric" "is" "blue" "-")
((((triple9) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
((((triple9) -> (rule3 % int4)) ((((triple9) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple8 triple10) -> (rule1 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int4))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple9) -> (rule3 % int4)) ((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((triple9) -> (rule3 % int4)) ((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int4))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Alan" "is" "blue" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Eric is big.[(triple11)] Eric is cold.[(triple10)] Eric is green.[(triple9 OR ((triple8 triple10) -> rule1))] Eric is rough.[(triple8)] Eric is round.[(triple7)] @1: Eric is young.[(((triple9) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule3))] @2: Eric is kind.[(((((triple9) -> rule3) triple11) -> rule6) OR ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule6))] Eric is nice.[(((((triple9) -> rule3) triple11) -> rule4) OR ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4))] @3: Eric is blue.[(((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
((triple8 triple10) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
((triple9) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((((triple8 triple10) -> (rule1 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple9) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((((triple9) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
((((triple9) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
((((triple9) -> (rule3 % int4)) ((((triple9) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple8 triple10) -> (rule1 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int4))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple9) -> (rule3 % int4)) ((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((triple9) -> (rule3 % int4)) ((((((triple8 triple10) -> (rule1 % int3))) -> (rule3 % int4)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int3))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((((((triple8 triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2)) ((triple8 triple10) -> (rule1 % int4))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
This Alan guy is red; He is also kind and yet cold.
Charlie is kind and round; Being round makes him a bit blue.
Eric is round, rough and big, but that's because he's also green at the job and cold working outside.
A rough person that is cold towards others is green.
When you meet someone that's rough, kind and nice you'll see they are green as well.
People that are green tend to be young.
People who have a big shape while they are young are found to be nice.
Young people that are nice and green tend to be blue.
A young, big sized person will certainly be a kind one.