The bald eagle is nice. The dog visits the lion. The lion is round. If something visits the lion then the lion visits the bald eagle. If something visits the lion and the lion eats the bald eagle then the lion is big.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
If something visits the lion then the lion visits the bald eagle.
((("something" "visits" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
If something visits the lion and the lion eats the bald eagle then the lion is big.
((("something" "visits" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("lion" "is" "big" "+"))
The dog visits the lion.
True
1
proof
[(triple2)]
("dog" "visits" "lion" "+")
triple2
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The lion visits the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("lion" "visits" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "visits" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "big" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle is nice.[(triple1)] The dog visits the lion.[(triple2)] The lion is round.[(triple3)] @1: The lion visits the bald eagle.[(((triple2) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1