The cow is blue. The mouse visits the cow. If something needs the mouse and it visits the cow then the cow needs the mouse. If something is round then it is blue. If something visits the mouse and it visits the cow then the mouse likes the cow. If something likes the cow then it needs the cow. If something likes the cow then it visits the cow. If something is cold then it visits the mouse. If something visits the mouse then it likes the mouse. If something needs the mouse and the mouse is round then the mouse needs the cow.
The cow is blue.
("cow" "is" "blue" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If something needs the mouse and it visits the cow then the cow needs the mouse.
((("something" "needs" "mouse" "+") ("something" "visits" "cow" "+")) -> ("cow" "needs" "mouse" "+"))
If something is round then it is blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something visits the mouse and it visits the cow then the mouse likes the cow.
((("something" "visits" "mouse" "+") ("something" "visits" "cow" "+")) -> ("mouse" "likes" "cow" "+"))
If something likes the cow then it needs the cow.
((("something" "likes" "cow" "+")) -> ("something" "needs" "cow" "+"))
If something likes the cow then it visits the cow.
((("something" "likes" "cow" "+")) -> ("something" "visits" "cow" "+"))
If something is cold then it visits the mouse.
((("something" "is" "cold" "+")) -> ("something" "visits" "mouse" "+"))
If something visits the mouse then it likes the mouse.
((("something" "visits" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If something needs the mouse and the mouse is round then the mouse needs the cow.
((("something" "needs" "mouse" "+") ("mouse" "is" "round" "+")) -> ("mouse" "needs" "cow" "+"))
The mouse visits the cow.
True
1
proof
[(triple2)]
("mouse" "visits" "cow" "+")
triple2
The mouse does not visit the cow.
False
1
inv-proof
[(triple2)]
("mouse" "visits" "cow" "-")
triple2
The mouse does not like the mouse.
Unknown
inv-rconc
[@2: The mouse likes the mouse.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cow is blue.[(triple1)] The mouse visits the cow.[(triple2)]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple2