The cat chases the cow. The cat chases the mouse. The cat does not eat the mouse. The cat is not nice. The cat likes the cow. The cat likes the dog. The cow chases the mouse. The cow is nice. The cow likes the mouse. The dog chases the cat. The dog is nice. The dog is rough. The dog likes the cow. The mouse does not eat the cow. The mouse does not eat the dog. The mouse is not kind. If someone is nice then they chase the cat. If someone likes the cow and they are not rough then they eat the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
The cat is not nice.
("cat" "is" "nice" "-")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
If someone is nice then they chase the cat.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "cat" "+"))
If someone likes the cow and they are not rough then they eat the cow.
((("someone" "likes" "cow" "+") ("someone" "is" "rough" "~")) -> ("someone" "eats" "cow" "+"))
The cat chases the cow.
True
1
proof
[(triple1)]
("cat" "chases" "cow" "+")
triple1
The dog is not nice.
False
1
inv-proof
[(triple11)]
("dog" "is" "nice" "-")
triple11
The cow chases the cat.
True
2
proof
[(((triple8) -> rule1))]
("cow" "chases" "cat" "+")
((triple8) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow does not chase the cat.
False
2
inv-proof
[(((triple8) -> rule1))]
("cow" "chases" "cat" "-")
((triple8) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The dog does not eat the cow.
Unknown
inv-rconc
[@1: The dog eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "cow" "-")
The cat eats the cow.
Unknown
rconc
[@1: The cat eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "cow" "+")
The cow does not eat the dog.
Unknown
inv-random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat does not eat the mouse.[(triple3)] The cat is not nice.[(triple4)] The cat likes the cow.[(triple5)] The cat likes the dog.[(triple6)] The cow chases the mouse.[(triple7)] The cow is nice.[(triple8)] The cow likes the mouse.[(triple9)] The dog chases the cat.[(triple10 OR ((triple11) -> rule1))] The dog is nice.[(triple11)] The dog is rough.[(triple12)] The dog likes the cow.[(triple13)] The mouse does not eat the cow.[(triple14)] The mouse does not eat the dog.[(triple15)] The mouse is not kind.[(triple16)] @1: The cow chases the cat.[(((triple8) -> rule1))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
triple3
The cat is not nice.
("cat" "is" "nice" "-")
triple4
The cat likes the cow.
("cat" "likes" "cow" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple9
The dog chases the cat.
("dog" "chases" "cat" "+")
triple10
((triple11) -> (rule1 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple11
The dog is rough.
("dog" "is" "rough" "+")
triple12
The dog likes the cow.
("dog" "likes" "cow" "+")
triple13
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
triple14
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple15
The mouse is not kind.
("mouse" "is" "kind" "-")
triple16
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple8) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1