The mouse chases the rabbit. The mouse is not round. The rabbit likes the mouse. If the rabbit likes the mouse then the mouse does not like the rabbit. If the rabbit likes the mouse and the rabbit is not green then the rabbit chases the mouse.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If the rabbit likes the mouse then the mouse does not like the rabbit.
((("rabbit" "likes" "mouse" "+")) -> ("mouse" "likes" "rabbit" "-"))
If the rabbit likes the mouse and the rabbit is not green then the rabbit chases the mouse.
((("rabbit" "likes" "mouse" "+") ("rabbit" "is" "green" "~")) -> ("rabbit" "chases" "mouse" "+"))
The mouse is not round.
True
1
proof
[(triple2)]
("mouse" "is" "round" "-")
triple2
The mouse does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("mouse" "chases" "rabbit" "-")
triple1
The mouse does not like the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "likes" "rabbit" "-")
((triple3) -> (rule1 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse likes the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "likes" "rabbit" "+")
((triple3) -> (rule1 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The rabbit does not chase the mouse.
Unknown
inv-rconc
[@1: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "mouse" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The rabbit eats the mouse.
Unknown
random
[@0: The rabbit eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "mouse" "+")
@0: The mouse chases the rabbit.[(triple1)] The mouse is not round.[(triple2)] The rabbit likes the mouse.[(triple3)] @1: The mouse does not like the rabbit.[(((triple3) -> rule1))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse is not round.
("mouse" "is" "round" "-")
triple2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple3
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
((triple3) -> (rule1 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1