The dog does not chase the mouse. The dog is blue. The dog is green. The dog is nice. The dog is not rough. The dog is round. The dog does not like the mouse. The dog needs the mouse. The mouse does not chase the dog. The mouse is not blue. The mouse is green. The mouse is nice. The mouse is rough. The mouse is round. The mouse likes the dog. The mouse needs the dog. If someone needs the mouse and they chase the dog then the dog likes the mouse. If someone chases the dog then the dog chases the mouse. If the mouse chases the dog then the mouse is blue. If someone is round then they need the mouse. If someone chases the mouse and they like the mouse then the mouse chases the dog. If someone is nice and they chase the dog then they are not blue.
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is round.
("dog" "is" "round" "+")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If someone needs the mouse and they chase the dog then the dog likes the mouse.
((("someone" "needs" "mouse" "+") ("someone" "chases" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If someone chases the dog then the dog chases the mouse.
((("someone" "chases" "dog" "+")) -> ("dog" "chases" "mouse" "+"))
If the mouse chases the dog then the mouse is blue.
((("mouse" "chases" "dog" "+")) -> ("mouse" "is" "blue" "+"))
If someone is round then they need the mouse.
((("someone" "is" "round" "+")) -> ("someone" "needs" "mouse" "+"))
If someone chases the mouse and they like the mouse then the mouse chases the dog.
((("someone" "chases" "mouse" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "chases" "dog" "+"))
If someone is nice and they chase the dog then they are not blue.
((("someone" "is" "nice" "+") ("someone" "chases" "dog" "+")) -> ("someone" "is" "blue" "-"))
The dog is not rough.
True
1
proof
[(triple5)]
("dog" "is" "rough" "-")
triple5
The mouse is not round.
False
1
inv-proof
[(triple14)]
("mouse" "is" "round" "-")
triple14
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog does not chase the mouse.[(triple1)] The dog does not like the mouse.[(triple7)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is not rough.[(triple5)] The dog is round.[(triple6)] The dog needs the mouse.[(triple8 OR ((triple6) -> rule4))] The mouse does not chase the dog.[(triple9)] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is not blue.[(triple10)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse likes the dog.[(triple15)] The mouse needs the dog.[(triple16)] @1: The mouse needs the mouse.[(((triple14) -> rule4))]
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple1
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is not rough.
("dog" "is" "rough" "-")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple8
((triple6) -> (rule4 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is not blue.
("mouse" "is" "blue" "-")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple16
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple14) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1