The bald eagle likes the rabbit. The dog sees the rabbit. The rabbit visits the dog. If someone sees the bald eagle then the bald eagle does not visit the rabbit. If someone sees the rabbit then the rabbit visits the bald eagle. Green, red people are not young.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone sees the bald eagle then the bald eagle does not visit the rabbit.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "-"))
If someone sees the rabbit then the rabbit visits the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
Green, red people are not young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
The bald eagle likes the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "likes" "rabbit" "+")
triple1
The rabbit does not visit the dog.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "dog" "-")
triple3
The rabbit visits the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("rabbit" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("rabbit" "visits" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle does not like the dog.
Unknown
inv-random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The dog sees the rabbit.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The rabbit visits the bald eagle.[(((triple2) -> rule2))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1