The bald eagle visits the bear. The bear sees the tiger. The tiger eats the bear. If someone visits the bald eagle and they eat the bear then they see the tiger. If someone is rough and cold then they visit the bald eagle. If someone eats the tiger then they see the bald eagle. If someone is rough then they do not see the bald eagle. If someone visits the bear then they eat the bear. If the bald eagle is kind and the bald eagle eats the tiger then the bald eagle is big. If someone eats the bald eagle then the bald eagle is red. If the bear does not visit the bald eagle then the bald eagle is not red.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
If someone visits the bald eagle and they eat the bear then they see the tiger.
((("someone" "visits" "bald eagle" "+") ("someone" "eats" "bear" "+")) -> ("someone" "sees" "tiger" "+"))
If someone is rough and cold then they visit the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone eats the tiger then they see the bald eagle.
((("someone" "eats" "tiger" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is rough then they do not see the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone visits the bear then they eat the bear.
((("someone" "visits" "bear" "+")) -> ("someone" "eats" "bear" "+"))
If the bald eagle is kind and the bald eagle eats the tiger then the bald eagle is big.
((("bald eagle" "is" "kind" "+") ("bald eagle" "eats" "tiger" "+")) -> ("bald eagle" "is" "big" "+"))
If someone eats the bald eagle then the bald eagle is red.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If the bear does not visit the bald eagle then the bald eagle is not red.
((("bear" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "red" "-"))
The tiger eats the bear.
True
1
proof
[(triple3)]
("tiger" "eats" "bear" "+")
triple3
The tiger does not eat the bear.
False
1
inv-proof
[(triple3)]
("tiger" "eats" "bear" "-")
triple3
The bald eagle eats the bear.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "eats" "bear" "+")
((triple1) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle does not eat the bear.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "eats" "bear" "-")
((triple1) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The tiger sees the tiger.
Unknown
rconc
[@2: The tiger sees the tiger.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "sees" "tiger" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear sees the tiger.[(triple2)] The tiger eats the bear.[(triple3)] @1: The bald eagle eats the bear.[(((triple1) -> rule5))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple1) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1