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