The cow does not visit the dog. The dog is round. The mouse visits the cow. The rabbit visits the mouse. If someone eats the mouse then the mouse does not eat the rabbit. If someone visits the cow then the cow is big. If someone visits the dog and the dog does not eat the mouse then they like the cow. If someone eats the cow and they visit the mouse then the mouse eats the cow. If someone is rough then they like the mouse. If someone is cold and not rough then they eat the rabbit. If someone likes the mouse then they are kind. If someone is rough and kind then they like the rabbit.
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog is round.
("dog" "is" "round" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone eats the mouse then the mouse does not eat the rabbit.
((("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "rabbit" "-"))
If someone visits the cow then the cow is big.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone visits the dog and the dog does not eat the mouse then they like the cow.
((("someone" "visits" "dog" "+") ("dog" "eats" "mouse" "~")) -> ("someone" "likes" "cow" "+"))
If someone eats the cow and they visit the mouse then the mouse eats the cow.
((("someone" "eats" "cow" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "eats" "cow" "+"))
If someone is rough then they like the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is cold and not rough then they eat the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "~")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the mouse then they are kind.
((("someone" "likes" "mouse" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind then they like the rabbit.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "likes" "rabbit" "+"))
The mouse visits the cow.
True
1
proof
[(triple3)]
("mouse" "visits" "cow" "+")
triple3
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "mouse" "-")
triple4
The cow does not like the mouse.
Unknown
inv-rconc
[@1: The cow likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "mouse" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
@0: The cow does not visit the dog.[(triple1)] The dog is round.[(triple2)] The mouse visits the cow.[(triple3)] The rabbit visits the mouse.[(triple4)] @1: The cow is big.[(((triple3) -> rule2))]
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple3
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1