The bald eagle is young. The bear does not chase the rabbit. The rabbit chases the bear. If someone chases the bear then the bear does not see the rabbit. If someone is cold and they do not like the bear then the bear sees the rabbit.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
If someone chases the bear then the bear does not see the rabbit.
((("someone" "chases" "bear" "+")) -> ("bear" "sees" "rabbit" "-"))
If someone is cold and they do not like the bear then the bear sees the rabbit.
((("someone" "is" "cold" "+") ("someone" "likes" "bear" "~")) -> ("bear" "sees" "rabbit" "+"))
The rabbit chases the bear.
True
1
proof
[(triple3)]
("rabbit" "chases" "bear" "+")
triple3
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The bear does not see the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("bear" "sees" "rabbit" "-")
((triple3) -> (rule1 % int1))
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
int1
The bear sees the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "sees" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
int1
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The rabbit sees the bald eagle.
Unknown
random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle is young.[(triple1)] The bear does not chase the rabbit.[(triple2)] The rabbit chases the bear.[(triple3)] @1: The bear does not see the rabbit.[(((triple3) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
triple2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple3
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
((triple3) -> (rule1 % int1))
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
int1