The dog chases the mouse. The dog is not cold. The dog is green. The dog is kind. The dog is red. The dog is not young. The dog does not need the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is cold. The mouse needs the dog. The mouse does not visit the dog. If someone needs the mouse and they do not need the dog then the dog visits the mouse. If the mouse does not need the dog then the dog does not visit the mouse. If someone chases the mouse then the mouse is young. If the mouse is cold and the mouse chases the dog then the mouse is young. If the dog does not need the mouse then the mouse is red. If someone needs the dog and the dog is green then they are green.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
If someone needs the mouse and they do not need the dog then the dog visits the mouse.
((("someone" "needs" "mouse" "+") ("someone" "needs" "dog" "~")) -> ("dog" "visits" "mouse" "+"))
If the mouse does not need the dog then the dog does not visit the mouse.
((("mouse" "needs" "dog" "~")) -> ("dog" "visits" "mouse" "-"))
If someone chases the mouse then the mouse is young.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If the mouse is cold and the mouse chases the dog then the mouse is young.
((("mouse" "is" "cold" "+") ("mouse" "chases" "dog" "+")) -> ("mouse" "is" "young" "+"))
If the dog does not need the mouse then the mouse is red.
((("dog" "needs" "mouse" "~")) -> ("mouse" "is" "red" "+"))
If someone needs the dog and the dog is green then they are green.
((("someone" "needs" "dog" "+") ("dog" "is" "green" "+")) -> ("someone" "is" "green" "+"))
The mouse chases the dog.
True
1
proof
[(triple9)]
("mouse" "chases" "dog" "+")
triple9
The dog does not chase the mouse.
False
1
inv-proof
[(triple1)]
("dog" "chases" "mouse" "-")
triple1
The mouse is red.
True
2
proof
[(((triple7) -> rule5))]
("mouse" "is" "red" "+")
((triple7) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is not green.
False
3
inv-proof
[(((triple11 triple3) -> rule6))]
("mouse" "is" "green" "-")
((triple11 triple3) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
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 needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
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 mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The dog does not need the mouse.[(triple7)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is not cold.[(triple2)] The dog is not young.[(triple6)] The dog is red.[(triple5)] The dog visits the mouse.[(triple8)] The mouse chases the dog.[(triple9)] The mouse does not visit the dog.[(triple12)] The mouse is cold.[(triple10)] The mouse needs the dog.[(triple11)] @1: The mouse is green.[(((triple11 triple3) -> rule6))] The mouse is red.[(((triple7) -> rule5))] The mouse is young.[(((triple1) -> rule3) OR ((triple10 triple9) -> rule4))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is not young.
("dog" "is" "young" "-")
triple6
The dog is red.
("dog" "is" "red" "+")
triple5
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
((triple11 triple3) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((triple7) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple1) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((triple10 triple9) -> (rule4 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1