The bald eagle chases the squirrel. The bald eagle eats the cat. The bald eagle eats the squirrel. The bear chases the bald eagle. The bear eats the cat. The cat eats the bald eagle. The cat eats the squirrel. The squirrel chases the bald eagle. The squirrel eats the bear. The squirrel is not nice. The squirrel does not see the bald eagle. The squirrel sees the bear. If the bald eagle eats the bear and the bear eats the bald eagle then the bear chases the cat. If the cat eats the bald eagle then the cat chases the bald eagle. If someone eats the squirrel and they do not see the cat then they chase the bald eagle. If someone chases the bald eagle then the bald eagle is not big. If someone chases the squirrel and the squirrel is big then they are nice. If someone chases the bald eagle then they are cold.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If the bald eagle eats the bear and the bear eats the bald eagle then the bear chases the cat.
((("bald eagle" "eats" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("bear" "chases" "cat" "+"))
If the cat eats the bald eagle then the cat chases the bald eagle.
((("cat" "eats" "bald eagle" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone eats the squirrel and they do not see the cat then they chase the bald eagle.
((("someone" "eats" "squirrel" "+") ("someone" "sees" "cat" "~")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle is not big.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "-"))
If someone chases the squirrel and the squirrel is big then they are nice.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the bald eagle then they are cold.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
The cat eats the squirrel.
True
1
proof
[(triple7)]
("cat" "eats" "squirrel" "+")
triple7
The bear does not eat the cat.
False
1
inv-proof
[(triple5)]
("bear" "eats" "cat" "-")
triple5
The bald eagle is not big.
True
2
proof
[(((triple4) -> rule4) OR ((triple8) -> rule4) OR ((((triple6) -> rule2)) -> rule4))]
("bald eagle" "is" "big" "-")
((triple4) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
((triple8) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bear is not cold.
False
2
inv-proof
[(((triple4) -> rule6))]
("bear" "is" "cold" "-")
((triple4) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cat is cold.
True
3
proof
[(((((triple6) -> rule2)) -> rule6))]
("cat" "is" "cold" "+")
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is not cold.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule6))]
("cat" "is" "cold" "-")
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "nice" "-")
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 cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "nice" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
The cat does not chase the bear.
Unknown
inv-random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear eats the cat.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat eats the squirrel.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel does not see the bald eagle.[(triple11)] The squirrel eats the bear.[(triple9)] The squirrel is not nice.[(triple10)] The squirrel sees the bear.[(triple12)] @1: The bald eagle is not big.[(((triple4) -> rule4) OR ((triple8) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] The bear is cold.[(((triple4) -> rule6))] The cat chases the bald eagle.[(((triple6) -> rule2))] The squirrel is cold.[(((triple8) -> rule6))] @2: The cat is cold.[(((((triple6) -> rule2)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple10
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple12
The bald eagle is not big.
("bald eagle" "is" "big" "-")
((triple4) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
((triple8) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is not big.
("bald eagle" "is" "big" "-")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((triple4) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple8) -> (rule6 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2