The bald eagle eats the lion. The bald eagle sees the bear. The bear eats the tiger. The bear is nice. The bear is rough. The bear likes the tiger. The lion is round. The lion likes the bear. The lion sees the bald eagle. The tiger eats the bald eagle. If someone is nice and they eat the bear then the bear eats the lion. If someone likes the bald eagle then the bald eagle is rough. If someone likes the lion then the lion likes the tiger. If someone sees the bear then they are nice. If someone is rough then they see the bald eagle. If someone likes the lion then the lion sees the bald eagle. If someone sees the tiger and the tiger is kind then they see the bald eagle. If someone sees the lion and the lion likes the tiger then the tiger likes the lion.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If someone is nice and they eat the bear then the bear eats the lion.
((("someone" "is" "nice" "+") ("someone" "eats" "bear" "+")) -> ("bear" "eats" "lion" "+"))
If someone likes the bald eagle then the bald eagle is rough.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone likes the lion then the lion likes the tiger.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If someone sees the bear then they are nice.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they see the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone likes the lion then the lion sees the bald eagle.
((("someone" "likes" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone sees the tiger and the tiger is kind then they see the bald eagle.
((("someone" "sees" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the lion and the lion likes the tiger then the tiger likes the lion.
((("someone" "sees" "lion" "+") ("lion" "likes" "tiger" "+")) -> ("tiger" "likes" "lion" "+"))
The lion is round.
True
1
proof
[(triple7)]
("lion" "is" "round" "+")
triple7
The lion does not see the bald eagle.
False
1
inv-proof
[(triple9)]
("lion" "sees" "bald eagle" "-")
triple9
The bear sees the bald eagle.
True
2
proof
[(((triple5) -> rule5))]
("bear" "sees" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear does not see the bald eagle.
False
2
inv-proof
[(((triple5) -> rule5))]
("bear" "sees" "bald eagle" "-")
((triple5) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear does not eat the lion.
Unknown
inv-rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "lion" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "nice" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion sees the tiger.
Unknown
random
[@0: The lion sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "tiger" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear eats the tiger.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear likes the tiger.[(triple6)] The lion is round.[(triple7)] The lion likes the bear.[(triple8)] The lion sees the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] @1: The bald eagle is nice.[(((triple2) -> rule4))] The bear sees the bald eagle.[(((triple5) -> rule5))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1