The dog eats the squirrel. The dog is not rough. The mouse chases the dog. The mouse eats the squirrel. The mouse is not cold. The mouse is rough. The squirrel eats the dog. The squirrel does not eat the mouse. The squirrel does not like the dog. The squirrel likes the mouse. If something eats the dog and the dog likes the mouse then the mouse eats the dog. If the mouse likes the dog then the mouse is rough. If something eats the mouse and it eats the squirrel then it chases the squirrel. If something is rough then it chases the squirrel. If something eats the squirrel and it eats the mouse then it likes the mouse. If the mouse chases the dog then the dog eats the mouse.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If something eats the dog and the dog likes the mouse then the mouse eats the dog.
((("something" "eats" "dog" "+") ("dog" "likes" "mouse" "+")) -> ("mouse" "eats" "dog" "+"))
If the mouse likes the dog then the mouse is rough.
((("mouse" "likes" "dog" "+")) -> ("mouse" "is" "rough" "+"))
If something eats the mouse and it eats the squirrel then it chases the squirrel.
((("something" "eats" "mouse" "+") ("something" "eats" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If something is rough then it chases the squirrel.
((("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "+"))
If something eats the squirrel and it eats the mouse then it likes the mouse.
((("something" "eats" "squirrel" "+") ("something" "eats" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If the mouse chases the dog then the dog eats the mouse.
((("mouse" "chases" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
The squirrel does not like the dog.
True
1
proof
[(triple9)]
("squirrel" "likes" "dog" "-")
triple9
The mouse is cold.
False
1
inv-proof
[(triple5)]
("mouse" "is" "cold" "+")
triple5
The mouse chases the squirrel.
True
2
proof
[(((triple6) -> rule4))]
("mouse" "chases" "squirrel" "+")
((triple6) -> (rule4 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The dog does not eat the mouse.
False
2
inv-proof
[(((triple3) -> rule6))]
("dog" "eats" "mouse" "-")
((triple3) -> (rule6 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog chases the squirrel.
True
4
proof
[(((((triple3) -> rule6) triple1) -> rule3))]
("dog" "chases" "squirrel" "+")
((((triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog does not chase the squirrel.
False
4
inv-proof
[(((((triple3) -> rule6) triple1) -> rule3))]
("dog" "chases" "squirrel" "-")
((((triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The mouse eats the dog.
True
6
proof
[(((triple7 ((triple1 ((triple3) -> rule6)) -> rule5)) -> rule1))]
("mouse" "eats" "dog" "+")
((triple7 ((triple1 ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The mouse does not eat the dog.
False
6
inv-proof
[(((triple7 ((triple1 ((triple3) -> rule6)) -> rule5)) -> rule1))]
("mouse" "eats" "dog" "-")
((triple7 ((triple1 ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The squirrel does not chase the dog.
Unknown
inv-random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The dog does not chase the mouse.
Unknown
inv-random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is not rough.[(triple2)] The mouse chases the dog.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is not cold.[(triple5)] The mouse is rough.[(triple6)] The squirrel does not eat the mouse.[(triple8)] The squirrel does not like the dog.[(triple9)] The squirrel eats the dog.[(triple7)] The squirrel likes the mouse.[(triple10)] @1: The dog eats the mouse.[(((triple3) -> rule6))] The mouse chases the squirrel.[(((triple6) -> rule4))] @2: The dog chases the squirrel.[(((((triple3) -> rule6) triple1) -> rule3))] The dog likes the mouse.[(((triple1 ((triple3) -> rule6)) -> rule5))] @3: The mouse eats the dog.[(((triple7 ((triple1 ((triple3) -> rule6)) -> rule5)) -> rule1))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is not rough.
("dog" "is" "rough" "-")
triple2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple4
The mouse is not cold.
("mouse" "is" "cold" "-")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple8
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple7
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple10
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple3) -> (rule6 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple6) -> (rule4 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((((triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
((triple1 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
((triple7 ((triple1 ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3