Bob is a nice and red, but very kind person as soon as you meet him. Charlie wears all blue. Dave is blue because he is round and big. He is young a bit rough around the edges. Eric always goes out of his way to show that he is kind to people. Blue Christmas ornaments are also red. Most young and nice people will be kind. When someone is young they can be nice and kind, but green in society. People who have a big shape while they are young are found to be nice. Anyone who is known to be kind, nice, and round is generally also known to be a green color. When a round individual is nice to others, they are also feeling blue.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
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 young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("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 round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Dave is not blue.
False
1
inv-proof
[(triple8 OR ((triple6 ((triple5 triple9) -> rule4)) -> rule6))]
("Dave" "is" "blue" "-")
triple8
((triple6 ((triple5 triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
True
2
proof
[(((triple8) -> rule1) OR ((((triple6 ((triple5 triple9) -> rule4)) -> rule6)) -> rule1))]
("Dave" "is" "red" "+")
((triple8) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple6 ((triple5 triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is not red.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "red" "-")
((triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is kind.
True
5
proof
[(((triple5 ((triple5 triple9) -> rule4)) -> rule2))]
("Dave" "is" "kind" "+")
((triple5 ((triple5 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((triple5 ((triple5 triple9) -> rule4)) -> rule2))]
("Dave" "is" "kind" "-")
((triple5 ((triple5 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
True
10
proof
[(((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple5) -> rule3) OR ((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple6) -> rule5))]
("Dave" "is" "green" "+")
((((triple5 ((triple5 triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple9) -> (rule4 % int3)) triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple5 ((triple5 triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple9) -> (rule4 % int3)) triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not green.
False
10
inv-proof
[(((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple5) -> rule3) OR ((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple6) -> rule5))]
("Dave" "is" "green" "-")
((((triple5 ((triple5 triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple9) -> (rule4 % int3)) triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple5 ((triple5 triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple9) -> (rule4 % int3)) triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple4)] Dave is big.[(triple9)] Dave is blue.[(triple8 OR ((triple6 ((triple5 triple9) -> rule4)) -> rule6))] Dave is rough.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Eric is kind.[(triple10)] @1: Charlie is red.[(((triple4) -> rule1))] Dave is nice.[(((triple5 triple9) -> rule4))] Dave is red.[(((triple8) -> rule1) OR ((((triple6 ((triple5 triple9) -> rule4)) -> rule6)) -> rule1))] @2: Dave is kind.[(((triple5 ((triple5 triple9) -> rule4)) -> rule2))] @3: Dave is green.[(((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple5) -> rule3) OR ((((triple5 ((triple5 triple9) -> rule4)) -> rule2) ((triple5 triple9) -> rule4) triple6) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((triple6 ((triple5 triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
((triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 triple9) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple8) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple6 ((triple5 triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 ((triple5 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple5 ((triple5 triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple9) -> (rule4 % int3)) triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple5 ((triple5 triple9) -> (rule4 % int3))) -> (rule2 % int2)) ((triple5 triple9) -> (rule4 % int3)) triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob is a nice and red, but very kind person as soon as you meet him.
Charlie wears all blue.
Dave is blue because he is round and big; He is young a bit rough around the edges.
Eric always goes out of his way to show that he is kind to people.
Blue Christmas ornaments are also red.
Most young and nice people will be kind.
When someone is young they can be nice and kind, but green in society.
People who have a big shape while they are young are found to be nice.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
When a round individual is nice to others, they are also feeling blue.