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