The cat does not visit the rabbit. The mouse chases the cat. The mouse does not visit the rabbit. The rabbit is green. The rabbit is red. The rabbit is young. The squirrel is red. If someone chases the rabbit then the rabbit visits the squirrel. If someone chases the rabbit then the rabbit visits the cat.
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If someone chases the rabbit then the rabbit visits the squirrel.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If someone chases the rabbit then the rabbit visits the cat.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "visits" "cat" "+"))
The squirrel is red.
True
1
proof
[(triple7)]
("squirrel" "is" "red" "+")
triple7
The mouse visits the rabbit.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "rabbit" "+")
triple3
The rabbit does not visit the squirrel.
Unknown
inv-rconc
[@1: The rabbit visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "squirrel" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The cat does not visit the rabbit.[(triple1)] The mouse chases the cat.[(triple2)] The mouse does not visit the rabbit.[(triple3)] The rabbit is green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is young.[(triple6)] The squirrel is red.[(triple7)]
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
triple1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple2
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7