The cow visits the mouse. The mouse eats the cow. The mouse visits the cow. If someone visits the mouse and the mouse likes the cow then the mouse is big. If someone is big and they visit the mouse then the mouse is green. If someone is blue then they like the mouse. If someone visits the cow and they are not big then the cow likes the mouse. If someone visits the cow and the cow likes the mouse then they are young. All big people are young.
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone visits the mouse and the mouse likes the cow then the mouse is big.
((("someone" "visits" "mouse" "+") ("mouse" "likes" "cow" "+")) -> ("mouse" "is" "big" "+"))
If someone is big and they visit the mouse then the mouse is green.
((("someone" "is" "big" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone is blue then they like the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "mouse" "+"))
If someone visits the cow and they are not big then the cow likes the mouse.
((("someone" "visits" "cow" "+") ("someone" "is" "big" "~")) -> ("cow" "likes" "mouse" "+"))
If someone visits the cow and the cow likes the mouse then they are young.
((("someone" "visits" "cow" "+") ("cow" "likes" "mouse" "+")) -> ("someone" "is" "young" "+"))
All big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
The mouse eats the cow.
True
1
proof
[(triple2)]
("mouse" "eats" "cow" "+")
triple2
The mouse does not visit the cow.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "cow" "-")
triple3
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow visits the mouse.[(triple1)] The mouse eats the cow.[(triple2)] The mouse visits the cow.[(triple3)]
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple3