The mouse likes the rabbit. The rabbit is not green. The rabbit is nice. The rabbit is red. The rabbit likes the mouse. The rabbit needs the mouse. The rabbit sees the mouse. If something likes the mouse and it is not nice then it needs the rabbit. If something sees the rabbit then it is cold. If the rabbit likes the mouse and the mouse sees the rabbit then the mouse likes the rabbit.
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something likes the mouse and it is not nice then it needs the rabbit.
((("something" "likes" "mouse" "+") ("something" "is" "nice" "~")) -> ("something" "needs" "rabbit" "+"))
If something sees the rabbit then it is cold.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "cold" "+"))
If the rabbit likes the mouse and the mouse sees the rabbit then the mouse likes the rabbit.
((("rabbit" "likes" "mouse" "+") ("mouse" "sees" "rabbit" "+")) -> ("mouse" "likes" "rabbit" "+"))
The rabbit is not green.
True
1
proof
[(triple2)]
("rabbit" "is" "green" "-")
triple2
The rabbit does not see the mouse.
False
1
inv-proof
[(triple7)]
("rabbit" "sees" "mouse" "-")
triple7
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The mouse likes the rabbit.[(triple1)] The rabbit is nice.[(triple3)] The rabbit is not green.[(triple2)] The rabbit is red.[(triple4)] The rabbit likes the mouse.[(triple5)] The rabbit needs the mouse.[(triple6)] The rabbit sees the mouse.[(triple7)]
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The rabbit is not green.
("rabbit" "is" "green" "-")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple4
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple5
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7