The bald eagle is green. The lion eats the bald eagle. The rabbit is big. If someone eats the lion and they eat the rabbit then the rabbit chases the lion. If someone chases the lion then they visit the lion.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If someone eats the lion and they eat the rabbit then the rabbit chases the lion.
((("someone" "eats" "lion" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "chases" "lion" "+"))
If someone chases the lion then they visit the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "visits" "lion" "+"))
The lion eats the bald eagle.
True
1
proof
[(triple2)]
("lion" "eats" "bald eagle" "+")
triple2
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("lion" "eats" "bald eagle" "-")
triple2
The rabbit does not visit the lion.
Unknown
inv-rconc
[@2: The rabbit visits the lion.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "visits" "lion" "-")
The lion visits the rabbit.
Unknown
random
[@0: The lion visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "rabbit" "+")
@0: The bald eagle is green.[(triple1)] The lion eats the bald eagle.[(triple2)] The rabbit is big.[(triple3)]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3