The cow chases the dog. The cow eats the dog. The cow does not eat the mouse. The cow is big. The cow visits the mouse. The dog does not chase the mouse. The dog is cold. The dog is not green. The dog is red. The dog visits the cow. The dog visits the mouse. The mouse chases the cow. The mouse eats the dog. The mouse is big. The mouse is round. The mouse visits the dog. If someone is green and they do not chase the cow then they visit the mouse. If someone visits the dog and the dog does not visit the mouse then the dog chases the mouse.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
The cow is big.
("cow" "is" "big" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is red.
("dog" "is" "red" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone is green and they do not chase the cow then they visit the mouse.
((("someone" "is" "green" "+") ("someone" "chases" "cow" "~")) -> ("someone" "visits" "mouse" "+"))
If someone visits the dog and the dog does not visit the mouse then the dog chases the mouse.
((("someone" "visits" "dog" "+") ("dog" "visits" "mouse" "~")) -> ("dog" "chases" "mouse" "+"))
The cow chases the dog.
True
1
proof
[(triple1)]
("cow" "chases" "dog" "+")
triple1
The cow does not visit the mouse.
False
1
inv-proof
[(triple5)]
("cow" "visits" "mouse" "-")
triple5
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The cow chases the dog.[(triple1)] The cow does not eat the mouse.[(triple3)] The cow eats the dog.[(triple2)] The cow is big.[(triple4)] The cow visits the mouse.[(triple5)] The dog does not chase the mouse.[(triple6)] The dog is cold.[(triple7)] The dog is not green.[(triple8)] The dog is red.[(triple9)] The dog visits the cow.[(triple10)] The dog visits the mouse.[(triple11)] The mouse chases the cow.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is big.[(triple14)] The mouse is round.[(triple15)] The mouse visits the dog.[(triple16)]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
triple3
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple5
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is not green.
("dog" "is" "green" "-")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple11
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple12
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple13
The mouse is big.
("mouse" "is" "big" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple16