The bald eagle is nice. The bald eagle needs the lion. The lion is big. If someone sees the lion then the lion sees the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
If someone sees the lion then the lion sees the bald eagle.
((("someone" "sees" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
The lion is big.
True
1
proof
[(triple3)]
("lion" "is" "big" "+")
triple3
The lion is not big.
False
1
inv-proof
[(triple3)]
("lion" "is" "big" "-")
triple3
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the lion.[(triple2)] The lion is big.[(triple3)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3