The bald eagle is big. The bald eagle is rough. The bald eagle visits the bear. The bear eats the bald eagle. The tiger eats the bear. The tiger is big. The tiger is rough. If someone eats the tiger and they are nice then they visit the tiger. If the bear eats the tiger and the bear likes the bald eagle then the bald eagle is rough. If someone eats the bear then they like the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone eats the tiger and they are nice then they visit the tiger.
((("someone" "eats" "tiger" "+") ("someone" "is" "nice" "+")) -> ("someone" "visits" "tiger" "+"))
If the bear eats the tiger and the bear likes the bald eagle then the bald eagle is rough.
((("bear" "eats" "tiger" "+") ("bear" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone eats the bear then they like the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "likes" "bear" "+"))
The bear eats the bald eagle.
True
1
proof
[(triple4)]
("bear" "eats" "bald eagle" "+")
triple4
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "bear" "-")
triple3
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bear" "-")
The tiger eats the bald eagle.
Unknown
random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is big.[(triple6)] The tiger is rough.[(triple7)] @1: The tiger likes the bear.[(((triple5) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple5
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((triple5) -> (rule3 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1