The bald eagle is round. The lion likes the bald eagle. The mouse needs the lion. If something needs the mouse and it is big then the mouse likes the lion. All nice things are round.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If something needs the mouse and it is big then the mouse likes the lion.
((("something" "needs" "mouse" "+") ("something" "is" "big" "+")) -> ("mouse" "likes" "lion" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
The mouse needs the lion.
True
1
proof
[(triple3)]
("mouse" "needs" "lion" "+")
triple3
The mouse does not need the lion.
False
1
inv-proof
[(triple3)]
("mouse" "needs" "lion" "-")
triple3
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "round" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The lion likes the bald eagle.[(triple2)] The mouse needs the lion.[(triple3)]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple2
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple3