The bald eagle is young. The cow visits the mouse. The mouse chases the cow. The rabbit visits the mouse. If someone chases the cow then they visit the cow. If someone chases the rabbit and the rabbit sees the bald eagle then the rabbit visits the cow. If someone chases the mouse and the mouse is not rough then they visit the rabbit.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone chases the cow then they visit the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "visits" "cow" "+"))
If someone chases the rabbit and the rabbit sees the bald eagle then the rabbit visits the cow.
((("someone" "chases" "rabbit" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone chases the mouse and the mouse is not rough then they visit the rabbit.
((("someone" "chases" "mouse" "+") ("mouse" "is" "rough" "~")) -> ("someone" "visits" "rabbit" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "mouse" "-")
triple4
The mouse visits the cow.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "visits" "cow" "+")
((triple3) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The mouse does not visit the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "visits" "cow" "-")
((triple3) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The mouse does not visit the rabbit.
Unknown
inv-rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "rabbit" "-")
The rabbit visits the cow.
Unknown
rconc
[@1: The rabbit visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "cow" "+")
The rabbit does not chase the cow.
Unknown
inv-random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "-")
The cow chases the mouse.
Unknown
random
[@0: The cow chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "mouse" "+")
@0: The bald eagle is young.[(triple1)] The cow visits the mouse.[(triple2)] The mouse chases the cow.[(triple3)] The rabbit visits the mouse.[(triple4)] @1: The mouse visits the cow.[(((triple3) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple4
The mouse visits the cow.
("mouse" "visits" "cow" "+")
((triple3) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1