The bald eagle does not eat the tiger. The bald eagle is red. The bald eagle sees the bear. The bald eagle visits the bear. The bear eats the bald eagle. The bear is round. The bear sees the tiger. The bear visits the tiger. The tiger is not round. The tiger visits the bald eagle. If the tiger sees the bald eagle then the tiger is green. If something visits the bear and the bear is round then the bear is red. If something sees the bald eagle then the bald eagle does not visit the bear. If something visits the bald eagle and it sees the tiger then it is red. If something sees the bald eagle and it is not red then it eats the bald eagle. If the bear sees the tiger and the bear does not eat the bald eagle then the tiger eats the bear.
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If the tiger sees the bald eagle then the tiger is green.
((("tiger" "sees" "bald eagle" "+")) -> ("tiger" "is" "green" "+"))
If something visits the bear and the bear is round then the bear is red.
((("something" "visits" "bear" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "red" "+"))
If something sees the bald eagle then the bald eagle does not visit the bear.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "-"))
If something visits the bald eagle and it sees the tiger then it is red.
((("something" "visits" "bald eagle" "+") ("something" "sees" "tiger" "+")) -> ("something" "is" "red" "+"))
If something sees the bald eagle and it is not red then it eats the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "is" "red" "~")) -> ("something" "eats" "bald eagle" "+"))
If the bear sees the tiger and the bear does not eat the bald eagle then the tiger eats the bear.
((("bear" "sees" "tiger" "+") ("bear" "eats" "bald eagle" "~")) -> ("tiger" "eats" "bear" "+"))
The bear sees the tiger.
True
1
proof
[(triple7)]
("bear" "sees" "tiger" "+")
triple7
The bear does not visit the tiger.
False
1
inv-proof
[(triple8)]
("bear" "visits" "tiger" "-")
triple8
The bear is red.
True
3
proof
[(((triple4 triple6) -> rule2))]
("bear" "is" "red" "+")
((triple4 triple6) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("bear" "is" "red" "-")
((triple4 triple6) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "green" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "red" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The tiger visits the bear.
Unknown
random
[@0: The tiger visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bear" "+")
@0: The bald eagle does not eat the tiger.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is round.[(triple6)] The bear sees the tiger.[(triple7)] The bear visits the tiger.[(triple8)] The tiger is not round.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bear is red.[(((triple4 triple6) -> rule2))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple7
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple8
The tiger is not round.
("tiger" "is" "round" "-")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bear is red.
("bear" "is" "red" "+")
((triple4 triple6) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1