The bear likes the rabbit. The bear visits the cow. The bear visits the mouse. The bear visits the rabbit. The cow is green. The cow is nice. The cow is young. The cow needs the rabbit. The mouse is blue. The mouse likes the cow. The mouse visits the bear. The mouse visits the cow. The rabbit is green. The rabbit likes the cow. The rabbit needs the mouse. The rabbit visits the bear. If something needs the rabbit then it visits the bear.
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something needs the rabbit then it visits the bear.
((("something" "needs" "rabbit" "+")) -> ("something" "visits" "bear" "+"))
The bear likes the rabbit.
True
1
proof
[(triple1)]
("bear" "likes" "rabbit" "+")
triple1
The cow does not need the rabbit.
False
1
inv-proof
[(triple8)]
("cow" "needs" "rabbit" "-")
triple8
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bear" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bear likes the rabbit.[(triple1)] The bear visits the cow.[(triple2)] The bear visits the mouse.[(triple3)] The bear visits the rabbit.[(triple4)] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow is young.[(triple7)] The cow needs the rabbit.[(triple8)] The mouse is blue.[(triple9)] The mouse likes the cow.[(triple10)] The mouse visits the bear.[(triple11)] The mouse visits the cow.[(triple12)] The rabbit is green.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The cow visits the bear.[(((triple8) -> rule1))]
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple1
The bear visits the cow.
("bear" "visits" "cow" "+")
triple2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple10
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple11
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple16
The cow visits the bear.
("cow" "visits" "bear" "+")
((triple8) -> (rule1 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1