The mouse is not green. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is red. The rabbit does not see the mouse. The rabbit visits the mouse. If something is green then it sees the mouse. If something visits the mouse and it does not visit the rabbit then the rabbit likes the mouse.
The mouse is not green.
("mouse" "is" "green" "-")
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 red.
("rabbit" "is" "red" "+")
The rabbit does not see the mouse.
("rabbit" "sees" "mouse" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something is green then it sees the mouse.
((("something" "is" "green" "+")) -> ("something" "sees" "mouse" "+"))
If something visits the mouse and it does not visit the rabbit then the rabbit likes the mouse.
((("something" "visits" "mouse" "+") ("something" "visits" "rabbit" "~")) -> ("rabbit" "likes" "mouse" "+"))
The mouse sees the rabbit.
True
1
proof
[(triple2)]
("mouse" "sees" "rabbit" "+")
triple2
The rabbit sees the mouse.
False
1
inv-proof
[(triple6)]
("rabbit" "sees" "mouse" "+")
triple6
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The mouse is not green.[(triple1)] The mouse sees the rabbit.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit does not see the mouse.[(triple6)] The rabbit is blue.[(triple4)] The rabbit is red.[(triple5)] The rabbit visits the mouse.[(triple7)]
The mouse is not green.
("mouse" "is" "green" "-")
triple1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple2
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple3
The rabbit does not see the mouse.
("rabbit" "sees" "mouse" "-")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7