Bob is so big, he is often blue, but always kind. Charlie is green, which is a possible explanation for why he is so nice. Gary 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. Harry is so young and darling he is kind to all the old people on the block. A big person who is green and cold has red skin. A person with a rough quality is also a person with a blue quality. It's easy to be round and blue when you are young. If a person is red and green, then they will present as big. Anyone with red and blue coloration also has green coloration. I've noticed that big people with blue and green skin tend to be young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Gary is blue.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "blue" "-")
((triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
True
4
proof
[(((triple7 ((triple6) -> rule2)) -> rule5))]
("Gary" "is" "green" "+")
((triple7 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not green.
False
4
inv-proof
[(((triple7 ((triple6) -> rule2)) -> rule5))]
("Gary" "is" "green" "-")
((triple7 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
True
6
proof
[(((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "big" "+")
((triple7 ((triple7 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not big.
False
6
inv-proof
[(((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "big" "-")
((triple7 ((triple7 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
True
13
proof
[(((((triple7 ((triple6) -> rule2)) -> rule5) ((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6))]
("Gary" "is" "young" "+")
((((triple7 ((triple6) -> (rule2 % int4))) -> (rule5 % int3)) ((triple7 ((triple7 ((triple6) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not young.
False
13
inv-proof
[(((((triple7 ((triple6) -> rule2)) -> rule5) ((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6))]
("Gary" "is" "young" "-")
((((triple7 ((triple6) -> (rule2 % int4))) -> (rule5 % int3)) ((triple7 ((triple7 ((triple6) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Bob is not young.
Unknown
inv-rconc
[@3: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is blue.[(triple2)] Bob is kind.[(triple1)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Harry is kind.[(triple11)] Harry is young.[(triple10)] @1: Gary is blue.[(((triple6) -> rule2))] @2: Gary is green.[(((triple7 ((triple6) -> rule2)) -> rule5))] @3: Gary is big.[(((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule4))] @4: Gary is young.[(((((triple7 ((triple6) -> rule2)) -> rule5) ((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple7 ((triple7 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple7 ((triple6) -> (rule2 % int4))) -> (rule5 % int3)) ((triple7 ((triple7 ((triple6) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Bob is so big, he is often blue, but always kind.
Charlie is green, which is a possible explanation for why he is so nice.
Gary 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.
Harry is so young and darling he is kind to all the old people on the block.
A big person who is green and cold has red skin.
A person with a rough quality is also a person with a blue quality.
It's easy to be round and blue when you are young.
If a person is red and green, then they will present as big.
Anyone with red and blue coloration also has green coloration.
I've noticed that big people with blue and green skin tend to be young.