The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle is big. The bald eagle is blue. The bald eagle needs the bear. The bald eagle needs the cat. The bear chases the bald eagle. The bear is blue. The bear is young. The bear needs the cat. The bear sees the bald eagle. The bear does not see the cat. The cat is cold. The cat does not need the bald eagle. The cat needs the bear. The cat sees the bear. If someone sees the bear then the bear needs the bald eagle. If someone is kind and not big then they chase the bald eagle. If the cat chases the bear then the bear does not see the cat.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear does not see the cat.
("bear" "sees" "cat" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If someone sees the bear then the bear needs the bald eagle.
((("someone" "sees" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
If someone is kind and not big then they chase the bald eagle.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "chases" "bald eagle" "+"))
If the cat chases the bear then the bear does not see the cat.
((("cat" "chases" "bear" "+")) -> ("bear" "sees" "cat" "-"))
The bear does not see the cat.
True
1
proof
[(triple12)]
("bear" "sees" "cat" "-")
triple12
The bear does not need the cat.
False
1
inv-proof
[(triple10)]
("bear" "needs" "cat" "-")
triple10
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the cat.[(triple6)] The bear chases the bald eagle.[(triple7)] The bear does not see the cat.[(triple12)] The bear is blue.[(triple8)] The bear is young.[(triple9)] The bear needs the cat.[(triple10)] The bear sees the bald eagle.[(triple11)] The cat does not need the bald eagle.[(triple14)] The cat is cold.[(triple13)] The cat needs the bear.[(triple15)] The cat sees the bear.[(triple16)] @1: The bear needs the bald eagle.[(((triple16) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple6
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple7
The bear does not see the cat.
("bear" "sees" "cat" "-")
triple12
The bear is blue.
("bear" "is" "blue" "+")
triple8
The bear is young.
("bear" "is" "young" "+")
triple9
The bear needs the cat.
("bear" "needs" "cat" "+")
triple10
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple11
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
triple14
The cat is cold.
("cat" "is" "cold" "+")
triple13
The cat needs the bear.
("cat" "needs" "bear" "+")
triple15
The cat sees the bear.
("cat" "sees" "bear" "+")
triple16
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple16) -> (rule1 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1