The dog chases the lion. The dog chases the mouse. The lion chases the mouse. The lion is red. The lion sees the mouse. The mouse is cold. The mouse needs the dog. If the dog needs the mouse then the dog is kind. If the dog is red and the dog chases the mouse then the mouse needs the lion. If the lion needs the dog then the dog sees the mouse.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is red.
("lion" "is" "red" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If the dog needs the mouse then the dog is kind.
((("dog" "needs" "mouse" "+")) -> ("dog" "is" "kind" "+"))
If the dog is red and the dog chases the mouse then the mouse needs the lion.
((("dog" "is" "red" "+") ("dog" "chases" "mouse" "+")) -> ("mouse" "needs" "lion" "+"))
If the lion needs the dog then the dog sees the mouse.
((("lion" "needs" "dog" "+")) -> ("dog" "sees" "mouse" "+"))
The dog chases the mouse.
True
1
proof
[(triple2)]
("dog" "chases" "mouse" "+")
triple2
The lion is not red.
False
1
inv-proof
[(triple4)]
("lion" "is" "red" "-")
triple4
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "mouse" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The dog chases the lion.[(triple1)] The dog chases the mouse.[(triple2)] The lion chases the mouse.[(triple3)] The lion is red.[(triple4)] The lion sees the mouse.[(triple5)] The mouse is cold.[(triple6)] The mouse needs the dog.[(triple7)]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple7