The dog chases the mouse. The dog is not cold. The dog is not green. The dog is kind. The dog is nice. The dog is rough. The dog needs the mouse. The dog visits the mouse. The mouse does not chase the dog. The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse needs the dog. The mouse does not visit the dog. If something needs the dog then the dog visits the mouse. If something is nice and it needs the dog then it chases the mouse.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is not green.
("dog" "is" "green" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
If something needs the dog then the dog visits the mouse.
((("something" "needs" "dog" "+")) -> ("dog" "visits" "mouse" "+"))
If something is nice and it needs the dog then it chases the mouse.
((("something" "is" "nice" "+") ("something" "needs" "dog" "+")) -> ("something" "chases" "mouse" "+"))
The dog is rough.
True
1
proof
[(triple6)]
("dog" "is" "rough" "+")
triple6
The dog does not visit the mouse.
False
1
inv-proof
[(triple8 OR ((triple14) -> rule1))]
("dog" "visits" "mouse" "-")
triple8
((triple14) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse chases the mouse.
True
3
proof
[(((triple13 triple14) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple13 triple14) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
3
inv-proof
[(((triple13 triple14) -> rule2))]
("mouse" "chases" "mouse" "-")
((triple13 triple14) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog is not cold.[(triple2)] The dog is not green.[(triple3)] The dog is rough.[(triple6)] The dog needs the mouse.[(triple7)] The dog visits the mouse.[(triple8 OR ((triple14) -> rule1))] The mouse does not chase the dog.[(triple9)] The mouse does not visit the dog.[(triple15)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse needs the dog.[(triple14)] @1: The mouse chases the mouse.[(((triple13 triple14) -> rule2))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is not green.
("dog" "is" "green" "-")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple8
((triple14) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
triple9
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple14
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple13 triple14) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1