The dog does not chase the lion. The dog visits the lion. The dog visits the rabbit. The lion does not chase the dog. The lion chases the mouse. The lion is nice. The lion is rough. The lion needs the mouse. The lion visits the dog. The lion visits the rabbit. The mouse needs the dog. The rabbit chases the dog. The rabbit does not chase the lion. The rabbit is blue. The rabbit is nice. The rabbit does not visit the lion. If the lion does not need the mouse then the mouse visits the dog. If something is young and it does not visit the rabbit then the rabbit visits the lion. If the dog does not chase the rabbit then the rabbit needs the lion. If the dog needs the rabbit then the dog visits the mouse. If the rabbit is young and the rabbit needs the mouse then the rabbit chases the mouse. If something is blue then it visits the mouse. If the lion is not young and the lion does not need the mouse then the lion visits the mouse. If something needs the rabbit and it is not nice then the rabbit is blue.
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The dog visits the lion.
("dog" "visits" "lion" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The lion does not chase the dog.
("lion" "chases" "dog" "-")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
If the lion does not need the mouse then the mouse visits the dog.
((("lion" "needs" "mouse" "~")) -> ("mouse" "visits" "dog" "+"))
If something is young and it does not visit the rabbit then the rabbit visits the lion.
((("something" "is" "young" "+") ("something" "visits" "rabbit" "~")) -> ("rabbit" "visits" "lion" "+"))
If the dog does not chase the rabbit then the rabbit needs the lion.
((("dog" "chases" "rabbit" "~")) -> ("rabbit" "needs" "lion" "+"))
If the dog needs the rabbit then the dog visits the mouse.
((("dog" "needs" "rabbit" "+")) -> ("dog" "visits" "mouse" "+"))
If the rabbit is young and the rabbit needs the mouse then the rabbit chases the mouse.
((("rabbit" "is" "young" "+") ("rabbit" "needs" "mouse" "+")) -> ("rabbit" "chases" "mouse" "+"))
If something is blue then it visits the mouse.
((("something" "is" "blue" "+")) -> ("something" "visits" "mouse" "+"))
If the lion is not young and the lion does not need the mouse then the lion visits the mouse.
((("lion" "is" "young" "~") ("lion" "needs" "mouse" "~")) -> ("lion" "visits" "mouse" "+"))
If something needs the rabbit and it is not nice then the rabbit is blue.
((("something" "needs" "rabbit" "+") ("something" "is" "nice" "~")) -> ("rabbit" "is" "blue" "+"))
The lion is nice.
True
1
proof
[(triple6)]
("lion" "is" "nice" "+")
triple6
The lion is not nice.
False
1
inv-proof
[(triple6)]
("lion" "is" "nice" "-")
triple6
The rabbit does not chase the mouse.
Unknown
inv-rconc
[@1: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "mouse" "-")
The dog needs the lion.
Unknown
random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "+")
@0: The dog does not chase the lion.[(triple1)] The dog visits the lion.[(triple2)] The dog visits the rabbit.[(triple3)] The lion chases the mouse.[(triple5)] The lion does not chase the dog.[(triple4)] The lion is nice.[(triple6)] The lion is rough.[(triple7)] The lion needs the mouse.[(triple8)] The lion visits the dog.[(triple9)] The lion visits the rabbit.[(triple10)] The mouse needs the dog.[(triple11)] The rabbit chases the dog.[(triple12)] The rabbit does not chase the lion.[(triple13)] The rabbit does not visit the lion.[(triple16)] The rabbit is blue.[(triple14)] The rabbit is nice.[(triple15)] @1: The rabbit visits the mouse.[(((triple14) -> rule6))]
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple5
The lion does not chase the dog.
("lion" "chases" "dog" "-")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple8
The lion visits the dog.
("lion" "visits" "dog" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple11
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple12
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple13
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple16
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple15
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
((triple14) -> (rule6 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1