The cow is nice. The cow is rough. The lion eats the squirrel. The lion is green. The lion is kind. The lion sees the cow. The lion sees the squirrel. The squirrel is rough. The squirrel needs the lion. The squirrel sees the cow. If something needs the cow and it is big then the cow eats the lion.
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something needs the cow and it is big then the cow eats the lion.
((("something" "needs" "cow" "+") ("something" "is" "big" "+")) -> ("cow" "eats" "lion" "+"))
The lion is green.
True
1
proof
[(triple4)]
("lion" "is" "green" "+")
triple4
The lion is not green.
False
1
inv-proof
[(triple4)]
("lion" "is" "green" "-")
triple4
The cow does not eat the lion.
Unknown
inv-rconc
[@1: The cow eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "lion" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow is nice.[(triple1)] The cow is rough.[(triple2)] The lion eats the squirrel.[(triple3)] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion sees the cow.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel sees the cow.[(triple10)]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion sees the cow.
("lion" "sees" "cow" "+")
triple6
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10