The cat chases the mouse. The cat eats the mouse. The cat is cold. The cat is rough. The cat needs the mouse. The cow chases the mouse. The cow eats the mouse. The cow is cold. The mouse eats the squirrel. The mouse needs the cow. The squirrel eats the cow. The squirrel is young. If something needs the squirrel and the squirrel is blue then the squirrel eats the mouse. If the mouse chases the cat then the mouse is cold. If something needs the squirrel and it is blue then it needs the cow. If something chases the mouse and it is green then the mouse chases the cat. If the mouse eats the cat and the cat chases the squirrel then the cat needs the cow. If something is green and cold then it eats the cow. If something needs the cat then the cat eats the squirrel. If something eats the mouse and the mouse needs the cow then the mouse chases the cat.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something needs the squirrel and the squirrel is blue then the squirrel eats the mouse.
((("something" "needs" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "eats" "mouse" "+"))
If the mouse chases the cat then the mouse is cold.
((("mouse" "chases" "cat" "+")) -> ("mouse" "is" "cold" "+"))
If something needs the squirrel and it is blue then it needs the cow.
((("something" "needs" "squirrel" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "cow" "+"))
If something chases the mouse and it is green then the mouse chases the cat.
((("something" "chases" "mouse" "+") ("something" "is" "green" "+")) -> ("mouse" "chases" "cat" "+"))
If the mouse eats the cat and the cat chases the squirrel then the cat needs the cow.
((("mouse" "eats" "cat" "+") ("cat" "chases" "squirrel" "+")) -> ("cat" "needs" "cow" "+"))
If something is green and cold then it eats the cow.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "eats" "cow" "+"))
If something needs the cat then the cat eats the squirrel.
((("something" "needs" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If something eats the mouse and the mouse needs the cow then the mouse chases the cat.
((("something" "eats" "mouse" "+") ("mouse" "needs" "cow" "+")) -> ("mouse" "chases" "cat" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple9)]
("mouse" "eats" "squirrel" "+")
triple9
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The mouse chases the cat.
True
3
proof
[(((triple2 triple10) -> rule8) OR ((triple7 triple10) -> rule8))]
("mouse" "chases" "cat" "+")
((triple2 triple10) -> (rule8 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
((triple7 triple10) -> (rule8 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse does not chase the cat.
False
3
inv-proof
[(((triple2 triple10) -> rule8) OR ((triple7 triple10) -> rule8))]
("mouse" "chases" "cat" "-")
((triple2 triple10) -> (rule8 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
((triple7 triple10) -> (rule8 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The cat does not eat the cow.
Unknown
inv-rconc
[@1: The cat eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "eats" "cow" "-")
The cow needs the cow.
Unknown
rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "cow" "+")
The squirrel does not need the cat.
Unknown
inv-random
[@0: The squirrel needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cat" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat is cold.[(triple3)] The cat is rough.[(triple4)] The cat needs the mouse.[(triple5)] The cow chases the mouse.[(triple6)] The cow eats the mouse.[(triple7)] The cow is cold.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse needs the cow.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is young.[(triple12)] @1: The mouse chases the cat.[(((triple2 triple10) -> rule8) OR ((triple7 triple10) -> rule8))] @2: The mouse is cold.[(((((triple2 triple10) -> rule8)) -> rule2) OR ((((triple7 triple10) -> rule8)) -> rule2))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple5
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple6
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple9
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((triple2 triple10) -> (rule8 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
((triple7 triple10) -> (rule8 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((((triple2 triple10) -> (rule8 % int2))) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
((((triple7 triple10) -> (rule8 % int2))) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2