The cow eats the dog. The dog does not chase the mouse. The dog is blue. The dog is cold. The dog sees the cow. The dog sees the mouse. The mouse does not chase the cow. The mouse eats the dog. The mouse sees the dog. The squirrel eats the dog. The squirrel does not eat the mouse. The squirrel is nice. If someone sees the cow and they chase the mouse then the cow does not see the mouse. If someone eats the squirrel then they are red. If someone sees the mouse then they are not red. If someone sees the squirrel then they are blue. If the mouse sees the dog and the dog does not see the cow then the dog chases the mouse. If someone sees the dog then the dog is not nice. If someone sees the squirrel and the squirrel chases the cow then they eat the squirrel. All red people are not nice.
The cow eats the dog.
("cow" "eats" "dog" "+")
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone sees the cow and they chase the mouse then the cow does not see the mouse.
((("someone" "sees" "cow" "+") ("someone" "chases" "mouse" "+")) -> ("cow" "sees" "mouse" "-"))
If someone eats the squirrel then they are red.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone sees the mouse then they are not red.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "red" "-"))
If someone sees the squirrel then they are blue.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If the mouse sees the dog and the dog does not see the cow then the dog chases the mouse.
((("mouse" "sees" "dog" "+") ("dog" "sees" "cow" "~")) -> ("dog" "chases" "mouse" "+"))
If someone sees the dog then the dog is not nice.
((("someone" "sees" "dog" "+")) -> ("dog" "is" "nice" "-"))
If someone sees the squirrel and the squirrel chases the cow then they eat the squirrel.
((("someone" "sees" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("someone" "eats" "squirrel" "+"))
All red people are not nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "-"))
The dog sees the cow.
True
1
proof
[(triple5)]
("dog" "sees" "cow" "+")
triple5
The cow does not eat the dog.
False
1
inv-proof
[(triple1)]
("cow" "eats" "dog" "-")
triple1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The cow eats the dog.[(triple1)] The dog does not chase the mouse.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog sees the cow.[(triple5)] The dog sees the mouse.[(triple6)] The mouse does not chase the cow.[(triple7)] The mouse eats the dog.[(triple8)] The mouse sees the dog.[(triple9)] The squirrel does not eat the mouse.[(triple11)] The squirrel eats the dog.[(triple10)] The squirrel is nice.[(triple12)] @1: The dog is not nice.[(((triple9) -> rule6))] The dog is not red.[(((triple6) -> rule3))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog sees the cow.
("dog" "sees" "cow" "+")
triple5
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple6
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple7
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple8
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple11
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The dog is not nice.
("dog" "is" "nice" "-")
((triple9) -> (rule6 % int1))
The dog is not nice.
("dog" "is" "nice" "-")
int1
The dog is not red.
("dog" "is" "red" "-")
((triple6) -> (rule3 % int1))
The dog is not red.
("dog" "is" "red" "-")
int1