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