The bald eagle does not need the bear. The bear is red. The cat needs the bear. The lion needs the cat. If someone needs the bald eagle then they do not need the bear. If someone needs the bear then they do not chase the bear. If someone is round then they chase the bear.
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
The bear is red.
("bear" "is" "red" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone needs the bald eagle then they do not need the bear.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "bear" "-"))
If someone needs the bear then they do not chase the bear.
((("someone" "needs" "bear" "+")) -> ("someone" "chases" "bear" "-"))
If someone is round then they chase the bear.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bear" "+"))
The bald eagle does not need the bear.
True
1
proof
[(triple1)]
("bald eagle" "needs" "bear" "-")
triple1
The bald eagle needs the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "bear" "+")
triple1
The cat does not chase the bear.
True
2
proof
[(((triple3) -> rule2))]
("cat" "chases" "bear" "-")
((triple3) -> (rule2 % int1))
The cat does not chase the bear.
("cat" "chases" "bear" "-")
int1
The cat chases the bear.
False
2
inv-proof
[(((triple3) -> rule2))]
("cat" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The cat does not chase the bear.
("cat" "chases" "bear" "-")
int1
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "-")
The lion chases the bear.
Unknown
rconc
[@1: The lion chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "bear" "+")
The bald eagle does not see the bear.
Unknown
inv-random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle does not need the bear.[(triple1)] The bear is red.[(triple2)] The cat needs the bear.[(triple3)] The lion needs the cat.[(triple4)] @1: The cat does not chase the bear.[(((triple3) -> rule2))]
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The lion needs the cat.
("lion" "needs" "cat" "+")
triple4
The cat does not chase the bear.
("cat" "chases" "bear" "-")
((triple3) -> (rule2 % int1))
The cat does not chase the bear.
("cat" "chases" "bear" "-")
int1