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