The bald eagle is kind. The bear is kind. The bear sees the tiger. The lion is kind. The lion likes the bald eagle. The lion likes the bear. The lion sees the bald eagle. The lion sees the bear. The tiger eats the bald eagle. The tiger eats the lion. The tiger likes the bald eagle. The tiger sees the bald eagle. If the bear likes the tiger then the bear is rough. If the bald eagle likes the lion then the bald eagle likes the bear.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the bear likes the tiger then the bear is rough.
((("bear" "likes" "tiger" "+")) -> ("bear" "is" "rough" "+"))
If the bald eagle likes the lion then the bald eagle likes the bear.
((("bald eagle" "likes" "lion" "+")) -> ("bald eagle" "likes" "bear" "+"))
The lion is kind.
True
1
proof
[(triple4)]
("lion" "is" "kind" "+")
triple4
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "bald eagle" "-")
triple11
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bald eagle is kind.[(triple1)] The bear is kind.[(triple2)] The bear sees the tiger.[(triple3)] The lion is kind.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the bear.[(triple6)] The lion sees the bald eagle.[(triple7)] The lion sees the bear.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger eats the lion.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The lion sees the bear.
("lion" "sees" "bear" "+")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12