The bald eagle chases the bear. The bald eagle is big. The bald eagle is green. The bald eagle is red. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle visits the bear. The bald eagle visits the tiger. The bear chases the tiger. The bear is rough. The bear likes the bald eagle. The tiger chases the bear. The tiger is green. The tiger is red. The tiger likes the bald eagle. The tiger visits the bear. If someone visits the bald eagle and they are kind then the bald eagle chases the bear. Kind people are green. If the bear is red then the bear is rough. If someone is green and they chase the tiger then the tiger likes the bear. If someone chases the tiger and the tiger is kind then they visit the bear. If the bear is rough then the bear visits the bald eagle. If someone visits the bald eagle then they visit the bear. If the bald eagle likes the bear and the bald eagle chases the tiger then the tiger is red.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone visits the bald eagle and they are kind then the bald eagle chases the bear.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "chases" "bear" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If the bear is red then the bear is rough.
((("bear" "is" "red" "+")) -> ("bear" "is" "rough" "+"))
If someone is green and they chase the tiger then the tiger likes the bear.
((("someone" "is" "green" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone chases the tiger and the tiger is kind then they visit the bear.
((("someone" "chases" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("someone" "visits" "bear" "+"))
If the bear is rough then the bear visits the bald eagle.
((("bear" "is" "rough" "+")) -> ("bear" "visits" "bald eagle" "+"))
If someone visits the bald eagle then they visit the bear.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "bear" "+"))
If the bald eagle likes the bear and the bald eagle chases the tiger then the tiger is red.
((("bald eagle" "likes" "bear" "+") ("bald eagle" "chases" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The bald eagle is big.
True
1
proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple15)]
("tiger" "likes" "bald eagle" "-")
triple15
The bear visits the bald eagle.
True
2
proof
[(((triple10) -> rule6))]
("bear" "visits" "bald eagle" "+")
((triple10) -> (rule6 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
False
2
inv-proof
[(((triple10) -> rule6))]
("bear" "visits" "bald eagle" "-")
((triple10) -> (rule6 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear visits the bear.
True
3
proof
[(((((triple10) -> rule6)) -> rule7))]
("bear" "visits" "bear" "+")
((((triple10) -> (rule6 % int2))) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear does not visit the bear.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule7))]
("bear" "visits" "bear" "-")
((((triple10) -> (rule6 % int2))) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The tiger does not like the bear.
Unknown
inv-rconc
[@2: The tiger likes the bear.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("tiger" "likes" "bear" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "green" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle visits the bear.[(triple7)] The bald eagle visits the tiger.[(triple8)] The bear chases the tiger.[(triple9)] The bear is rough.[(triple10)] The bear likes the bald eagle.[(triple11)] The tiger chases the bear.[(triple12)] The tiger is green.[(triple13)] The tiger is red.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear visits the bald eagle.[(((triple10) -> rule6))] @2: The bear visits the bear.[(((((triple10) -> rule6)) -> rule7))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple5
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple6
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple7
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple8
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple9
The bear is rough.
("bear" "is" "rough" "+")
triple10
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple11
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((triple10) -> (rule6 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((((triple10) -> (rule6 % int2))) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2