The cat eats the cow. The cow does not like the cat. The mouse does not like the cat. The rabbit is red. If something eats the cow and it is not round then the cow does not eat the rabbit. If something is green and it eats the rabbit then it chases the mouse.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cow does not like the cat.
("cow" "likes" "cat" "-")
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
If something eats the cow and it is not round then the cow does not eat the rabbit.
((("something" "eats" "cow" "+") ("something" "is" "round" "~")) -> ("cow" "eats" "rabbit" "-"))
If something is green and it eats the rabbit then it chases the mouse.
((("something" "is" "green" "+") ("something" "eats" "rabbit" "+")) -> ("something" "chases" "mouse" "+"))
The mouse does not like the cat.
True
1
proof
[(triple3)]
("mouse" "likes" "cat" "-")
triple3
The mouse likes the cat.
False
1
inv-proof
[(triple3)]
("mouse" "likes" "cat" "+")
triple3
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The cat eats the cow.[(triple1)] The cow does not like the cat.[(triple2)] The mouse does not like the cat.[(triple3)] The rabbit is red.[(triple4)]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cow does not like the cat.
("cow" "likes" "cat" "-")
triple2
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
triple3
The rabbit is red.
("rabbit" "is" "red" "+")
triple4