The bald eagle does not eat the cat. The bald eagle is not kind. The bald eagle likes the cat. The bald eagle likes the lion. The cat eats the lion. The cat is kind. The cat is red. The cat likes the lion. The cat visits the lion. The lion eats the cat. The lion is not kind. The lion is red. The lion is round. The lion likes the bald eagle. The lion likes the cat. The lion visits the cat. If someone visits the bald eagle and the bald eagle likes the lion then the lion is red. If the cat is red and the cat does not eat the lion then the lion is red. If someone visits the bald eagle then the bald eagle eats the lion.
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone visits the bald eagle and the bald eagle likes the lion then the lion is red.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("lion" "is" "red" "+"))
If the cat is red and the cat does not eat the lion then the lion is red.
((("cat" "is" "red" "+") ("cat" "eats" "lion" "~")) -> ("lion" "is" "red" "+"))
If someone visits the bald eagle then the bald eagle eats the lion.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
The lion visits the cat.
True
1
proof
[(triple16)]
("lion" "visits" "cat" "+")
triple16
The lion does not like the bald eagle.
False
1
inv-proof
[(triple14)]
("lion" "likes" "bald eagle" "-")
triple14
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The cat eats the bald eagle.
Unknown
random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "+")
@0: The bald eagle does not eat the cat.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the lion.[(triple4)] The cat eats the lion.[(triple5)] The cat is kind.[(triple6)] The cat is red.[(triple7)] The cat likes the lion.[(triple8)] The cat visits the lion.[(triple9)] The lion eats the cat.[(triple10)] The lion is not kind.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the cat.[(triple15)] The lion visits the cat.[(triple16)]
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The cat eats the lion.
("cat" "eats" "lion" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat likes the lion.
("cat" "likes" "lion" "+")
triple8
The cat visits the lion.
("cat" "visits" "lion" "+")
triple9
The lion eats the cat.
("lion" "eats" "cat" "+")
triple10
The lion is not kind.
("lion" "is" "kind" "-")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
The lion likes the cat.
("lion" "likes" "cat" "+")
triple15
The lion visits the cat.
("lion" "visits" "cat" "+")
triple16