The bear visits the mouse. The cow eats the lion. The cow likes the lion. The cow visits the bear. The lion likes the cow. The lion visits the mouse. The mouse likes the lion. If someone is red then they visit the mouse. If someone is nice and blue then they eat the cow.
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If someone is red then they visit the mouse.
((("someone" "is" "red" "+")) -> ("someone" "visits" "mouse" "+"))
If someone is nice and blue then they eat the cow.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "cow" "+"))
The bear visits the mouse.
True
1
proof
[(triple1)]
("bear" "visits" "mouse" "+")
triple1
The mouse does not like the lion.
False
1
inv-proof
[(triple7)]
("mouse" "likes" "lion" "-")
triple7
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "cow" "-")
The lion visits the cow.
Unknown
random
[@0: The lion visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cow" "+")
@0: The bear visits the mouse.[(triple1)] The cow eats the lion.[(triple2)] The cow likes the lion.[(triple3)] The cow visits the bear.[(triple4)] The lion likes the cow.[(triple5)] The lion visits the mouse.[(triple6)] The mouse likes the lion.[(triple7)]
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The cow visits the bear.
("cow" "visits" "bear" "+")
triple4
The lion likes the cow.
("lion" "likes" "cow" "+")
triple5
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple6
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple7