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