Red Charlie is what folks call him, because he is quite red. Dave associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Eric has rough, green skin and that makes him cold. He also feels blue for his big size. Harry wears all blue. When someone is young they can be nice and kind, but green in society. It's said that any person with blue skin, round bones, and big feet is kind. Have you noticed that green and round folks are also so young. A person who exhibits nice, kind and cold characteristics will also be a rough person. People who are rough and nice and blue can be round. People feeling green and blue are somewhat nice. Those who are round and cold are young.
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Eric is not blue.
False
1
inv-proof
[(triple9)]
("Eric" "is" "blue" "-")
triple9
Dave is nice.
True
3
proof
[(((triple4 triple5) -> rule6))]
("Dave" "is" "nice" "+")
((triple4 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple4 triple5) -> rule6))]
("Dave" "is" "nice" "-")
((triple4 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is round.
True
6
proof
[(((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5))]
("Eric" "is" "round" "+")
((triple6 ((triple7 triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not round.
False
6
inv-proof
[(((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5))]
("Eric" "is" "round" "-")
((triple6 ((triple7 triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
True
9
proof
[(((triple9 ((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5) triple10) -> rule2))]
("Eric" "is" "kind" "+")
((triple9 ((triple6 ((triple7 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not kind.
False
9
inv-proof
[(((triple9 ((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5) triple10) -> rule2))]
("Eric" "is" "kind" "-")
((triple9 ((triple6 ((triple7 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "young" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is red.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is young.[(triple2)] Eric is big.[(triple10)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is rough.[(triple6)] Harry is blue.[(triple11)] @1: Dave is nice.[(((triple4 triple5) -> rule6))] Eric is nice.[(((triple7 triple9) -> rule6))] @2: Eric is round.[(((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5))] @3: Eric is kind.[(((triple9 ((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5) triple10) -> rule2))] Eric is young.[(((triple7 ((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5)) -> rule3) OR ((triple8 ((triple6 ((triple7 triple9) -> rule6) triple9) -> rule5)) -> rule7))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple9) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple6 ((triple7 triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple9 ((triple6 ((triple7 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((triple7 ((triple6 ((triple7 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((triple8 ((triple6 ((triple7 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Red Charlie is what folks call him, because he is quite red.
Dave associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Eric has rough, green skin and that makes him cold; He also feels blue for his big size.
Harry wears all blue.
When someone is young they can be nice and kind, but green in society.
It's said that any person with blue skin, round bones, and big feet is kind.
Have you noticed that green and round folks are also so young.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
People who are rough and nice and blue can be round.
People feeling green and blue are somewhat nice.
Those who are round and cold are young.