The cow eats the mouse. The cow needs the dog. The cow does not visit the dog. The dog does not eat the rabbit. The dog needs the cow. The dog needs the mouse. The mouse needs the rabbit. The mouse visits the dog. The rabbit eats the dog. The rabbit is rough. The rabbit does not visit the cow. The rabbit visits the dog. If something needs the mouse then the mouse does not need the dog. If something is cold and nice then it does not eat the mouse. If something eats the mouse and it is not rough then the mouse eats the dog. If something eats the mouse then it is not cold. If something is big and it does not need the rabbit then the rabbit eats the dog. If something visits the mouse and it does not eat the dog then the mouse eats the rabbit.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something needs the mouse then the mouse does not need the dog.
((("something" "needs" "mouse" "+")) -> ("mouse" "needs" "dog" "-"))
If something is cold and nice then it does not eat the mouse.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "eats" "mouse" "-"))
If something eats the mouse and it is not rough then the mouse eats the dog.
((("something" "eats" "mouse" "+") ("something" "is" "rough" "~")) -> ("mouse" "eats" "dog" "+"))
If something eats the mouse then it is not cold.
((("something" "eats" "mouse" "+")) -> ("something" "is" "cold" "-"))
If something is big and it does not need the rabbit then the rabbit eats the dog.
((("something" "is" "big" "+") ("something" "needs" "rabbit" "~")) -> ("rabbit" "eats" "dog" "+"))
If something visits the mouse and it does not eat the dog then the mouse eats the rabbit.
((("something" "visits" "mouse" "+") ("something" "eats" "dog" "~")) -> ("mouse" "eats" "rabbit" "+"))
The rabbit does not visit the cow.
True
1
proof
[(triple11)]
("rabbit" "visits" "cow" "-")
triple11
The dog does not need the cow.
False
1
inv-proof
[(triple5)]
("dog" "needs" "cow" "-")
triple5
The mouse does not need the dog.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "needs" "dog" "-")
((triple6) -> (rule1 % int1))
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
int1
The cow is cold.
False
2
inv-proof
[(((triple1) -> rule4))]
("cow" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The mouse does not eat the dog.
Unknown
inv-rconc
[@1: The mouse eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "dog" "-")
The mouse eats the rabbit.
Unknown
rconc
[@1: The mouse eats the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "rabbit" "+")
The dog does not eat the cow.
Unknown
inv-random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow does not visit the dog.[(triple3)] The cow eats the mouse.[(triple1)] The cow needs the dog.[(triple2)] The dog does not eat the rabbit.[(triple4)] The dog needs the cow.[(triple5)] The dog needs the mouse.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse visits the dog.[(triple8)] The rabbit does not visit the cow.[(triple11)] The rabbit eats the dog.[(triple9)] The rabbit is rough.[(triple10)] The rabbit visits the dog.[(triple12)] @1: The cow is not cold.[(((triple1) -> rule4))] The mouse does not need the dog.[(((triple6) -> rule1))]
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple4
The dog needs the cow.
("dog" "needs" "cow" "+")
triple5
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple6
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple7
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple8
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
triple11
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The cow is not cold.
("cow" "is" "cold" "-")
((triple1) -> (rule4 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
((triple6) -> (rule1 % int1))
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
int1