Alan always goes out of his way to show that he is kind to people. People think Charlie is nice and kind for someone so young.  Charlie wears his favorite color green all the time. Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Kind big people are green and young. I've found that people with rough skin tend to be really nice but they also often feel blue. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A person with big hair and rough lips is certainly young and jaded. Nice people are kind and rough when they are young. If you find that someone has rough blue skin they are always kind.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple7)]
("Gary" "is" "red" "+")
triple7
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
Gary is blue.
True
3
proof
[(((triple6 triple8) -> rule2))]
("Gary" "is" "blue" "+")
((triple6 triple8) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple6 triple8) -> rule2))]
("Gary" "is" "blue" "-")
((triple6 triple8) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
True
5
proof
[(((triple6 ((triple6 triple8) -> rule2)) -> rule6))]
("Gary" "is" "kind" "+")
((triple6 ((triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not kind.
False
5
inv-proof
[(((triple6 ((triple6 triple8) -> rule2)) -> rule6))]
("Gary" "is" "kind" "-")
((triple6 ((triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
True
8
proof
[(((triple8 ((triple6 ((triple6 triple8) -> rule2)) -> rule6) triple6) -> rule5))]
("Gary" "is" "young" "+")
((triple8 ((triple6 ((triple6 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not young.
False
8
inv-proof
[(((triple8 ((triple6 ((triple6 triple8) -> rule2)) -> rule6) triple6) -> rule5))]
("Gary" "is" "young" "-")
((triple8 ((triple6 ((triple6 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is kind.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] @1: Gary is blue.[(((triple6 triple8) -> rule2))] @2: Gary is kind.[(((triple6 ((triple6 triple8) -> rule2)) -> rule6))] @3: Gary is young.[(((triple8 ((triple6 ((triple6 triple8) -> rule2)) -> rule6) triple6) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 triple8) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple6 ((triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple8 ((triple6 ((triple6 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan always goes out of his way to show that he is kind to people.
People think Charlie is nice and kind for someone so young; Charlie wears his favorite color green all the time.
Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Kind big people are green and young.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
A person with big hair and rough lips is certainly young and jaded.
Nice people are kind and rough when they are young.
If you find that someone has rough blue skin they are always kind.