The bald eagle eats the lion. The bald eagle likes the lion. The bald eagle visits the lion. The bald eagle visits the tiger. The lion likes the tiger. The lion visits the bald eagle. The tiger eats the lion. The tiger is blue. The tiger likes the bald eagle. The tiger likes the lion. If something eats the tiger and the tiger visits the bald eagle then the bald eagle likes the lion. If something likes the tiger then it is red.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If something eats the tiger and the tiger visits the bald eagle then the bald eagle likes the lion.
((("something" "eats" "tiger" "+") ("tiger" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If something likes the tiger then it is red.
((("something" "likes" "tiger" "+")) -> ("something" "is" "red" "+"))
The tiger eats the lion.
True
1
proof
[(triple7)]
("tiger" "eats" "lion" "+")
triple7
The tiger is not blue.
False
1
inv-proof
[(triple8)]
("tiger" "is" "blue" "-")
triple8
The lion is red.
True
2
proof
[(((triple5) -> rule2))]
("lion" "is" "red" "+")
((triple5) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple5) -> rule2))]
("lion" "is" "red" "-")
((triple5) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "red" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "red" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the tiger.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the bald eagle.[(triple6)] The tiger eats the lion.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion is red.[(((triple5) -> rule2))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple5
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple6
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
((triple5) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1