The bald eagle is kind. The squirrel eats the bald eagle. If someone eats the squirrel and the squirrel is red then the squirrel is big. If the bald eagle chases the squirrel then the squirrel does not chase the bald eagle. If someone eats the bald eagle then the bald eagle chases the squirrel. If someone is big and not kind then they chase the squirrel. If someone chases the bald eagle then the bald eagle does not eat the squirrel. If someone is big and they eat the bald eagle then the bald eagle is not big. If someone is rough and they chase the squirrel then the squirrel does not visit the bald eagle. If the squirrel does not chase the bald eagle then the bald eagle is green.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone eats the squirrel and the squirrel is red then the squirrel is big.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "is" "big" "+"))
If the bald eagle chases the squirrel then the squirrel does not chase the bald eagle.
((("bald eagle" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
If someone eats the bald eagle then the bald eagle chases the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone is big and not kind then they chase the squirrel.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the bald eagle then the bald eagle does not eat the squirrel.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "-"))
If someone is big and they eat the bald eagle then the bald eagle is not big.
((("someone" "is" "big" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "big" "-"))
If someone is rough and they chase the squirrel then the squirrel does not visit the bald eagle.
((("someone" "is" "rough" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "-"))
If the squirrel does not chase the bald eagle then the bald eagle is green.
((("squirrel" "chases" "bald eagle" "~")) -> ("bald eagle" "is" "green" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple2)]
("squirrel" "eats" "bald eagle" "+")
triple2
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("squirrel" "eats" "bald eagle" "-")
triple2
The bald eagle chases the squirrel.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "chases" "squirrel" "+")
((triple2) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "chases" "squirrel" "-")
((triple2) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel does not chase the bald eagle.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("squirrel" "chases" "bald eagle" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The squirrel chases the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("squirrel" "chases" "bald eagle" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle is green.
True
4
proof
[(((((((triple2) -> rule3)) -> rule2)) -> rule8))]
("bald eagle" "is" "green" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bald eagle is not green.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule2)) -> rule8))]
("bald eagle" "is" "green" "-")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The squirrel eats the bald eagle.[(triple2)] @1: The bald eagle chases the squirrel.[(((triple2) -> rule3))] @2: The squirrel does not chase the bald eagle.[(((((triple2) -> rule3)) -> rule2))] @3: The bald eagle is green.[(((((((triple2) -> rule3)) -> rule2)) -> rule8))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple2) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3