The dog chases the mouse. The dog is big. The dog is not green. The dog is nice. The dog is red. The dog sees the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is big. The mouse is blue. The mouse is not green. The mouse is nice. The mouse is red. The mouse sees the dog. The mouse visits the dog. If the mouse visits the dog and the mouse is big then the mouse chases the dog. If the mouse is big then the mouse chases the dog. If someone sees the dog and they do not visit the dog then the dog is not red. If someone sees the mouse and they do not chase the mouse then they are not big. If the dog chases the mouse and the dog does not visit the mouse then the mouse is not big. If someone visits the mouse and they see the dog then the mouse is not green.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If the mouse visits the dog and the mouse is big then the mouse chases the dog.
((("mouse" "visits" "dog" "+") ("mouse" "is" "big" "+")) -> ("mouse" "chases" "dog" "+"))
If the mouse is big then the mouse chases the dog.
((("mouse" "is" "big" "+")) -> ("mouse" "chases" "dog" "+"))
If someone sees the dog and they do not visit the dog then the dog is not red.
((("someone" "sees" "dog" "+") ("someone" "visits" "dog" "~")) -> ("dog" "is" "red" "-"))
If someone sees the mouse and they do not chase the mouse then they are not big.
((("someone" "sees" "mouse" "+") ("someone" "chases" "mouse" "~")) -> ("someone" "is" "big" "-"))
If the dog chases the mouse and the dog does not visit the mouse then the mouse is not big.
((("dog" "chases" "mouse" "+") ("dog" "visits" "mouse" "~")) -> ("mouse" "is" "big" "-"))
If someone visits the mouse and they see the dog then the mouse is not green.
((("someone" "visits" "mouse" "+") ("someone" "sees" "dog" "+")) -> ("mouse" "is" "green" "-"))
The mouse is blue.
True
1
proof
[(triple10)]
("mouse" "is" "blue" "+")
triple10
The mouse does not visit the dog.
False
1
inv-proof
[(triple15)]
("mouse" "visits" "dog" "-")
triple15
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
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 chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple4)] The dog is not green.[(triple3)] The dog is red.[(triple5)] The dog sees the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse chases the dog.[(triple8 OR ((triple9) -> rule2) OR ((triple15 triple9) -> rule1))] The mouse is big.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple12)] The mouse is not green.[(triple11)] The mouse is red.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the dog.[(triple15)]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is not green.
("dog" "is" "green" "-")
triple3
The dog is red.
("dog" "is" "red" "+")
triple5
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple6
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple7
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple8
((triple9) -> (rule2 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
((triple15 triple9) -> (rule1 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is not green.
("mouse" "is" "green" "-")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple14
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple15