The bald eagle chases the cat. The bear chases the bald eagle. The bear is red. The bear needs the bald eagle. The bear needs the cat. The bear visits the bald eagle. The bear does not visit the cat. The cat is blue. The cat is kind. The cat visits the bald eagle. If someone chases the bear then they are kind. If someone needs the bald eagle then the bald eagle visits the bear. If someone is green then they chase the bear.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear does not visit the cat.
("bear" "visits" "cat" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If someone chases the bear then they are kind.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "kind" "+"))
If someone needs the bald eagle then the bald eagle visits the bear.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone is green then they chase the bear.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bear" "+"))
The cat is kind.
True
1
proof
[(triple9)]
("cat" "is" "kind" "+")
triple9
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("cat" "visits" "bald eagle" "-")
triple10
The bald eagle visits the bear.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "visits" "bear" "+")
((triple4) -> (rule2 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle does not visit the bear.
False
2
inv-proof
[(((triple4) -> rule2))]
("bald eagle" "visits" "bear" "-")
((triple4) -> (rule2 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear does not visit the cat.[(triple7)] The bear is red.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the cat.[(triple5)] The bear visits the bald eagle.[(triple6)] The cat is blue.[(triple8)] The cat is kind.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The bald eagle visits the bear.[(((triple4) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The bear does not visit the cat.
("bear" "visits" "cat" "-")
triple7
The bear is red.
("bear" "is" "red" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple9
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple4) -> (rule2 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1