The bald eagle chases the squirrel. The bald eagle likes the bear. The bear is red. The bear sees the squirrel. The squirrel is rough. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If something chases the bear and the bear sees the bald eagle then it is red. If something sees the bald eagle and the bald eagle chases the bear then it likes the bald eagle. If something chases the squirrel and it is red then the squirrel sees the bald eagle. If something likes the bald eagle then it likes the bear. If something sees the bald eagle and it likes the bear then the bald eagle sees the bear. If something sees the bear then it chases the bald eagle. If something is rough then it is red. If something is rough then it sees the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something chases the bear and the bear sees the bald eagle then it is red.
((("something" "chases" "bear" "+") ("bear" "sees" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something sees the bald eagle and the bald eagle chases the bear then it likes the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the squirrel and it is red then the squirrel sees the bald eagle.
((("something" "chases" "squirrel" "+") ("something" "is" "red" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something likes the bald eagle then it likes the bear.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If something sees the bald eagle and it likes the bear then the bald eagle sees the bear.
((("something" "sees" "bald eagle" "+") ("something" "likes" "bear" "+")) -> ("bald eagle" "sees" "bear" "+"))
If something sees the bear then it chases the bald eagle.
((("something" "sees" "bear" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is rough then it sees the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "sees" "bald eagle" "+"))
The squirrel is rough.
True
1
proof
[(triple5)]
("squirrel" "is" "rough" "+")
triple5
The bear is not red.
False
1
inv-proof
[(triple3)]
("bear" "is" "red" "-")
triple3
The squirrel is red.
True
2
proof
[(((triple5) -> rule7))]
("squirrel" "is" "red" "+")
((triple5) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple5) -> rule7))]
("squirrel" "is" "red" "-")
((triple5) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bald eagle sees the bear.
True
4
proof
[(((triple7 ((triple6) -> rule4)) -> rule5) OR ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5))]
("bald eagle" "sees" "bear" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle does not see the bear.
False
4
inv-proof
[(((triple7 ((triple6) -> rule4)) -> rule5) OR ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5))]
("bald eagle" "sees" "bear" "-")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
True
5
proof
[(((((triple7 ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5)) -> rule6))]
("bald eagle" "chases" "bald eagle" "+")
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
((((((triple5) -> (rule8 % int4)) ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle does not chase the bald eagle.
False
5
inv-proof
[(((((triple7 ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5)) -> rule6))]
("bald eagle" "chases" "bald eagle" "-")
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
((((((triple5) -> (rule8 % int4)) ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear is red.[(triple3)] The bear sees the squirrel.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7 OR ((triple5) -> rule8))] @1: The squirrel is red.[(((triple5) -> rule7))] The squirrel likes the bear.[(((triple6) -> rule4))] @2: The bald eagle sees the bear.[(((triple7 ((triple6) -> rule4)) -> rule5) OR ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5))] @3: The bald eagle chases the bald eagle.[(((((triple7 ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7
((triple5) -> (rule8 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple5) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple6) -> (rule4 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
((((((triple5) -> (rule8 % int4)) ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4