The bald eagle is young. The dog visits the rabbit. The mouse visits the bald eagle. The rabbit is blue. If something is young then it eats the bald eagle. If something visits the bald eagle then the bald eagle likes the rabbit.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If something is young then it eats the bald eagle.
((("something" "is" "young" "+")) -> ("something" "eats" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle likes the rabbit.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
The dog visits the rabbit.
True
1
proof
[(triple2)]
("dog" "visits" "rabbit" "+")
triple2
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "bald eagle" "-")
triple3
The bald eagle likes the rabbit.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "likes" "rabbit" "+")
((triple3) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The mouse eats the bald eagle.
Unknown
rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "bald eagle" "+")
The mouse does not eat the rabbit.
Unknown
inv-random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle is young.[(triple1)] The dog visits the rabbit.[(triple2)] The mouse visits the bald eagle.[(triple3)] The rabbit is blue.[(triple4)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule1))] The bald eagle likes the rabbit.[(((triple3) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple3) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1