The bald eagle chases the lion. The bald eagle is blue. The bald eagle is young. The bald eagle sees the lion. The bald eagle visits the lion. The cow chases the lion. The cow is blue. The cow is red. The lion chases the cow. The tiger visits the cow. If the lion chases the bald eagle and the lion sees the cow then the cow is red. If something is red and young then it sees the cow. If the bald eagle visits the tiger and the bald eagle is blue then the bald eagle chases the cow. If something chases the tiger then it visits the lion. If something sees the cow then the cow chases the tiger. If something is rough and it sees the bald eagle then the bald eagle is blue. If something visits the bald eagle and the bald eagle is blue then it is big. If the bald eagle is blue and the bald eagle chases the lion then the lion sees the cow.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the lion chases the bald eagle and the lion sees the cow then the cow is red.
((("lion" "chases" "bald eagle" "+") ("lion" "sees" "cow" "+")) -> ("cow" "is" "red" "+"))
If something is red and young then it sees the cow.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "sees" "cow" "+"))
If the bald eagle visits the tiger and the bald eagle is blue then the bald eagle chases the cow.
((("bald eagle" "visits" "tiger" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "chases" "cow" "+"))
If something chases the tiger then it visits the lion.
((("something" "chases" "tiger" "+")) -> ("something" "visits" "lion" "+"))
If something sees the cow then the cow chases the tiger.
((("something" "sees" "cow" "+")) -> ("cow" "chases" "tiger" "+"))
If something is rough and it sees the bald eagle then the bald eagle is blue.
((("something" "is" "rough" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something visits the bald eagle and the bald eagle is blue then it is big.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If the bald eagle is blue and the bald eagle chases the lion then the lion sees the cow.
((("bald eagle" "is" "blue" "+") ("bald eagle" "chases" "lion" "+")) -> ("lion" "sees" "cow" "+"))
The tiger visits the cow.
True
1
proof
[(triple10)]
("tiger" "visits" "cow" "+")
triple10
The lion does not chase the cow.
False
1
inv-proof
[(triple9)]
("lion" "chases" "cow" "-")
triple9
The lion sees the cow.
True
3
proof
[(((triple2 triple1) -> rule8))]
("lion" "sees" "cow" "+")
((triple2 triple1) -> (rule8 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion does not see the cow.
False
3
inv-proof
[(((triple2 triple1) -> rule8))]
("lion" "sees" "cow" "-")
((triple2 triple1) -> (rule8 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The cow chases the tiger.
True
4
proof
[(((((triple2 triple1) -> rule8)) -> rule5))]
("cow" "chases" "tiger" "+")
((((triple2 triple1) -> (rule8 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The cow does not chase the tiger.
False
4
inv-proof
[(((((triple2 triple1) -> rule8)) -> rule5))]
("cow" "chases" "tiger" "-")
((((triple2 triple1) -> (rule8 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The cow visits the lion.
True
5
proof
[(((((((triple2 triple1) -> rule8)) -> rule5)) -> rule4))]
("cow" "visits" "lion" "+")
((((((triple2 triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The cow does not visit the lion.
False
5
inv-proof
[(((((((triple2 triple1) -> rule8)) -> rule5)) -> rule4))]
("cow" "visits" "lion" "-")
((((((triple2 triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "big" "-")
The tiger visits the lion.
Unknown
rconc
[@1: The tiger visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "visits" "lion" "+")
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The bald eagle does not visit the cow.
Unknown
inv-random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle visits the lion.[(triple5)] The cow chases the lion.[(triple6)] The cow is blue.[(triple7)] The cow is red.[(triple8)] The lion chases the cow.[(triple9)] The tiger visits the cow.[(triple10)] @1: The lion sees the cow.[(((triple2 triple1) -> rule8))] @2: The cow chases the tiger.[(((((triple2 triple1) -> rule8)) -> rule5))] @3: The cow visits the lion.[(((((((triple2 triple1) -> rule8)) -> rule5)) -> rule4))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The cow chases the lion.
("cow" "chases" "lion" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple10
The lion sees the cow.
("lion" "sees" "cow" "+")
((triple2 triple1) -> (rule8 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((((triple2 triple1) -> (rule8 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The cow visits the lion.
("cow" "visits" "lion" "+")
((((((triple2 triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3