Being young, Bob is still green and blue. People think that Charlie is round. This might be because he is young and blue. Dave fits the description of someone who is rough, red and blue. They always call him rough Eric. Find someone cold and green. If they are also round, then they are sure to be nice. Most of the people that are big and nice with green eyes, will be round. Anyone that's rough and cold is also going to be blue. When someone is nice, dressing in red, they can be blue because they are cold. A round and blue individual will also be a cold individual. A big kind person that is red is almost always nice. A blue and green colored person will be round in shape.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Eric is not rough.
False
1
inv-proof
[(triple10)]
("Eric" "is" "rough" "-")
triple10
Charlie is cold.
True
3
proof
[(((triple5 triple6) -> rule5))]
("Charlie" "is" "cold" "+")
((triple5 triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple3 triple2) -> rule7))]
("Bob" "is" "round" "-")
((triple3 triple2) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
True
5
proof
[(((((triple3 triple2) -> rule7) triple3) -> rule5))]
("Bob" "is" "cold" "+")
((((triple3 triple2) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((((triple3 triple2) -> rule7) triple3) -> rule5))]
("Bob" "is" "cold" "-")
((((triple3 triple2) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
True
10
proof
[(((((((triple3 triple2) -> rule7) triple3) -> rule5) triple2 ((triple3 triple2) -> rule7)) -> rule1))]
("Bob" "is" "nice" "+")
((((((triple3 triple2) -> (rule7 % int3)) triple3) -> (rule5 % int2)) triple2 ((triple3 triple2) -> (rule7 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((((((triple3 triple2) -> rule7) triple3) -> rule5) triple2 ((triple3 triple2) -> rule7)) -> rule1))]
("Bob" "is" "nice" "-")
((((((triple3 triple2) -> (rule7 % int3)) triple3) -> (rule5 % int2)) triple2 ((triple3 triple2) -> (rule7 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Eric is rough.[(triple10)] @1: Bob is round.[(((triple3 triple2) -> rule7))] Charlie is cold.[(((triple5 triple6) -> rule5))] @2: Bob is cold.[(((((triple3 triple2) -> rule7) triple3) -> rule5))] @3: Bob is nice.[(((((((triple3 triple2) -> rule7) triple3) -> rule5) triple2 ((triple3 triple2) -> rule7)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple2) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 triple2) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple3 triple2) -> (rule7 % int3)) triple3) -> (rule5 % int2)) triple2 ((triple3 triple2) -> (rule7 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Being young, Bob is still green and blue.
People think that Charlie is round; This might be because he is young and blue.
Dave fits the description of someone who is rough, red and blue.
They always call him rough Eric.
Find someone cold and green; If they are also round, then they are sure to be nice.
Most of the people that are big and nice with green eyes, will be round.
Anyone that's rough and cold is also going to be blue.
When someone is nice, dressing in red, they can be blue because they are cold.
A round and blue individual will also be a cold individual.
A big kind person that is red is almost always nice.
A blue and green colored person will be round in shape.