The cow eats the mouse. The cow is big. The cow is blue. The cow is not red. The cow is young. The cow needs the mouse. The cow sees the mouse. The mouse is big. The mouse is blue. The mouse is not red. The mouse does not need the cow. The mouse sees the cow. If someone eats the cow and the cow eats the mouse then the cow needs the mouse. If someone is nice and they do not eat the mouse then they need the mouse. If someone eats the mouse and the mouse eats the cow then the cow is nice.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow is young.
("cow" "is" "young" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone eats the cow and the cow eats the mouse then the cow needs the mouse.
((("someone" "eats" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("cow" "needs" "mouse" "+"))
If someone is nice and they do not eat the mouse then they need the mouse.
((("someone" "is" "nice" "+") ("someone" "eats" "mouse" "~")) -> ("someone" "needs" "mouse" "+"))
If someone eats the mouse and the mouse eats the cow then the cow is nice.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "cow" "+")) -> ("cow" "is" "nice" "+"))
The cow is blue.
True
1
proof
[(triple3)]
("cow" "is" "blue" "+")
triple3
The cow does not need the mouse.
False
1
inv-proof
[(triple6)]
("cow" "needs" "mouse" "-")
triple6
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is not red.[(triple4)] The cow is young.[(triple5)] The cow needs the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The mouse does not need the cow.[(triple11)] The mouse is big.[(triple8)] The mouse is blue.[(triple9)] The mouse is not red.[(triple10)] The mouse sees the cow.[(triple12)]
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is not red.
("cow" "is" "red" "-")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
triple11
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse is not red.
("mouse" "is" "red" "-")
triple10
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple12