The bald eagle is round. The bear sees the lion. The lion is kind. If something is round and it sees the bald eagle then it is red.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
If something is round and it sees the bald eagle then it is red.
((("something" "is" "round" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "is" "red" "+"))
The lion is kind.
True
1
proof
[(triple3)]
("lion" "is" "kind" "+")
triple3
The lion is not kind.
False
1
inv-proof
[(triple3)]
("lion" "is" "kind" "-")
triple3
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "red" "-")
The bald eagle sees the lion.
Unknown
random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "+")
@0: The bald eagle is round.[(triple1)] The bear sees the lion.[(triple2)] The lion is kind.[(triple3)]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bear sees the lion.
("bear" "sees" "lion" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3