The bald eagle sees the bear. The bear is green. The cow likes the lion. The lion does not visit the bear. If something is red and nice then it visits the bear. If something is blue and not rough then it is green. If something visits the cow then the cow sees the bear. If the lion sees the cow and the lion is not blue then the cow does not like the bear. If the lion is nice then the lion visits the bear. If something likes the lion then the lion visits the cow. If something is green and nice then it does not see the bald eagle. If something is blue and not nice then it does not like the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is green.
("bear" "is" "green" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion does not visit the bear.
("lion" "visits" "bear" "-")
If something is red and nice then it visits the bear.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "bear" "+"))
If something is blue and not rough then it is green.
((("something" "is" "blue" "+") ("something" "is" "rough" "~")) -> ("something" "is" "green" "+"))
If something visits the cow then the cow sees the bear.
((("something" "visits" "cow" "+")) -> ("cow" "sees" "bear" "+"))
If the lion sees the cow and the lion is not blue then the cow does not like the bear.
((("lion" "sees" "cow" "+") ("lion" "is" "blue" "~")) -> ("cow" "likes" "bear" "-"))
If the lion is nice then the lion visits the bear.
((("lion" "is" "nice" "+")) -> ("lion" "visits" "bear" "+"))
If something likes the lion then the lion visits the cow.
((("something" "likes" "lion" "+")) -> ("lion" "visits" "cow" "+"))
If something is green and nice then it does not see the bald eagle.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "-"))
If something is blue and not nice then it does not like the bear.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "likes" "bear" "-"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The cow does not like the lion.
False
1
inv-proof
[(triple3)]
("cow" "likes" "lion" "-")
triple3
The lion visits the cow.
True
2
proof
[(((triple3) -> rule6))]
("lion" "visits" "cow" "+")
((triple3) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion does not visit the cow.
False
2
inv-proof
[(((triple3) -> rule6))]
("lion" "visits" "cow" "-")
((triple3) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow sees the bear.
True
3
proof
[(((((triple3) -> rule6)) -> rule3))]
("cow" "sees" "bear" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The cow does not see the bear.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule3))]
("cow" "sees" "bear" "-")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bear" "-")
The bald eagle visits the bear.
Unknown
rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bear" "+")
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear does not visit the cow.
Unknown
inv-random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is green.[(triple2)] The cow likes the lion.[(triple3)] The lion does not visit the bear.[(triple4)] @1: The lion visits the cow.[(((triple3) -> rule6))] @2: The cow sees the bear.[(((((triple3) -> rule6)) -> rule3))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The lion does not visit the bear.
("lion" "visits" "bear" "-")
triple4
The lion visits the cow.
("lion" "visits" "cow" "+")
((triple3) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2