The cat chases the squirrel. The cat eats the squirrel. The cat is rough. The cat likes the dog. The cat likes the mouse. The cat likes the squirrel. The dog is not big. The mouse eats the squirrel. The mouse is big. The mouse is kind. The squirrel chases the cat. If someone is big and they chase the dog then the dog eats the mouse. If someone likes the dog then they eat the squirrel. If someone is big then they eat the mouse. If someone eats the squirrel and the squirrel is blue then they are big. If someone is rough then they chase the mouse. If someone is round and they like the dog then they do not chase the mouse. If someone chases the dog and they are blue then they like the cat. If someone eats the mouse then they chase the dog. If someone eats the mouse and they chase the dog then they are blue.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog is not big.
("dog" "is" "big" "-")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
If someone is big and they chase the dog then the dog eats the mouse.
((("someone" "is" "big" "+") ("someone" "chases" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If someone likes the dog then they eat the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is big then they eat the mouse.
((("someone" "is" "big" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the squirrel and the squirrel is blue then they are big.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they chase the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is round and they like the dog then they do not chase the mouse.
((("someone" "is" "round" "+") ("someone" "likes" "dog" "+")) -> ("someone" "chases" "mouse" "-"))
If someone chases the dog and they are blue then they like the cat.
((("someone" "chases" "dog" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "cat" "+"))
If someone eats the mouse then they chase the dog.
((("someone" "eats" "mouse" "+")) -> ("someone" "chases" "dog" "+"))
If someone eats the mouse and they chase the dog then they are blue.
((("someone" "eats" "mouse" "+") ("someone" "chases" "dog" "+")) -> ("someone" "is" "blue" "+"))
The cat eats the squirrel.
True
1
proof
[(triple2 OR ((triple4) -> rule2))]
("cat" "eats" "squirrel" "+")
triple2
((triple4) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The mouse is not big.
False
1
inv-proof
[(triple9)]
("mouse" "is" "big" "-")
triple9
The cat chases the mouse.
True
2
proof
[(((triple3) -> rule5))]
("cat" "chases" "mouse" "+")
((triple3) -> (rule5 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple9) -> rule3))]
("mouse" "eats" "mouse" "-")
((triple9) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the dog.
True
3
proof
[(((((triple9) -> rule3)) -> rule8))]
("mouse" "chases" "dog" "+")
((((triple9) -> (rule3 % int2))) -> (rule8 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse does not chase the dog.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule8))]
("mouse" "chases" "dog" "-")
((((triple9) -> (rule3 % int2))) -> (rule8 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The dog eats the mouse.
True
5
proof
[(((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1))]
("dog" "eats" "mouse" "+")
((triple9 ((((triple9) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The dog does not eat the mouse.
False
5
inv-proof
[(((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1))]
("dog" "eats" "mouse" "-")
((triple9 ((((triple9) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the cat.
True
10
proof
[(((((((triple9) -> rule3)) -> rule8) ((((triple9) -> rule3) ((((triple9) -> rule3)) -> rule8)) -> rule9)) -> rule7))]
("mouse" "likes" "cat" "+")
((((((triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple9) -> (rule3 % int4)) ((((triple9) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int4
The mouse does not like the cat.
False
10
inv-proof
[(((((((triple9) -> rule3)) -> rule8) ((((triple9) -> rule3) ((((triple9) -> rule3)) -> rule8)) -> rule9)) -> rule7))]
("mouse" "likes" "cat" "-")
((((((triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple9) -> (rule3 % int4)) ((((triple9) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int4
The dog is blue.
True
12
proof
[(((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1) ((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1)) -> rule8)) -> rule9))]
("dog" "is" "blue" "+")
((((triple9 ((((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple9 ((((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int5
The dog is not blue.
False
12
inv-proof
[(((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1) ((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1)) -> rule8)) -> rule9))]
("dog" "is" "blue" "-")
((((triple9 ((((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple9 ((((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int5
The squirrel does not chase the dog.
Unknown
inv-rconc
[@4: The squirrel chases the dog.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule4 <- rule2 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The cat likes the cat.
Unknown
rconc
[@4: The cat likes the cat.[CWA. Example of deepest failure = (rule7 <- rule9 <- rule3 <- rule4 <- FAIL)]]
("cat" "likes" "cat" "+")
The cat does not chase the dog.
Unknown
inv-rconc
[@4: The cat chases the dog.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule4 <- rule9 <- FAIL)]]
("cat" "chases" "dog" "-")
The dog chases the mouse.
Unknown
rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "mouse" "+")
The squirrel is not blue.
Unknown
inv-rconc
[@3: The squirrel is blue.[CWA. Example of deepest failure = (rule9 <- rule3 <- rule4 <- FAIL)]]
("squirrel" "is" "blue" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse eats the cat.
Unknown
random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "+")
The mouse does not like the squirrel.
Unknown
inv-random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The squirrel does not eat the cat.
Unknown
inv-random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2 OR ((triple4) -> rule2))] The cat is rough.[(triple3)] The cat likes the dog.[(triple4)] The cat likes the mouse.[(triple5)] The cat likes the squirrel.[(triple6)] The dog is not big.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The squirrel chases the cat.[(triple11)] @1: The cat chases the mouse.[(((triple3) -> rule5))] The mouse eats the mouse.[(((triple9) -> rule3))] @2: The mouse chases the dog.[(((((triple9) -> rule3)) -> rule8))] @3: The dog eats the mouse.[(((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1))] The mouse is blue.[(((((triple9) -> rule3) ((((triple9) -> rule3)) -> rule8)) -> rule9))] @4: The dog chases the dog.[(((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1)) -> rule8))] The mouse likes the cat.[(((((((triple9) -> rule3)) -> rule8) ((((triple9) -> rule3) ((((triple9) -> rule3)) -> rule8)) -> rule9)) -> rule7))] @5: The dog is blue.[(((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1) ((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1)) -> rule8)) -> rule9))] @6: The dog likes the cat.[(((((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1)) -> rule8) ((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1) ((((triple9 ((((triple9) -> rule3)) -> rule8)) -> rule1)) -> rule8)) -> rule9)) -> rule7))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
((triple4) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat likes the dog.
("cat" "likes" "dog" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The dog is not big.
("dog" "is" "big" "-")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple11
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((triple3) -> (rule5 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple9) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((((triple9) -> (rule3 % int2))) -> (rule8 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple9 ((((triple9) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple9) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple9 ((((triple9) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int4
The mouse likes the cat.
("mouse" "likes" "cat" "+")
((((((triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple9) -> (rule3 % int4)) ((((triple9) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int4
The dog is blue.
("dog" "is" "blue" "+")
((((triple9 ((((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple9 ((((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int5
The dog likes the cat.
("dog" "likes" "cat" "+")
((((((triple9 ((((triple9) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple9 ((((triple9) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple9 ((((triple9) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int5
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int6