The bald eagle eats the squirrel. The bald eagle needs the squirrel. The squirrel is blue. If the bald eagle is big and the bald eagle chases the squirrel then the squirrel chases the bald eagle. If something chases the bald eagle then the bald eagle is red. If something needs the bald eagle then it chases the bald eagle. If something chases the squirrel then the squirrel needs the bald eagle. If something is nice and it chases the squirrel then the squirrel eats the bald eagle. If something eats the squirrel then the squirrel needs the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If the bald eagle is big and the bald eagle chases the squirrel then the squirrel chases the bald eagle.
((("bald eagle" "is" "big" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle is red.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something needs the bald eagle then it chases the bald eagle.
((("something" "needs" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the squirrel then the squirrel needs the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If something is nice and it chases the squirrel then the squirrel eats the bald eagle.
((("something" "is" "nice" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If something eats the squirrel then the squirrel needs the bald eagle.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
The squirrel is blue.
True
1
proof
[(triple3)]
("squirrel" "is" "blue" "+")
triple3
The bald eagle does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "squirrel" "-")
triple1
The squirrel needs the bald eagle.
True
2
proof
[(((triple1) -> rule6))]
("squirrel" "needs" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule6))]
("squirrel" "needs" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("squirrel" "chases" "bald eagle" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel does not chase the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("squirrel" "chases" "bald eagle" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle is red.
True
4
proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule2))]
("bald eagle" "is" "red" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The bald eagle is not red.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule2))]
("bald eagle" "is" "red" "-")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel does not eat the bald eagle.
Unknown
inv-rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The squirrel is blue.[(triple3)] @1: The squirrel needs the bald eagle.[(((triple1) -> rule6))] @2: The squirrel chases the bald eagle.[(((((triple1) -> rule6)) -> rule3))] @3: The bald eagle is red.[(((((((triple1) -> rule6)) -> rule3)) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3