The cow chases the mouse. The cow is cold. The cow is not kind. The mouse chases the cow. The mouse eats the cow. The mouse is rough. The mouse does not see the cow. If something eats the mouse then it chases the mouse. If something is cold and it sees the cow then it chases the mouse. If something eats the mouse and it is cold then the mouse does not see the cow. If something is kind then it sees the cow. If something is cold and it does not eat the mouse then it is not kind. If something chases the mouse then it is green. If the mouse is not kind and the mouse is not round then the mouse eats the cow. If the mouse does not eat the cow then the mouse is green.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
If something eats the mouse then it chases the mouse.
((("something" "eats" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something is cold and it sees the cow then it chases the mouse.
((("something" "is" "cold" "+") ("something" "sees" "cow" "+")) -> ("something" "chases" "mouse" "+"))
If something eats the mouse and it is cold then the mouse does not see the cow.
((("something" "eats" "mouse" "+") ("something" "is" "cold" "+")) -> ("mouse" "sees" "cow" "-"))
If something is kind then it sees the cow.
((("something" "is" "kind" "+")) -> ("something" "sees" "cow" "+"))
If something is cold and it does not eat the mouse then it is not kind.
((("something" "is" "cold" "+") ("something" "eats" "mouse" "~")) -> ("something" "is" "kind" "-"))
If something chases the mouse then it is green.
((("something" "chases" "mouse" "+")) -> ("something" "is" "green" "+"))
If the mouse is not kind and the mouse is not round then the mouse eats the cow.
((("mouse" "is" "kind" "~") ("mouse" "is" "round" "~")) -> ("mouse" "eats" "cow" "+"))
If the mouse does not eat the cow then the mouse is green.
((("mouse" "eats" "cow" "~")) -> ("mouse" "is" "green" "+"))
The mouse does not see the cow.
True
1
proof
[(triple7)]
("mouse" "sees" "cow" "-")
triple7
The cow is kind.
False
1
inv-proof
[(triple3)]
("cow" "is" "kind" "+")
triple3
The mouse is not green.
Unknown
inv-rconc
[@2: The mouse is green.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The cow is cold.[(triple2)] The cow is not kind.[(triple3)] The mouse chases the cow.[(triple4)] The mouse does not see the cow.[(triple7)] The mouse eats the cow.[(triple5)] The mouse is rough.[(triple6)] @1: The cow is green.[(((triple1) -> rule6))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple4
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
triple7
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1