Red Charlie is what folks call him, because he is quite red. Dave has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Harry wears all blue. A person with a rough quality is also a person with a blue quality. If you are green you are also kind. I've noticed that red, cold people who are kind have the trait of rough skin. A blue and red colored person that is young is also very cold. Rough, blue people tend to have a lot of green aspects.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is cold.
True
1
proof
[(triple5)]
("Dave" "is" "cold" "+")
triple5
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Dave is blue.
True
2
proof
[(((triple2) -> rule1) OR ((((triple4 triple5 triple3) -> rule3)) -> rule1))]
("Dave" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple4 triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not blue.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple4 triple5 triple3) -> rule3)) -> rule1))]
("Dave" "is" "blue" "-")
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple4 triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule5) OR ((((triple4 triple5 triple3) -> rule3) ((triple2) -> rule1)) -> rule5) OR ((triple2 ((((triple4 triple5 triple3) -> rule3)) -> rule1)) -> rule5) OR ((((triple4 triple5 triple3) -> rule3) ((((triple4 triple5 triple3) -> rule3)) -> rule1)) -> rule5))]
("Dave" "is" "green" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple4 triple5 triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple2 ((((triple4 triple5 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple4 triple5 triple3) -> (rule3 % int3)) ((((triple4 triple5 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Gary is not green.
False
4
inv-proof
[(((triple6 ((triple6) -> rule1)) -> rule5))]
("Gary" "is" "green" "-")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
True
5
proof
[(((((triple6 ((triple6) -> rule1)) -> rule5)) -> rule2))]
("Gary" "is" "kind" "+")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not kind.
False
5
inv-proof
[(((((triple6 ((triple6) -> rule1)) -> rule5)) -> rule2))]
("Gary" "is" "kind" "-")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@3: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Charlie is not green.
Unknown
inv-rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is red.[(triple1)] Dave is cold.[(triple5)] Dave is kind.[(triple4 OR ((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule2))] Dave is red.[(triple3)] Dave is rough.[(triple2 OR ((triple4 triple5 triple3) -> rule3))] Gary is cold.[(triple9)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Harry is blue.[(triple10)] @1: Dave is blue.[(((triple2) -> rule1) OR ((((triple4 triple5 triple3) -> rule3)) -> rule1))] Gary is blue.[(((triple6) -> rule1))] @2: Dave is green.[(((triple2 ((triple2) -> rule1)) -> rule5) OR ((((triple4 triple5 triple3) -> rule3) ((triple2) -> rule1)) -> rule5) OR ((triple2 ((((triple4 triple5 triple3) -> rule3)) -> rule1)) -> rule5) OR ((((triple4 triple5 triple3) -> rule3) ((((triple4 triple5 triple3) -> rule3)) -> rule1)) -> rule5))] Gary is green.[(((triple6 ((triple6) -> rule1)) -> rule5))] @3: Gary is kind.[(((((triple6 ((triple6) -> rule1)) -> rule5)) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
((triple4 triple5 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
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
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple4 triple5 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple4 triple5 triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple2 ((((triple4 triple5 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple4 triple5 triple3) -> (rule3 % int3)) ((((triple4 triple5 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Red Charlie is what folks call him, because he is quite red.
Dave has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Harry wears all blue.
A person with a rough quality is also a person with a blue quality.
If you are green you are also kind.
I've noticed that red, cold people who are kind have the trait of rough skin.
A blue and red colored person that is young is also very cold.
Rough, blue people tend to have a lot of green aspects.