The mouse is cold. The mouse is rough. The mouse is round. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit likes the mouse. The rabbit visits the mouse. If someone likes the rabbit and they see the rabbit then the rabbit visits the mouse. If the mouse likes the rabbit and the rabbit visits the mouse then the rabbit sees the mouse.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone likes the rabbit and they see the rabbit then the rabbit visits the mouse.
((("someone" "likes" "rabbit" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If the mouse likes the rabbit and the rabbit visits the mouse then the rabbit sees the mouse.
((("mouse" "likes" "rabbit" "+") ("rabbit" "visits" "mouse" "+")) -> ("rabbit" "sees" "mouse" "+"))
The mouse is cold.
True
1
proof
[(triple1)]
("mouse" "is" "cold" "+")
triple1
The mouse does not see the rabbit.
False
1
inv-proof
[(triple4)]
("mouse" "sees" "rabbit" "-")
triple4
The rabbit does not see the mouse.
Unknown
inv-rconc
[@1: The rabbit sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "mouse" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The mouse is cold.[(triple1)] The mouse is rough.[(triple2)] The mouse is round.[(triple3)] The mouse sees the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is green.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
The mouse is rough.
("mouse" "is" "rough" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple4
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple9
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple10