Charlie is big and tends to wear red shirts. Fred ate some rotten meat and now feels green. Gary is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue. Harry is a person both green and big. A cold person who is round but rough around the edges is big. Green, nice people who have round shapes are going to be kind to you. A green person who is kind and a bit blue is young. A nice and blue person who's also red will be a rough person. Young people tend to be blue all the time and rough. Young, kind people with a round body shape can be cold to strangers. Kind young people are also red and green.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple6 OR ((triple9 triple4) -> rule5) OR ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5))]
("Gary" "is" "rough" "-")
triple6
((triple9 triple4) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is kind.
True
4
proof
[(((triple8 triple5 triple7) -> rule2))]
("Gary" "is" "kind" "+")
((triple8 triple5 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
4
inv-proof
[(((triple8 triple5 triple7) -> rule2))]
("Gary" "is" "kind" "-")
((triple8 triple5 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
True
7
proof
[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))]
("Gary" "is" "cold" "+")
((((triple8 triple5 triple7) -> (rule2 % int2)) triple4 triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple5 triple7) -> (rule2 % int3)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
7
inv-proof
[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))]
("Gary" "is" "cold" "-")
((((triple8 triple5 triple7) -> (rule2 % int2)) triple4 triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple5 triple7) -> (rule2 % int3)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
True
10
proof
[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "big" "+")
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int3)) triple4 triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) triple4 triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int4)) triple8) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) triple4 triple5) -> (rule6 % int4)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not big.
False
10
inv-proof
[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "big" "-")
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int3)) triple4 triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) triple4 triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int4)) triple8) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) triple4 triple5) -> (rule6 % int4)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is big.[(triple2)] Charlie is red.[(triple1)] Fred is green.[(triple3)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6 OR ((triple9 triple4) -> rule5) OR ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5))] Gary is round.[(triple5)] Gary is young.[(triple4 OR ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3))] Harry is big.[(triple11)] Harry is green.[(triple10)] @1: Gary is kind.[(((triple8 triple5 triple7) -> rule2))] @2: Gary is cold.[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))] @3: Gary is big.[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
((triple9 triple4) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
((triple9 ((triple8 triple5 triple7) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple5 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple8 triple5 triple7) -> (rule2 % int2)) triple4 triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple5 triple7) -> (rule2 % int3)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int3)) triple4 triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) triple4 triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int4)) triple8) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) triple4 triple5) -> (rule6 % int4)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Charlie is big and tends to wear red shirts.
Fred ate some rotten meat and now feels green.
Gary is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue.
Harry is a person both green and big.
A cold person who is round but rough around the edges is big.
Green, nice people who have round shapes are going to be kind to you.
A green person who is kind and a bit blue is young.
A nice and blue person who's also red will be a rough person.
Young people tend to be blue all the time and rough.
Young, kind people with a round body shape can be cold to strangers.
Kind young people are also red and green.