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