The cow eats the rabbit. The cow is not nice. The rabbit visits the cow. If something eats the cow then it chases the cow. If something eats the rabbit and the rabbit is not rough then it visits the cow. If something is young and it visits the rabbit then it chases the rabbit. If something is young and it visits the rabbit then the rabbit does not visit the cow. If something eats the cow and the cow chases the rabbit then the cow does not eat the rabbit. If something is cold then it visits the rabbit.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something eats the cow then it chases the cow.
((("something" "eats" "cow" "+")) -> ("something" "chases" "cow" "+"))
If something eats the rabbit and the rabbit is not rough then it visits the cow.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "rough" "~")) -> ("something" "visits" "cow" "+"))
If something is young and it visits the rabbit then it chases the rabbit.
((("something" "is" "young" "+") ("something" "visits" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
If something is young and it visits the rabbit then the rabbit does not visit the cow.
((("something" "is" "young" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "visits" "cow" "-"))
If something eats the cow and the cow chases the rabbit then the cow does not eat the rabbit.
((("something" "eats" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("cow" "eats" "rabbit" "-"))
If something is cold then it visits the rabbit.
((("something" "is" "cold" "+")) -> ("something" "visits" "rabbit" "+"))
The cow is not nice.
True
1
proof
[(triple2)]
("cow" "is" "nice" "-")
triple2
The rabbit does not visit the cow.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "cow" "-")
triple3
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is not nice.[(triple2)] The rabbit visits the cow.[(triple3)]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is not nice.
("cow" "is" "nice" "-")
triple2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple3