The bald eagle visits the bear. The bear does not visit the lion. The lion chases the bald eagle. The lion is round. The lion visits the tiger. The tiger is round. The tiger likes the bear. If the lion is blue then the lion is kind. If someone visits the tiger then they are blue. If someone is kind and they do not like the tiger then they do not visit the bald eagle.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear does not visit the lion.
("bear" "visits" "lion" "-")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If the lion is blue then the lion is kind.
((("lion" "is" "blue" "+")) -> ("lion" "is" "kind" "+"))
If someone visits the tiger then they are blue.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and they do not like the tiger then they do not visit the bald eagle.
((("someone" "is" "kind" "+") ("someone" "likes" "tiger" "~")) -> ("someone" "visits" "bald eagle" "-"))
The bald eagle visits the bear.
True
1
proof
[(triple1)]
("bald eagle" "visits" "bear" "+")
triple1
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "chases" "bald eagle" "-")
triple3
The lion is blue.
True
2
proof
[(((triple5) -> rule2))]
("lion" "is" "blue" "+")
((triple5) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
2
inv-proof
[(((triple5) -> rule2))]
("lion" "is" "blue" "-")
((triple5) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is kind.
True
3
proof
[(((((triple5) -> rule2)) -> rule1))]
("lion" "is" "kind" "+")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is not kind.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule1))]
("lion" "is" "kind" "-")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The tiger is blue.
Unknown
rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "blue" "+")
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "blue" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not like the bald eagle.
Unknown
inv-random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear does not visit the lion.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion is round.[(triple4)] The lion visits the tiger.[(triple5)] The tiger is round.[(triple6)] The tiger likes the bear.[(triple7)] @1: The lion is blue.[(((triple5) -> rule2))] @2: The lion is kind.[(((((triple5) -> rule2)) -> rule1))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear does not visit the lion.
("bear" "visits" "lion" "-")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple5
The tiger is round.
("tiger" "is" "round" "+")
triple6
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
((triple5) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2