The bald eagle is green. The bald eagle is red. The bald eagle visits the bear. The bear eats the lion. The cat is not green. The cat is red. The lion eats the cat. The lion is blue. The lion visits the bald eagle. The lion visits the cat. If someone eats the bald eagle then they like the bear. If someone is rough and green then they like the bear. If someone likes the bald eagle and they are not blue then they like the bear. If someone eats the cat then they visit the bald eagle. If someone visits the cat then they like the lion. If the bald eagle is green and the bald eagle is not red then the bald eagle likes the cat. If the bear eats the bald eagle and the bear visits the lion then the bear likes the cat. If someone likes the lion then they are not rough.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is red.
("cat" "is" "red" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone eats the bald eagle then they like the bear.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If someone is rough and green then they like the bear.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bald eagle and they are not blue then they like the bear.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "blue" "~")) -> ("someone" "likes" "bear" "+"))
If someone eats the cat then they visit the bald eagle.
((("someone" "eats" "cat" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the cat then they like the lion.
((("someone" "visits" "cat" "+")) -> ("someone" "likes" "lion" "+"))
If the bald eagle is green and the bald eagle is not red then the bald eagle likes the cat.
((("bald eagle" "is" "green" "+") ("bald eagle" "is" "red" "~")) -> ("bald eagle" "likes" "cat" "+"))
If the bear eats the bald eagle and the bear visits the lion then the bear likes the cat.
((("bear" "eats" "bald eagle" "+") ("bear" "visits" "lion" "+")) -> ("bear" "likes" "cat" "+"))
If someone likes the lion then they are not rough.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "rough" "-"))
The lion is blue.
True
1
proof
[(triple8)]
("lion" "is" "blue" "+")
triple8
The cat is green.
False
1
inv-proof
[(triple5)]
("cat" "is" "green" "+")
triple5
The lion likes the lion.
True
2
proof
[(((triple10) -> rule5))]
("lion" "likes" "lion" "+")
((triple10) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple10) -> rule5))]
("lion" "likes" "lion" "-")
((triple10) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is not rough.
True
3
proof
[(((((triple10) -> rule5)) -> rule8))]
("lion" "is" "rough" "-")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is rough.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule8))]
("lion" "is" "rough" "+")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The bear likes the cat.
Unknown
rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "likes" "cat" "+")
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the lion.[(triple4)] The cat is not green.[(triple5)] The cat is red.[(triple6)] The lion eats the cat.[(triple7)] The lion is blue.[(triple8)] The lion visits the bald eagle.[(triple9 OR ((triple7) -> rule4))] The lion visits the cat.[(triple10)] @1: The lion likes the lion.[(((triple10) -> rule5))] @2: The lion is not rough.[(((((triple10) -> rule5)) -> rule8))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear eats the lion.
("bear" "eats" "lion" "+")
triple4
The cat is not green.
("cat" "is" "green" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple9
((triple7) -> (rule4 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
triple10
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple10) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is not rough.
("lion" "is" "rough" "-")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2