The bald eagle chases the lion. The dog likes the bald eagle. The lion chases the bald eagle. The tiger is blue. If someone eats the tiger and they eat the lion then the lion likes the tiger.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone eats the tiger and they eat the lion then the lion likes the tiger.
((("someone" "eats" "tiger" "+") ("someone" "eats" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple2)]
("dog" "likes" "bald eagle" "+")
triple2
The dog does not like the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "likes" "bald eagle" "-")
triple2
The lion does not like the tiger.
Unknown
inv-rconc
[@1: The lion likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "tiger" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The dog likes the bald eagle.[(triple2)] The lion chases the bald eagle.[(triple3)] The tiger is blue.[(triple4)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4