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