The bald eagle is not green. The bald eagle is rough. The bald eagle sees the cat. The bald eagle does not visit the dog. The cat is green. The cat is rough. The cat is young. The dog visits the bald eagle. The dog does not visit the cat. The lion visits the bald eagle. If something sees the cat and it sees the bald eagle then the cat eats the lion. If something is young and red then it eats the lion. If the bald eagle does not eat the cat and the bald eagle is not red then the cat visits the lion. If something visits the lion then the lion is green. If something visits the lion and it sees the lion then the lion eats the dog. If something is green and it does not visit the bald eagle then it visits the lion. If something is green then it visits the lion. If the cat does not eat the dog and the dog does not eat the lion then the dog visits the lion.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog does not visit the cat.
("dog" "visits" "cat" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something sees the cat and it sees the bald eagle then the cat eats the lion.
((("something" "sees" "cat" "+") ("something" "sees" "bald eagle" "+")) -> ("cat" "eats" "lion" "+"))
If something is young and red then it eats the lion.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "eats" "lion" "+"))
If the bald eagle does not eat the cat and the bald eagle is not red then the cat visits the lion.
((("bald eagle" "eats" "cat" "~") ("bald eagle" "is" "red" "~")) -> ("cat" "visits" "lion" "+"))
If something visits the lion then the lion is green.
((("something" "visits" "lion" "+")) -> ("lion" "is" "green" "+"))
If something visits the lion and it sees the lion then the lion eats the dog.
((("something" "visits" "lion" "+") ("something" "sees" "lion" "+")) -> ("lion" "eats" "dog" "+"))
If something is green and it does not visit the bald eagle then it visits the lion.
((("something" "is" "green" "+") ("something" "visits" "bald eagle" "~")) -> ("something" "visits" "lion" "+"))
If something is green then it visits the lion.
((("something" "is" "green" "+")) -> ("something" "visits" "lion" "+"))
If the cat does not eat the dog and the dog does not eat the lion then the dog visits the lion.
((("cat" "eats" "dog" "~") ("dog" "eats" "lion" "~")) -> ("dog" "visits" "lion" "+"))
The bald eagle sees the cat.
True
1
proof
[(triple3)]
("bald eagle" "sees" "cat" "+")
triple3
The bald eagle is green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The cat visits the lion.
True
2
proof
[(((triple5) -> rule7))]
("cat" "visits" "lion" "+")
((triple5) -> (rule7 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat does not visit the lion.
False
2
inv-proof
[(((triple5) -> rule7))]
("cat" "visits" "lion" "-")
((triple5) -> (rule7 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The lion is green.
True
3
proof
[(((((triple5) -> rule7)) -> rule4))]
("lion" "is" "green" "+")
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
int2
The lion is not green.
False
3
inv-proof
[(((((triple5) -> rule7)) -> rule4))]
("lion" "is" "green" "-")
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
int2
The lion visits the lion.
True
4
proof
[(((((((triple5) -> rule7)) -> rule4)) -> rule7))]
("lion" "visits" "lion" "+")
((((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The cat visits the lion.
("cat" "visits" "lion" "+")
int3
The lion does not visit the lion.
False
4
inv-proof
[(((((((triple5) -> rule7)) -> rule4)) -> rule7))]
("lion" "visits" "lion" "-")
((((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The cat visits the lion.
("cat" "visits" "lion" "+")
int3
The cat does not eat the lion.
Unknown
inv-rconc
[@1: The cat eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "lion" "-")
The dog visits the lion.
Unknown
rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "lion" "+")
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The lion eats the dog.
Unknown
rconc
[@1: The lion eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "eats" "dog" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The lion does not eat the bald eagle.
Unknown
inv-random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle does not visit the dog.[(triple4)] The bald eagle is not green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat is green.[(triple5)] The cat is rough.[(triple6)] The cat is young.[(triple7)] The dog does not visit the cat.[(triple9)] The dog visits the bald eagle.[(triple8)] The lion visits the bald eagle.[(triple10)] @1: The cat visits the lion.[(((triple5) -> rule7))] @2: The lion is green.[(((((triple5) -> rule7)) -> rule4))] @3: The lion visits the lion.[(((((((triple5) -> rule7)) -> rule4)) -> rule7))]
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple4
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The dog does not visit the cat.
("dog" "visits" "cat" "-")
triple9
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The cat visits the lion.
("cat" "visits" "lion" "+")
((triple5) -> (rule7 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
((((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The cat visits the lion.
("cat" "visits" "lion" "+")
int3