Fred 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. Though he is young, Gary is still nice despite being quite blue. A male or female with rough, kind and round traits will surely have a nice quality, as well. Cold and rough people will also surely be round shaped. Blue kind people are almost always nice to others. Kind big people are green and young. Young round folks who are at least a bit red are actually nice. Anyone who is known to be kind, nice, and round is generally also known to be a green color. If you meet a young and kind person who is also rough, they are cold, too.
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
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 red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("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 rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Fred is round.
True
3
proof
[(((triple4 triple1) -> rule2))]
("Fred" "is" "round" "+")
((triple4 triple1) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple4 triple1) -> rule2))]
("Fred" "is" "round" "-")
((triple4 triple1) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
True
6
proof
[(((triple1 triple3 ((triple4 triple1) -> rule2)) -> rule1))]
("Fred" "is" "nice" "+")
((triple1 triple3 ((triple4 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not nice.
False
6
inv-proof
[(((triple1 triple3 ((triple4 triple1) -> rule2)) -> rule1))]
("Fred" "is" "nice" "-")
((triple1 triple3 ((triple4 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
True
11
proof
[(((triple3 ((triple1 triple3 ((triple4 triple1) -> rule2)) -> rule1) ((triple4 triple1) -> rule2)) -> rule6))]
("Fred" "is" "green" "+")
((triple3 ((triple1 triple3 ((triple4 triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple4 triple1) -> (rule2 % int3))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not green.
False
11
inv-proof
[(((triple3 ((triple1 triple3 ((triple4 triple1) -> rule2)) -> rule1) ((triple4 triple1) -> rule2)) -> rule6))]
("Fred" "is" "green" "-")
((triple3 ((triple1 triple3 ((triple4 triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple4 triple1) -> (rule2 % int3))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Fred is cold.[(triple4)] Fred is kind.[(triple3)] Fred is red.[(triple2)] Fred is rough.[(triple1)] Gary is blue.[(triple7)] Gary is nice.[(triple6)] Gary is young.[(triple5)] @1: Fred is round.[(((triple4 triple1) -> rule2))] @2: Fred is nice.[(((triple1 triple3 ((triple4 triple1) -> rule2)) -> rule1))] @3: Fred is green.[(((triple3 ((triple1 triple3 ((triple4 triple1) -> rule2)) -> rule1) ((triple4 triple1) -> rule2)) -> rule6))]
Fred is cold.
("Fred" "is" "cold" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
((triple4 triple1) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple1 triple3 ((triple4 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple3 ((triple1 triple3 ((triple4 triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple4 triple1) -> (rule2 % int3))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred 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.
Though he is young, Gary is still nice despite being quite blue.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Cold and rough people will also surely be round shaped.
Blue kind people are almost always nice to others.
Kind big people are green and young.
Young round folks who are at least a bit red are actually nice.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
If you meet a young and kind person who is also rough, they are cold, too.