The bald eagle likes the dog. The bald eagle likes the tiger. The dog chases the bald eagle. The dog likes the bald eagle. The dog likes the lion. The lion chases the dog. The lion is green. The lion likes the tiger. The lion does not see the bald eagle. The tiger chases the lion. The tiger is not nice. The tiger sees the bald eagle. If someone chases the bald eagle then they are blue.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone chases the bald eagle then they are blue.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple3)]
("dog" "chases" "bald eagle" "+")
triple3
The bald eagle does not like the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "dog" "-")
triple1
The dog is blue.
True
2
proof
[(((triple3) -> rule1))]
("dog" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The tiger is blue.
Unknown
rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "blue" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the tiger.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog likes the bald eagle.[(triple4)] The dog likes the lion.[(triple5)] The lion chases the dog.[(triple6)] The lion does not see the bald eagle.[(triple9)] The lion is green.[(triple7)] The lion likes the tiger.[(triple8)] The tiger chases the lion.[(triple10)] The tiger is not nice.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The dog is blue.[(((triple3) -> rule1))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple6
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple9
The lion is green.
("lion" "is" "green" "+")
triple7
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple8
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple10
The tiger is not nice.
("tiger" "is" "nice" "-")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The dog is blue.
("dog" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1