The bald eagle eats the bear. The bald eagle sees the cat. The bear is kind. The bear likes the cat. The cat likes the bear. The mouse eats the cat. The mouse is big. If something is kind then it sees the mouse. If something eats the bear then it sees the cat.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is big.
("mouse" "is" "big" "+")
If something is kind then it sees the mouse.
((("something" "is" "kind" "+")) -> ("something" "sees" "mouse" "+"))
If something eats the bear then it sees the cat.
((("something" "eats" "bear" "+")) -> ("something" "sees" "cat" "+"))
The bear likes the cat.
True
1
proof
[(triple4)]
("bear" "likes" "cat" "+")
triple4
The mouse does not eat the cat.
False
1
inv-proof
[(triple6)]
("mouse" "eats" "cat" "-")
triple6
The bear sees the mouse.
True
2
proof
[(((triple3) -> rule1))]
("bear" "sees" "mouse" "+")
((triple3) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear does not see the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "sees" "mouse" "-")
((triple3) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear does not see the cat.
Unknown
inv-rconc
[@1: The bear sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "cat" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "cat" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle sees the cat.[(triple2 OR ((triple1) -> rule2))] The bear is kind.[(triple3)] The bear likes the cat.[(triple4)] The cat likes the bear.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is big.[(triple7)] @1: The bear sees the mouse.[(((triple3) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
((triple1) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((triple3) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1