The dog does not chase the mouse. The dog is big. The dog is cold. The dog is kind. The dog is red. The dog is young. The dog likes the mouse. The dog needs the mouse. The mouse chases the dog. The mouse is not big. The mouse is cold. The mouse is kind. The mouse is red. The mouse is young. The mouse does not like the dog. The mouse needs the dog. If someone is big and not red then they need the mouse. If the mouse chases the dog then the mouse does not like the dog.
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If someone is big and not red then they need the mouse.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "needs" "mouse" "+"))
If the mouse chases the dog then the mouse does not like the dog.
((("mouse" "chases" "dog" "+")) -> ("mouse" "likes" "dog" "-"))
The dog does not chase the mouse.
True
1
proof
[(triple1)]
("dog" "chases" "mouse" "-")
triple1
The dog chases the mouse.
False
1
inv-proof
[(triple1)]
("dog" "chases" "mouse" "+")
triple1
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The dog does not chase the mouse.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the mouse.[(triple7)] The dog needs the mouse.[(triple8)] The mouse chases the dog.[(triple9)] The mouse does not like the dog.[(triple15 OR ((triple9) -> rule2))] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse is not big.[(triple10)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse needs the dog.[(triple16)]
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple7
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
triple15
((triple9) -> (rule2 % int1))
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is not big.
("mouse" "is" "big" "-")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple16