The bear does not need the mouse. The cat eats the mouse. The cat eats the rabbit. The cat is blue. The cat is not green. The cat is rough. The mouse needs the cat. The rabbit eats the bear. The rabbit is not rough. The rabbit needs the cat. If someone needs the mouse then they eat the bear. If someone eats the rabbit and the rabbit sees the mouse then the mouse is not rough.
The bear does not need the mouse.
("bear" "needs" "mouse" "-")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is rough.
("cat" "is" "rough" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone needs the mouse then they eat the bear.
((("someone" "needs" "mouse" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the rabbit and the rabbit sees the mouse then the mouse is not rough.
((("someone" "eats" "rabbit" "+") ("rabbit" "sees" "mouse" "+")) -> ("mouse" "is" "rough" "-"))
The rabbit is not rough.
True
1
proof
[(triple9)]
("rabbit" "is" "rough" "-")
triple9
The rabbit does not need the cat.
False
1
inv-proof
[(triple10)]
("rabbit" "needs" "cat" "-")
triple10
The mouse does not eat the bear.
Unknown
inv-rconc
[@1: The mouse eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "bear" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bear does not need the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is blue.[(triple4)] The cat is not green.[(triple5)] The cat is rough.[(triple6)] The mouse needs the cat.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit is not rough.[(triple9)] The rabbit needs the cat.[(triple10)]
The bear does not need the mouse.
("bear" "needs" "mouse" "-")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is not green.
("cat" "is" "green" "-")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple9
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple10