The bald eagle is kind. The bear is red. The cat sees the bear. The dog does not like the cat. If the cat is blue and the bear does not like the cat then the bear sees the dog. If something sees the bear then the bear is rough.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The dog does not like the cat.
("dog" "likes" "cat" "-")
If the cat is blue and the bear does not like the cat then the bear sees the dog.
((("cat" "is" "blue" "+") ("bear" "likes" "cat" "~")) -> ("bear" "sees" "dog" "+"))
If something sees the bear then the bear is rough.
((("something" "sees" "bear" "+")) -> ("bear" "is" "rough" "+"))
The cat sees the bear.
True
1
proof
[(triple3)]
("cat" "sees" "bear" "+")
triple3
The cat does not see the bear.
False
1
inv-proof
[(triple3)]
("cat" "sees" "bear" "-")
triple3
The bear is rough.
True
2
proof
[(((triple3) -> rule2))]
("bear" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "is" "rough" "-")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear does not see the dog.
Unknown
inv-rconc
[@1: The bear sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "dog" "-")
The cat sees the dog.
Unknown
random
[@0: The cat sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "dog" "+")
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 bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
@0: The bald eagle is kind.[(triple1)] The bear is red.[(triple2)] The cat sees the bear.[(triple3)] The dog does not like the cat.[(triple4)] @1: The bear is rough.[(((triple3) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The cat sees the bear.
("cat" "sees" "bear" "+")
triple3
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple4
The bear is rough.
("bear" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1