The bear chases the mouse. The bear is red. The bear is young. The bear visits the rabbit. The lion chases the bear. The lion chases the mouse. The lion needs the rabbit. The lion visits the bear. The lion visits the mouse. The lion visits the rabbit. The mouse does not chase the rabbit. The mouse is young. The mouse needs the lion. The mouse does not visit the lion. The rabbit does not chase the lion. The rabbit is round. If someone needs the mouse and they chase the lion then they are red. If someone is round then they need the bear. If the mouse is green then the mouse needs the bear. If the lion needs the rabbit then the lion chases the bear. If someone visits the mouse and they are red then they do not visit the rabbit. If the rabbit is round and the rabbit does not need the bear then the bear is red.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse does not visit the lion.
("mouse" "visits" "lion" "-")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone needs the mouse and they chase the lion then they are red.
((("someone" "needs" "mouse" "+") ("someone" "chases" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they need the bear.
((("someone" "is" "round" "+")) -> ("someone" "needs" "bear" "+"))
If the mouse is green then the mouse needs the bear.
((("mouse" "is" "green" "+")) -> ("mouse" "needs" "bear" "+"))
If the lion needs the rabbit then the lion chases the bear.
((("lion" "needs" "rabbit" "+")) -> ("lion" "chases" "bear" "+"))
If someone visits the mouse and they are red then they do not visit the rabbit.
((("someone" "visits" "mouse" "+") ("someone" "is" "red" "+")) -> ("someone" "visits" "rabbit" "-"))
If the rabbit is round and the rabbit does not need the bear then the bear is red.
((("rabbit" "is" "round" "+") ("rabbit" "needs" "bear" "~")) -> ("bear" "is" "red" "+"))
The lion chases the mouse.
True
1
proof
[(triple6)]
("lion" "chases" "mouse" "+")
triple6
The mouse chases the rabbit.
False
1
inv-proof
[(triple11)]
("mouse" "chases" "rabbit" "+")
triple11
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "red" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear visits the rabbit.[(triple4)] The lion chases the bear.[(triple5 OR ((triple7) -> rule4))] The lion chases the mouse.[(triple6)] The lion needs the rabbit.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the mouse.[(triple9)] The lion visits the rabbit.[(triple10)] The mouse does not chase the rabbit.[(triple11)] The mouse does not visit the lion.[(triple14)] The mouse is young.[(triple12)] The mouse needs the lion.[(triple13)] The rabbit does not chase the lion.[(triple15)] The rabbit is round.[(triple16)] @1: The rabbit needs the bear.[(((triple16) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
((triple7) -> (rule4 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
The lion visits the bear.
("lion" "visits" "bear" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
triple11
The mouse does not visit the lion.
("mouse" "visits" "lion" "-")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple12
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple13
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
triple16
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple16) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1