The bald eagle is green. The rabbit is big. The rabbit does not visit the bald eagle. If something is big then it does not visit the rabbit. If something visits the bald eagle and the bald eagle does not like the rabbit then the bald eagle does not see the rabbit.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
If something is big then it does not visit the rabbit.
((("something" "is" "big" "+")) -> ("something" "visits" "rabbit" "-"))
If something visits the bald eagle and the bald eagle does not like the rabbit then the bald eagle does not see the rabbit.
((("something" "visits" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "~")) -> ("bald eagle" "sees" "rabbit" "-"))
The rabbit does not visit the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "visits" "bald eagle" "-")
triple3
The rabbit visits the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "bald eagle" "+")
triple3
The rabbit does not visit the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((triple2) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The rabbit visits the rabbit.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple2) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The bald eagle does not like the rabbit.
Unknown
inv-random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
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 rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The rabbit does not visit the bald eagle.[(triple3)] The rabbit is big.[(triple2)] @1: The rabbit does not visit the rabbit.[(((triple2) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
((triple2) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1