The cow does not need the mouse. The cow does not visit the mouse. The mouse chases the cow. The mouse is red. The mouse is young. The mouse needs the cow. The mouse visits the cow. If something needs the cow then it is rough. If something needs the mouse then it visits the mouse. If the cow chases the mouse then the cow visits the mouse. If the cow does not chase the mouse then the cow does not visit the mouse. If something visits the mouse then the mouse needs the cow. If something is young and it does not chase the mouse then the mouse needs the cow. If something chases the mouse and it needs the mouse then the mouse is red. If something chases the mouse and it is not rough then the mouse does not chase the cow.
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If something needs the cow then it is rough.
((("something" "needs" "cow" "+")) -> ("something" "is" "rough" "+"))
If something needs the mouse then it visits the mouse.
((("something" "needs" "mouse" "+")) -> ("something" "visits" "mouse" "+"))
If the cow chases the mouse then the cow visits the mouse.
((("cow" "chases" "mouse" "+")) -> ("cow" "visits" "mouse" "+"))
If the cow does not chase the mouse then the cow does not visit the mouse.
((("cow" "chases" "mouse" "~")) -> ("cow" "visits" "mouse" "-"))
If something visits the mouse then the mouse needs the cow.
((("something" "visits" "mouse" "+")) -> ("mouse" "needs" "cow" "+"))
If something is young and it does not chase the mouse then the mouse needs the cow.
((("something" "is" "young" "+") ("something" "chases" "mouse" "~")) -> ("mouse" "needs" "cow" "+"))
If something chases the mouse and it needs the mouse then the mouse is red.
((("something" "chases" "mouse" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If something chases the mouse and it is not rough then the mouse does not chase the cow.
((("something" "chases" "mouse" "+") ("something" "is" "rough" "~")) -> ("mouse" "chases" "cow" "-"))
The cow does not visit the mouse.
True
1
proof
[(triple2)]
("cow" "visits" "mouse" "-")
triple2
The mouse does not chase the cow.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "cow" "-")
triple3
The mouse is rough.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "is" "rough" "+")
((triple6) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not rough.
False
2
inv-proof
[(((triple6) -> rule1))]
("mouse" "is" "rough" "-")
((triple6) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The cow is rough.
Unknown
rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "rough" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cow does not need the mouse.[(triple1)] The cow does not visit the mouse.[(triple2)] The mouse chases the cow.[(triple3)] The mouse is red.[(triple4)] The mouse is young.[(triple5)] The mouse needs the cow.[(triple6)] The mouse visits the cow.[(triple7)] @1: The mouse is rough.[(((triple6) -> rule1))]
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
triple1
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple6
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
((triple6) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1