The bear is not blue. The bear is cold. The bear sees the mouse. The dog chases the bear. The dog chases the mouse. The dog chases the squirrel. The dog is young. The dog sees the squirrel. The mouse is blue. The mouse likes the bear. The mouse does not see the squirrel. The squirrel likes the bear. If someone likes the bear and they chase the dog then the bear is young. If someone chases the squirrel and the squirrel likes the dog then the dog is red. If someone chases the squirrel then the squirrel is blue. If someone is red then they see the dog. If someone is blue and they do not see the squirrel then they chase the dog. If the squirrel likes the bear and the bear is young then the squirrel is red. Round people are blue. If someone likes the dog and the dog is cold then the dog chases the squirrel. If someone sees the dog and the dog chases the bear then the dog likes the squirrel.
The bear is not blue.
("bear" "is" "blue" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone likes the bear and they chase the dog then the bear is young.
((("someone" "likes" "bear" "+") ("someone" "chases" "dog" "+")) -> ("bear" "is" "young" "+"))
If someone chases the squirrel and the squirrel likes the dog then the dog is red.
((("someone" "chases" "squirrel" "+") ("squirrel" "likes" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone chases the squirrel then the squirrel is blue.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is red then they see the dog.
((("someone" "is" "red" "+")) -> ("someone" "sees" "dog" "+"))
If someone is blue and they do not see the squirrel then they chase the dog.
((("someone" "is" "blue" "+") ("someone" "sees" "squirrel" "~")) -> ("someone" "chases" "dog" "+"))
If the squirrel likes the bear and the bear is young then the squirrel is red.
((("squirrel" "likes" "bear" "+") ("bear" "is" "young" "+")) -> ("squirrel" "is" "red" "+"))
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the dog and the dog is cold then the dog chases the squirrel.
((("someone" "likes" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "chases" "squirrel" "+"))
If someone sees the dog and the dog chases the bear then the dog likes the squirrel.
((("someone" "sees" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "likes" "squirrel" "+"))
The dog is young.
True
1
proof
[(triple7)]
("dog" "is" "young" "+")
triple7
The dog is not young.
False
1
inv-proof
[(triple7)]
("dog" "is" "young" "-")
triple7
The squirrel is blue.
True
2
proof
[(((triple6) -> rule3))]
("squirrel" "is" "blue" "+")
((triple6) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple6) -> rule3))]
("squirrel" "is" "blue" "-")
((triple6) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The bear is young.
True
5
proof
[(((triple10 ((triple9 triple11) -> rule5)) -> rule1))]
("bear" "is" "young" "+")
((triple10 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The bear is not young.
False
5
inv-proof
[(((triple10 ((triple9 triple11) -> rule5)) -> rule1))]
("bear" "is" "young" "-")
((triple10 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The squirrel is red.
True
7
proof
[(((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6))]
("squirrel" "is" "red" "+")
((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The squirrel is not red.
False
7
inv-proof
[(((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6))]
("squirrel" "is" "red" "-")
((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The squirrel sees the dog.
True
8
proof
[(((((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6)) -> rule4))]
("squirrel" "sees" "dog" "+")
((((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int4
The squirrel does not see the dog.
False
8
inv-proof
[(((((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6)) -> rule4))]
("squirrel" "sees" "dog" "-")
((((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int4
The dog likes the squirrel.
True
10
proof
[(((((((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6)) -> rule4) triple4) -> rule9))]
("dog" "likes" "squirrel" "+")
((((((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule9 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int5
The dog does not like the squirrel.
False
10
inv-proof
[(((((((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6)) -> rule4) triple4) -> rule9))]
("dog" "likes" "squirrel" "-")
((((((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule9 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int5
The squirrel does not chase the dog.
Unknown
inv-rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "red" "+")
The dog does not see the dog.
Unknown
inv-rconc
[@2: The dog sees the dog.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "sees" "dog" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "dog" "+")
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "blue" "-")
The mouse sees the dog.
Unknown
rconc
[@1: The mouse sees the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "sees" "dog" "+")
The squirrel does not chase the bear.
Unknown
inv-random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "-")
The dog sees the mouse.
Unknown
random
[@0: The dog sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "mouse" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The dog does not like the mouse.
Unknown
inv-random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "-")
The bear likes the mouse.
Unknown
random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "+")
@0: The bear is cold.[(triple2)] The bear is not blue.[(triple1)] The bear sees the mouse.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the mouse.[(triple5)] The dog chases the squirrel.[(triple6)] The dog is young.[(triple7)] The dog sees the squirrel.[(triple8)] The mouse does not see the squirrel.[(triple11)] The mouse is blue.[(triple9)] The mouse likes the bear.[(triple10)] The squirrel likes the bear.[(triple12)] @1: The mouse chases the dog.[(((triple9 triple11) -> rule5))] The squirrel is blue.[(((triple6) -> rule3))] @2: The bear is young.[(((triple10 ((triple9 triple11) -> rule5)) -> rule1))] @3: The squirrel is red.[(((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6))] @4: The squirrel sees the dog.[(((((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6)) -> rule4))] @5: The dog likes the squirrel.[(((((((triple12 ((triple10 ((triple9 triple11) -> rule5)) -> rule1)) -> rule6)) -> rule4) triple4) -> rule9))]
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is not blue.
("bear" "is" "blue" "-")
triple1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple5
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple8
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple12
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((triple9 triple11) -> (rule5 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple6) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((triple10 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
((((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((((((triple12 ((triple10 ((triple9 triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule9 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int5