The dog chases the mouse. The mouse chases the dog. If someone sees the dog and they eat the mouse then they eat the dog. If someone chases the mouse and they see the dog then they eat the dog. If the dog does not eat the mouse and the mouse does not chase the dog then the mouse does not see the dog. If someone chases the mouse and they see the dog then the dog is kind. If someone chases the mouse then they are not kind. If someone sees the mouse and they do not eat the mouse then they are round.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
If someone sees the dog and they eat the mouse then they eat the dog.
((("someone" "sees" "dog" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the mouse and they see the dog then they eat the dog.
((("someone" "chases" "mouse" "+") ("someone" "sees" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If the dog does not eat the mouse and the mouse does not chase the dog then the mouse does not see the dog.
((("dog" "eats" "mouse" "~") ("mouse" "chases" "dog" "~")) -> ("mouse" "sees" "dog" "-"))
If someone chases the mouse and they see the dog then the dog is kind.
((("someone" "chases" "mouse" "+") ("someone" "sees" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone chases the mouse then they are not kind.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "kind" "-"))
If someone sees the mouse and they do not eat the mouse then they are round.
((("someone" "sees" "mouse" "+") ("someone" "eats" "mouse" "~")) -> ("someone" "is" "round" "+"))
The dog chases the mouse.
True
1
proof
[(triple1)]
("dog" "chases" "mouse" "+")
triple1
The dog does not chase the mouse.
False
1
inv-proof
[(triple1)]
("dog" "chases" "mouse" "-")
triple1
The dog is not kind.
True
2
proof
[(((triple1) -> rule5))]
("dog" "is" "kind" "-")
((triple1) -> (rule5 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog is kind.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "round" "-")
The dog is round.
Unknown
rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "round" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The dog eats the mouse.
Unknown
random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The mouse chases the dog.[(triple2)] @1: The dog is not kind.[(((triple1) -> rule5))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple2
The dog is not kind.
("dog" "is" "kind" "-")
((triple1) -> (rule5 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1