The bald eagle chases the squirrel. The bald eagle is nice. The bald eagle sees the squirrel. The bear is nice. The bear sees the bald eagle. The cat chases the bald eagle. The cat sees the bald eagle. The squirrel is nice. The squirrel sees the bald eagle. The squirrel sees the bear. If something chases the bear then the bear sees the cat. If something visits the squirrel then the squirrel sees the bald eagle. If something chases the bald eagle and the bald eagle visits the squirrel then the squirrel visits the cat. If the squirrel is nice and the squirrel is rough then the squirrel is kind. If something sees the squirrel then it chases the bear. If something sees the cat and the cat sees the bald eagle then it visits the bear.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something chases the bear then the bear sees the cat.
((("something" "chases" "bear" "+")) -> ("bear" "sees" "cat" "+"))
If something visits the squirrel then the squirrel sees the bald eagle.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something chases the bald eagle and the bald eagle visits the squirrel then the squirrel visits the cat.
((("something" "chases" "bald eagle" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cat" "+"))
If the squirrel is nice and the squirrel is rough then the squirrel is kind.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "kind" "+"))
If something sees the squirrel then it chases the bear.
((("something" "sees" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
If something sees the cat and the cat sees the bald eagle then it visits the bear.
((("something" "sees" "cat" "+") ("cat" "sees" "bald eagle" "+")) -> ("something" "visits" "bear" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple6)]
("cat" "chases" "bald eagle" "+")
triple6
The squirrel does not see the bear.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "bear" "-")
triple10
The bald eagle chases the bear.
True
2
proof
[(((triple3) -> rule5))]
("bald eagle" "chases" "bear" "+")
((triple3) -> (rule5 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle does not chase the bear.
False
2
inv-proof
[(((triple3) -> rule5))]
("bald eagle" "chases" "bear" "-")
((triple3) -> (rule5 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear sees the cat.
True
3
proof
[(((((triple3) -> rule5)) -> rule1))]
("bear" "sees" "cat" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bear does not see the cat.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule1))]
("bear" "sees" "cat" "-")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bear visits the bear.
True
5
proof
[(((((((triple3) -> rule5)) -> rule1) triple7) -> rule6))]
("bear" "visits" "bear" "+")
((((((triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The bear does not visit the bear.
False
5
inv-proof
[(((((((triple3) -> rule5)) -> rule1) triple7) -> rule6))]
("bear" "visits" "bear" "-")
((((((triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The bald eagle does not visit the bear.
Unknown
inv-rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "bear" "-")
The cat chases the bear.
Unknown
rconc
[@1: The cat chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "chases" "bear" "+")
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The squirrel visits the cat.
Unknown
rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "cat" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bear is nice.[(triple4)] The bear sees the bald eagle.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat sees the bald eagle.[(triple7)] The squirrel is nice.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bald eagle chases the bear.[(((triple3) -> rule5))] @2: The bear sees the cat.[(((((triple3) -> rule5)) -> rule1))] @3: The bear visits the bear.[(((((((triple3) -> rule5)) -> rule1) triple7) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((triple3) -> (rule5 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3