Charlie is blue and cold. That big young man is Dave he can act in a somewhat rough manner but that's just because he feels very green here. Eric's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters. Red Harry is what folks call him, because he is quite red. Whoever is rough and red must be kind. People that are big and cold are blue as well. A person who is nice and green with envy is round. Anyone with red and blue coloration also has green coloration. A blue individual that is kind and nice to others also has a rough appearance.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Eric is blue.
True
3
proof
[(((triple10 triple9) -> rule2))]
("Eric" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple10 triple9) -> rule2))]
("Eric" "is" "blue" "-")
((triple10 triple9) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
True
5
proof
[(((triple7 ((triple10 triple9) -> rule2)) -> rule4))]
("Eric" "is" "green" "+")
((triple7 ((triple10 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not green.
False
5
inv-proof
[(((triple7 ((triple10 triple9) -> rule2)) -> rule4))]
("Eric" "is" "green" "-")
((triple7 ((triple10 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
True
7
proof
[(((triple8 ((triple7 ((triple10 triple9) -> rule2)) -> rule4)) -> rule3))]
("Eric" "is" "round" "+")
((triple8 ((triple7 ((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not round.
False
7
inv-proof
[(((triple8 ((triple7 ((triple10 triple9) -> rule2)) -> rule4)) -> rule3))]
("Eric" "is" "round" "-")
((triple8 ((triple7 ((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Eric" "is" "kind" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Harry is red.[(triple11)] @1: Eric is blue.[(((triple10 triple9) -> rule2))] @2: Eric is green.[(((triple7 ((triple10 triple9) -> rule2)) -> rule4))] @3: Eric is round.[(((triple8 ((triple7 ((triple10 triple9) -> rule2)) -> rule4)) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple7 ((triple10 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple8 ((triple7 ((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Charlie is blue and cold.
That big young man is Dave he can act in a somewhat rough manner but that's just because he feels very green here.
Eric's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters.
Red Harry is what folks call him, because he is quite red.
Whoever is rough and red must be kind.
People that are big and cold are blue as well.
A person who is nice and green with envy is round.
Anyone with red and blue coloration also has green coloration.
A blue individual that is kind and nice to others also has a rough appearance.