The bear chases the mouse. The bear is green. The bear is kind. The bear likes the lion. The bear sees the mouse. The lion chases the mouse. The lion does not like the bear. The lion likes the mouse. The lion sees the mouse. The mouse chases the bear. The mouse chases the lion. The mouse is cold. The mouse likes the bear. The mouse likes the lion. The mouse does not see the bear. If something is rough then it likes the bear.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
If something is rough then it likes the bear.
((("something" "is" "rough" "+")) -> ("something" "likes" "bear" "+"))
The bear likes the lion.
True
1
proof
[(triple4)]
("bear" "likes" "lion" "+")
triple4
The mouse does not chase the lion.
False
1
inv-proof
[(triple11)]
("mouse" "chases" "lion" "-")
triple11
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear chases the lion.
Unknown
random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "+")
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the lion.[(triple4)] The bear sees the mouse.[(triple5)] The lion chases the mouse.[(triple6)] The lion does not like the bear.[(triple7)] The lion likes the mouse.[(triple8)] The lion sees the mouse.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the lion.[(triple11)] The mouse does not see the bear.[(triple15)] The mouse is cold.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the lion.[(triple14)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple6
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple7
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple8
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple9
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple10
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple11
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14