The cat chases the cow. The cat eats the dog. The cat likes the cow. The cow is red. The dog eats the cat. The dog does not like the cat. The mouse chases the dog. The mouse eats the cat. The mouse is red. The mouse is rough. If something likes the mouse and the mouse is rough then the mouse likes the cow. If something eats the cat then it chases the dog. If the dog likes the cat then the cat is not big. If something likes the mouse and it is not big then it does not chase the cat. If something chases the cat and it is rough then the cat chases the cow. If something chases the cow then it likes the dog. If something likes the dog then the dog chases the cow. If the dog does not chase the cow then the dog is cold.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow is red.
("cow" "is" "red" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog does not like the cat.
("dog" "likes" "cat" "-")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something likes the mouse and the mouse is rough then the mouse likes the cow.
((("something" "likes" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("mouse" "likes" "cow" "+"))
If something eats the cat then it chases the dog.
((("something" "eats" "cat" "+")) -> ("something" "chases" "dog" "+"))
If the dog likes the cat then the cat is not big.
((("dog" "likes" "cat" "+")) -> ("cat" "is" "big" "-"))
If something likes the mouse and it is not big then it does not chase the cat.
((("something" "likes" "mouse" "+") ("something" "is" "big" "~")) -> ("something" "chases" "cat" "-"))
If something chases the cat and it is rough then the cat chases the cow.
((("something" "chases" "cat" "+") ("something" "is" "rough" "+")) -> ("cat" "chases" "cow" "+"))
If something chases the cow then it likes the dog.
((("something" "chases" "cow" "+")) -> ("something" "likes" "dog" "+"))
If something likes the dog then the dog chases the cow.
((("something" "likes" "dog" "+")) -> ("dog" "chases" "cow" "+"))
If the dog does not chase the cow then the dog is cold.
((("dog" "chases" "cow" "~")) -> ("dog" "is" "cold" "+"))
The dog does not like the cat.
True
1
proof
[(triple6)]
("dog" "likes" "cat" "-")
triple6
The mouse does not chase the dog.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule2))]
("mouse" "chases" "dog" "-")
triple7
((triple8) -> (rule2 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The cat likes the dog.
True
2
proof
[(((triple1) -> rule6))]
("cat" "likes" "dog" "+")
((triple1) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat does not like the dog.
False
2
inv-proof
[(((triple1) -> rule6))]
("cat" "likes" "dog" "-")
((triple1) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The dog chases the cow.
True
3
proof
[(((((triple1) -> rule6)) -> rule7))]
("dog" "chases" "cow" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog does not chase the cow.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7))]
("dog" "chases" "cow" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog likes the dog.
True
4
proof
[(((((((triple1) -> rule6)) -> rule7)) -> rule6))]
("dog" "likes" "dog" "+")
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
int3
The dog does not like the dog.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule7)) -> rule6))]
("dog" "likes" "dog" "-")
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
int3
The mouse does not like the dog.
Unknown
inv-rconc
[@1: The mouse likes the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "dog" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "cold" "+")
The cat does not chase the dog.
Unknown
inv-rconc
[@1: The cat chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "dog" "-")
The cow chases the dog.
Unknown
rconc
[@1: The cow chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "dog" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow eats the cat.
Unknown
random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "+")
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 dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The cat chases the cow.[(triple1)] The cat eats the dog.[(triple2)] The cat likes the cow.[(triple3)] The cow is red.[(triple4)] The dog does not like the cat.[(triple6)] The dog eats the cat.[(triple5)] The mouse chases the dog.[(triple7 OR ((triple8) -> rule2))] The mouse eats the cat.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] @1: The cat likes the dog.[(((triple1) -> rule6))] The dog chases the dog.[(((triple5) -> rule2))] @2: The dog chases the cow.[(((((triple1) -> rule6)) -> rule7))] @3: The dog likes the dog.[(((((((triple1) -> rule6)) -> rule7)) -> rule6))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat likes the cow.
("cat" "likes" "cow" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple5
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
((triple8) -> (rule2 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The cat likes the dog.
("cat" "likes" "dog" "+")
((triple1) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple5) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
int3