The cow eats the lion. The lion is big. If someone visits the cow and they are not green then they eat the cow.
The cow eats the lion.
("cow" "eats" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
If someone visits the cow and they are not green then they eat the cow.
((("someone" "visits" "cow" "+") ("someone" "is" "green" "~")) -> ("someone" "eats" "cow" "+"))
The lion is big.
True
1
proof
[(triple2)]
("lion" "is" "big" "+")
triple2
The cow does not eat the lion.
False
1
inv-proof
[(triple1)]
("cow" "eats" "lion" "-")
triple1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow eats the lion.[(triple1)] The lion is big.[(triple2)]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2