The bald eagle eats the tiger. The lion likes the squirrel. The lion visits the tiger. The squirrel likes the lion. The tiger is kind. The tiger likes the lion. The tiger visits the bald eagle. If someone eats the squirrel then the squirrel eats the bald eagle. If the lion eats the bald eagle and the bald eagle likes the squirrel then the bald eagle visits the squirrel. If someone likes the bald eagle then the bald eagle is blue.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone eats the squirrel then the squirrel eats the bald eagle.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If the lion eats the bald eagle and the bald eagle likes the squirrel then the bald eagle visits the squirrel.
((("lion" "eats" "bald eagle" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If someone likes the bald eagle then the bald eagle is blue.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The lion visits the tiger.
True
1
proof
[(triple3)]
("lion" "visits" "tiger" "+")
triple3
The lion does not like the squirrel.
False
1
inv-proof
[(triple2)]
("lion" "likes" "squirrel" "-")
triple2
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@1: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle eats the tiger.[(triple1)] The lion likes the squirrel.[(triple2)] The lion visits the tiger.[(triple3)] The squirrel likes the lion.[(triple4)] The tiger is kind.[(triple5)] The tiger likes the lion.[(triple6)] The tiger visits the bald eagle.[(triple7)]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple2
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple3
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple4
The tiger is kind.
("tiger" "is" "kind" "+")
triple5
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple6
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7