The dog needs the mouse. The lion needs the dog. The mouse chases the dog. If someone is blue then they are nice. If the lion needs the mouse then the mouse needs the lion. If someone is blue and they chase the mouse then the mouse needs the lion. If someone chases the mouse then they are blue. If someone is blue then they visit the lion. All young people are blue.
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
If someone is blue then they are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If the lion needs the mouse then the mouse needs the lion.
((("lion" "needs" "mouse" "+")) -> ("mouse" "needs" "lion" "+"))
If someone is blue and they chase the mouse then the mouse needs the lion.
((("someone" "is" "blue" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "needs" "lion" "+"))
If someone chases the mouse then they are blue.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they visit the lion.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "lion" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
The mouse chases the dog.
True
1
proof
[(triple3)]
("mouse" "chases" "dog" "+")
triple3
The lion does not need the dog.
False
1
inv-proof
[(triple2)]
("lion" "needs" "dog" "-")
triple2
The mouse does not need the lion.
Unknown
inv-rconc
[@1: The mouse needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "lion" "-")
The lion needs the mouse.
Unknown
random
[@0: The lion needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "mouse" "+")
@0: The dog needs the mouse.[(triple1)] The lion needs the dog.[(triple2)] The mouse chases the dog.[(triple3)]
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple1
The lion needs the dog.
("lion" "needs" "dog" "+")
triple2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple3