The bald eagle visits the bear. The bear does not need the bald eagle. The bear does not visit the bald eagle. The cat is young. The cat does not need the bear. The cat needs the squirrel. The squirrel needs the bear. If someone chases the cat then the cat chases the bald eagle. If someone is young and they need the cat then the cat does not chase the bald eagle. If someone chases the cat and they are young then the cat chases the squirrel. If someone chases the bald eagle and they visit the squirrel then the bald eagle needs the squirrel. If someone needs the bear then the bear needs the cat. If someone needs the cat then they chase the bear.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
The cat is young.
("cat" "is" "young" "+")
The cat does not need the bear.
("cat" "needs" "bear" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone chases the cat then the cat chases the bald eagle.
((("someone" "chases" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone is young and they need the cat then the cat does not chase the bald eagle.
((("someone" "is" "young" "+") ("someone" "needs" "cat" "+")) -> ("cat" "chases" "bald eagle" "-"))
If someone chases the cat and they are young then the cat chases the squirrel.
((("someone" "chases" "cat" "+") ("someone" "is" "young" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone chases the bald eagle and they visit the squirrel then the bald eagle needs the squirrel.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "squirrel" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If someone needs the bear then the bear needs the cat.
((("someone" "needs" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If someone needs the cat then they chase the bear.
((("someone" "needs" "cat" "+")) -> ("someone" "chases" "bear" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple1)]
("bald eagle" "visits" "bear" "+")
triple1
The cat does not need the squirrel.
False
1
inv-proof
[(triple6)]
("cat" "needs" "squirrel" "-")
triple6
The bear needs the cat.
True
2
proof
[(((triple7) -> rule5))]
("bear" "needs" "cat" "+")
((triple7) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear does not need the cat.
False
2
inv-proof
[(((triple7) -> rule5))]
("bear" "needs" "cat" "-")
((triple7) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the bear.
True
3
proof
[(((((triple7) -> rule5)) -> rule6))]
("bear" "chases" "bear" "+")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear does not chase the bear.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule6))]
("bear" "chases" "bear" "-")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The squirrel does not chase the bear.
Unknown
inv-rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The cat chases the squirrel.
Unknown
rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "squirrel" "+")
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The squirrel visits the bear.
Unknown
random
[@0: The squirrel visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bear" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear does not need the bald eagle.[(triple2)] The bear does not visit the bald eagle.[(triple3)] The cat does not need the bear.[(triple5)] The cat is young.[(triple4)] The cat needs the squirrel.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The bear needs the cat.[(((triple7) -> rule5))] @2: The bear chases the bear.[(((((triple7) -> rule5)) -> rule6))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
triple2
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple3
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple5
The cat is young.
("cat" "is" "young" "+")
triple4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple7
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple7) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2