The bald eagle is nice. The bear likes the lion. The cow is blue. The lion likes the bald eagle. If someone visits the lion then they visit the bald eagle. If someone is nice then they like the lion.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If someone visits the lion then they visit the bald eagle.
((("someone" "visits" "lion" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is nice then they like the lion.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "lion" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The lion does not like the bald eagle.
False
1
inv-proof
[(triple4)]
("lion" "likes" "bald eagle" "-")
triple4
The bald eagle likes the lion.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle does not like the lion.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "lion" "-")
((triple1) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion does not visit the bald eagle.
Unknown
inv-rconc
[@1: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "bald eagle" "-")
The cow likes the lion.
Unknown
rconc
[@1: The cow likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "lion" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The lion likes the cow.
Unknown
random
[@0: The lion likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cow" "+")
@0: The bald eagle is nice.[(triple1)] The bear likes the lion.[(triple2)] The cow is blue.[(triple3)] The lion likes the bald eagle.[(triple4)] @1: The bald eagle likes the lion.[(((triple1) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1