The bald eagle chases the lion. The bald eagle is green. The bald eagle visits the lion. The lion is big. The lion is round. The lion visits the tiger. The tiger sees the lion. If the lion visits the bald eagle and the lion is round then the bald eagle chases the tiger.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If the lion visits the bald eagle and the lion is round then the bald eagle chases the tiger.
((("lion" "visits" "bald eagle" "+") ("lion" "is" "round" "+")) -> ("bald eagle" "chases" "tiger" "+"))
The lion is round.
True
1
proof
[(triple5)]
("lion" "is" "round" "+")
triple5
The lion is not round.
False
1
inv-proof
[(triple5)]
("lion" "is" "round" "-")
triple5
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the lion.[(triple3)] The lion is big.[(triple4)] The lion is round.[(triple5)] The lion visits the tiger.[(triple6)] The tiger sees the lion.[(triple7)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple6
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple7