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