The bald eagle is cold. The bald eagle is not nice. The bald eagle is not red. The bald eagle does not like the lion. The bald eagle does not like the tiger. The lion eats the tiger. The lion is cold. The lion likes the bald eagle. The lion likes the tiger. The tiger does not chase the bald eagle. The tiger chases the lion. The tiger is kind. The tiger is rough. The tiger likes the bald eagle. The tiger likes the lion. If something chases the bald eagle and the bald eagle is kind then the bald eagle likes the tiger.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If something chases the bald eagle and the bald eagle is kind then the bald eagle likes the tiger.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "likes" "tiger" "+"))
The tiger likes the lion.
True
1
proof
[(triple15)]
("tiger" "likes" "lion" "+")
triple15
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple14)]
("tiger" "likes" "bald eagle" "-")
triple14
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bald eagle does not like the lion.[(triple4)] The bald eagle does not like the tiger.[(triple5)] The bald eagle is cold.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is not red.[(triple3)] The lion eats the tiger.[(triple6)] The lion is cold.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion likes the tiger.[(triple9)] The tiger chases the lion.[(triple11)] The tiger does not chase the bald eagle.[(triple10)] The tiger is kind.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the lion.[(triple15)]
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
triple4
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
triple5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple9
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple11
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15