The dog is blue. The dog needs the mouse. The mouse eats the dog. The mouse is blue. The mouse is cold. The mouse is round. The mouse sees the dog. If someone needs the dog then the dog is round. If someone eats the mouse and the mouse is round then they are cold. If someone eats the mouse then the mouse is cold. If someone is nice and blue then they do not need the dog. If the mouse is nice then the mouse eats the dog. If the mouse is cold and the mouse does not eat the dog then the dog needs the mouse.
The dog is blue.
("dog" "is" "blue" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone needs the dog then the dog is round.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "round" "+"))
If someone eats the mouse and the mouse is round then they are cold.
((("someone" "eats" "mouse" "+") ("mouse" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the mouse then the mouse is cold.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If someone is nice and blue then they do not need the dog.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "needs" "dog" "-"))
If the mouse is nice then the mouse eats the dog.
((("mouse" "is" "nice" "+")) -> ("mouse" "eats" "dog" "+"))
If the mouse is cold and the mouse does not eat the dog then the dog needs the mouse.
((("mouse" "is" "cold" "+") ("mouse" "eats" "dog" "~")) -> ("dog" "needs" "mouse" "+"))
The mouse sees the dog.
True
1
proof
[(triple7)]
("mouse" "sees" "dog" "+")
triple7
The mouse does not eat the dog.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "dog" "-")
triple3
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "round" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is blue.[(triple1)] The dog needs the mouse.[(triple2)] The mouse eats the dog.[(triple3)] The mouse is blue.[(triple4)] The mouse is cold.[(triple5)] The mouse is round.[(triple6)] The mouse sees the dog.[(triple7)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple7