The lion is cold. The lion visits the squirrel. The rabbit eats the lion. The squirrel eats the lion. The squirrel likes the lion. The squirrel likes the rabbit. The squirrel visits the lion. If the rabbit visits the squirrel then the rabbit visits the lion. If something visits the rabbit and it does not like the lion then the rabbit eats the squirrel. If the rabbit is nice and the rabbit does not like the squirrel then the rabbit visits the squirrel.
The lion is cold.
("lion" "is" "cold" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the rabbit visits the squirrel then the rabbit visits the lion.
((("rabbit" "visits" "squirrel" "+")) -> ("rabbit" "visits" "lion" "+"))
If something visits the rabbit and it does not like the lion then the rabbit eats the squirrel.
((("something" "visits" "rabbit" "+") ("something" "likes" "lion" "~")) -> ("rabbit" "eats" "squirrel" "+"))
If the rabbit is nice and the rabbit does not like the squirrel then the rabbit visits the squirrel.
((("rabbit" "is" "nice" "+") ("rabbit" "likes" "squirrel" "~")) -> ("rabbit" "visits" "squirrel" "+"))
The rabbit eats the lion.
True
1
proof
[(triple3)]
("rabbit" "eats" "lion" "+")
triple3
The rabbit does not eat the lion.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "lion" "-")
triple3
The rabbit does not eat the squirrel.
Unknown
inv-rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "squirrel" "-")
The rabbit likes the squirrel.
Unknown
random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "+")
@0: The lion is cold.[(triple1)] The lion visits the squirrel.[(triple2)] The rabbit eats the lion.[(triple3)] The squirrel eats the lion.[(triple4)] The squirrel likes the lion.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel visits the lion.[(triple7)]
The lion is cold.
("lion" "is" "cold" "+")
triple1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple4
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple5
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple6
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7