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