The bald eagle sees the bear. The bear is nice. The dog is nice. The squirrel likes the bear. If someone sees the bear then the bear does not like the squirrel.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is nice.
("bear" "is" "nice" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone sees the bear then the bear does not like the squirrel.
((("someone" "sees" "bear" "+")) -> ("bear" "likes" "squirrel" "-"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The bald eagle does not see the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "bear" "-")
triple1
The bear does not like the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("bear" "likes" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
int1
The bear likes the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "likes" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is nice.[(triple2)] The dog is nice.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear does not like the squirrel.[(((triple1) -> rule1))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple4
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
int1