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