Alan is big and tends to wear red shirts. Although Charlie is seen as nice and round, his days of playing football have made him quite rough. Eric ate some rotten meat and now feels green. When we met Harry, he was young and round. We found over time he was also nice, cold, and big. Their actions reflected how young and kind but green they were making things seem blue. People who are nice, round and wearing blue will have red cheeks. When someone is young, they can be cold but kind. A person who is cold with a red nose will be feeling blue. Young, kind people have the trait of being cold and are also very nice to interact with. Anyone who is known to be kind, nice, and round is generally also known to be a green color. Anyone you know who is cold and kind must certainly be young.
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Harry is round.
True
1
proof
[(triple8)]
("Harry" "is" "round" "+")
triple8
Charlie is not rough.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "rough" "-")
triple4
Harry is kind.
True
3
proof
[(((triple7 triple10) -> rule3))]
("Harry" "is" "kind" "+")
((triple7 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple7 triple10) -> rule3))]
("Harry" "is" "kind" "-")
((triple7 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
True
6
proof
[(((((triple7 triple10) -> rule3) triple9 triple8) -> rule6) OR ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6))]
("Harry" "is" "green" "+")
((((triple7 triple10) -> (rule3 % int2)) triple9 triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7 triple10) -> (rule3 % int3)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not green.
False
6
inv-proof
[(((((triple7 triple10) -> rule3) triple9 triple8) -> rule6) OR ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6))]
("Harry" "is" "green" "-")
((((triple7 triple10) -> (rule3 % int2)) triple9 triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7 triple10) -> (rule3 % int3)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
True
11
proof
[(((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1) OR ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1))]
("Harry" "is" "blue" "+")
((triple7 ((triple7 triple10) -> (rule3 % int3)) ((((triple7 triple10) -> (rule3 % int3)) triple9 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple7 ((triple7 triple10) -> (rule3 % int4)) ((((triple7 triple10) -> (rule3 % int4)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not blue.
False
11
inv-proof
[(((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1) OR ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1))]
("Harry" "is" "blue" "-")
((triple7 ((triple7 triple10) -> (rule3 % int3)) ((((triple7 triple10) -> (rule3 % int3)) triple9 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple7 ((triple7 triple10) -> (rule3 % int4)) ((((triple7 triple10) -> (rule3 % int4)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
True
14
proof
[(((triple9 triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1)) -> rule2) OR ((((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1)) -> rule2) OR ((triple9 triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1)) -> rule2) OR ((((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1)) -> rule2))]
("Harry" "is" "red" "+")
((triple9 triple8 ((triple7 ((triple7 triple10) -> (rule3 % int4)) ((((triple7 triple10) -> (rule3 % int4)) triple9 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) triple9 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple9 triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is not red.
False
14
inv-proof
[(((triple9 triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1)) -> rule2) OR ((((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1)) -> rule2) OR ((triple9 triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1)) -> rule2) OR ((((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1)) -> rule2))]
("Harry" "is" "red" "-")
((triple9 triple8 ((triple7 ((triple7 triple10) -> (rule3 % int4)) ((((triple7 triple10) -> (rule3 % int4)) triple9 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) triple9 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple9 triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Alan" "is" "blue" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "young" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is red.[(triple1)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Eric is green.[(triple6)] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is nice.[(triple9 OR ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5))] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple7 triple10) -> rule3))] @2: Harry is green.[(((((triple7 triple10) -> rule3) triple9 triple8) -> rule6) OR ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6))] @3: Harry is blue.[(((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1) OR ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1))] @4: Harry is red.[(((triple9 triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1)) -> rule2) OR ((((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) triple9 triple8) -> rule6)) -> rule1)) -> rule2) OR ((triple9 triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1)) -> rule2) OR ((((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8 ((triple7 ((triple7 triple10) -> rule3) ((((triple7 triple10) -> rule3) ((triple10 triple7 ((triple7 triple10) -> rule3)) -> rule5) triple8) -> rule6)) -> rule1)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
((triple10 triple7 ((triple7 triple10) -> (rule3 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple7 triple10) -> (rule3 % int2)) triple9 triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7 triple10) -> (rule3 % int3)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 ((triple7 triple10) -> (rule3 % int3)) ((((triple7 triple10) -> (rule3 % int3)) triple9 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple7 ((triple7 triple10) -> (rule3 % int4)) ((((triple7 triple10) -> (rule3 % int4)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((triple9 triple8 ((triple7 ((triple7 triple10) -> (rule3 % int4)) ((((triple7 triple10) -> (rule3 % int4)) triple9 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) triple9 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple9 triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8 ((triple7 ((triple7 triple10) -> (rule3 % int5)) ((((triple7 triple10) -> (rule3 % int5)) ((triple10 triple7 ((triple7 triple10) -> (rule3 % int5))) -> (rule5 % int4)) triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Alan is big and tends to wear red shirts.
Although Charlie is seen as nice and round, his days of playing football have made him quite rough.
Eric ate some rotten meat and now feels green.
When we met Harry, he was young and round; We found over time he was also nice, cold, and big.
Their actions reflected how young and kind but green they were making things seem blue.
People who are nice, round and wearing blue will have red cheeks.
When someone is young, they can be cold but kind.
A person who is cold with a red nose will be feeling blue.
Young, kind people have the trait of being cold and are also very nice to interact with.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Anyone you know who is cold and kind must certainly be young.