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