The bear does not chase the mouse. The bear chases the tiger. The bear is kind. The bear is red. The bear sees the mouse. The bear sees the tiger. The bear visits the mouse. The cow chases the tiger. The cow is kind. The cow is young. The cow sees the mouse. The mouse is not round. The mouse sees the cow. The mouse visits the cow. The tiger is not red. If someone chases the cow and the cow does not chase the tiger then the tiger sees the cow. If someone chases the bear and the bear sees the tiger then the bear is young. If someone visits the bear and they do not see the bear then the bear sees the cow.
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The tiger is not red.
("tiger" "is" "red" "-")
If someone chases the cow and the cow does not chase the tiger then the tiger sees the cow.
((("someone" "chases" "cow" "+") ("cow" "chases" "tiger" "~")) -> ("tiger" "sees" "cow" "+"))
If someone chases the bear and the bear sees the tiger then the bear is young.
((("someone" "chases" "bear" "+") ("bear" "sees" "tiger" "+")) -> ("bear" "is" "young" "+"))
If someone visits the bear and they do not see the bear then the bear sees the cow.
((("someone" "visits" "bear" "+") ("someone" "sees" "bear" "~")) -> ("bear" "sees" "cow" "+"))
The bear sees the tiger.
True
1
proof
[(triple6)]
("bear" "sees" "tiger" "+")
triple6
The bear is not kind.
False
1
inv-proof
[(triple3)]
("bear" "is" "kind" "-")
triple3
The tiger does not see the cow.
Unknown
inv-rconc
[@1: The tiger sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "cow" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bear chases the tiger.[(triple2)] The bear does not chase the mouse.[(triple1)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear sees the mouse.[(triple5)] The bear sees the tiger.[(triple6)] The bear visits the mouse.[(triple7)] The cow chases the tiger.[(triple8)] The cow is kind.[(triple9)] The cow is young.[(triple10)] The cow sees the mouse.[(triple11)] The mouse is not round.[(triple12)] The mouse sees the cow.[(triple13)] The mouse visits the cow.[(triple14)] The tiger is not red.[(triple15)]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple7
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple11
The mouse is not round.
("mouse" "is" "round" "-")
triple12
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple13
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple14
The tiger is not red.
("tiger" "is" "red" "-")
triple15