The cow chases the dog. The cow chases the rabbit. The cow is green. The cow likes the mouse. The cow likes the rabbit. The cow visits the dog. The cow visits the mouse. The cow visits the rabbit. The dog is green. The dog is rough. The dog is round. The dog likes the cow. The dog visits the mouse. The mouse visits the cow. The rabbit chases the dog. The rabbit chases the mouse. If something chases the mouse and the mouse chases the cow then the mouse chases the rabbit. If something visits the mouse and the mouse visits the cow then it does not like the dog. If something chases the rabbit then the rabbit is red.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
If something chases the mouse and the mouse chases the cow then the mouse chases the rabbit.
((("something" "chases" "mouse" "+") ("mouse" "chases" "cow" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something visits the mouse and the mouse visits the cow then it does not like the dog.
((("something" "visits" "mouse" "+") ("mouse" "visits" "cow" "+")) -> ("something" "likes" "dog" "-"))
If something chases the rabbit then the rabbit is red.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
The cow visits the dog.
True
1
proof
[(triple6)]
("cow" "visits" "dog" "+")
triple6
The rabbit does not chase the mouse.
False
1
inv-proof
[(triple16)]
("rabbit" "chases" "mouse" "-")
triple16
The cow does not like the dog.
True
3
proof
[(((triple7 triple14) -> rule2))]
("cow" "likes" "dog" "-")
((triple7 triple14) -> (rule2 % int1))
The cow does not like the dog.
("cow" "likes" "dog" "-")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple2) -> rule3))]
("rabbit" "is" "red" "-")
((triple2) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The mouse does not chase the rabbit.
Unknown
inv-rconc
[@1: The mouse chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is green.[(triple3)] The cow likes the mouse.[(triple4)] The cow likes the rabbit.[(triple5)] The cow visits the dog.[(triple6)] The cow visits the mouse.[(triple7)] The cow visits the rabbit.[(triple8)] The dog is green.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog likes the cow.[(triple12)] The dog visits the mouse.[(triple13)] The mouse visits the cow.[(triple14)] The rabbit chases the dog.[(triple15)] The rabbit chases the mouse.[(triple16)] @1: The cow does not like the dog.[(((triple7 triple14) -> rule2))] The dog does not like the dog.[(((triple13 triple14) -> rule2))] The rabbit is red.[(((triple2) -> rule3))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The cow visits the dog.
("cow" "visits" "dog" "+")
triple6
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple12
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple13
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple14
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple15
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple16
The cow does not like the dog.
("cow" "likes" "dog" "-")
((triple7 triple14) -> (rule2 % int1))
The cow does not like the dog.
("cow" "likes" "dog" "-")
int1
The dog does not like the dog.
("dog" "likes" "dog" "-")
((triple13 triple14) -> (rule2 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple2) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1