The bear chases the lion. The bear is cold. The bear does not visit the rabbit. The lion does not eat the rabbit. The lion is nice. The lion visits the squirrel. The rabbit chases the bear. The rabbit chases the lion. The rabbit eats the squirrel. The rabbit is blue. The rabbit is green. The rabbit visits the lion. The rabbit visits the squirrel. The squirrel chases the bear. The squirrel is green. If something eats the rabbit then the rabbit visits the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something eats the rabbit then the rabbit visits the bear.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "visits" "bear" "+"))
The rabbit visits the lion.
True
1
proof
[(triple12)]
("rabbit" "visits" "lion" "+")
triple12
The rabbit is not blue.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "blue" "-")
triple10
The rabbit does not visit the bear.
Unknown
inv-rconc
[@1: The rabbit visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "bear" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
@0: The bear chases the lion.[(triple1)] The bear does not visit the rabbit.[(triple3)] The bear is cold.[(triple2)] The lion does not eat the rabbit.[(triple4)] The lion is nice.[(triple5)] The lion visits the squirrel.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit visits the lion.[(triple12)] The rabbit visits the squirrel.[(triple13)] The squirrel chases the bear.[(triple14)] The squirrel is green.[(triple15)]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple2
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple13
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple14
The squirrel is green.
("squirrel" "is" "green" "+")
triple15