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