The dog eats the mouse. The dog is big. The dog is kind. The dog is red. The dog likes the mouse. The dog does not see the mouse. The mouse does not eat the dog. The mouse is big. The mouse is blue. The mouse is kind. The mouse likes the dog. The mouse does not see the dog. If something eats the mouse then it does not see the dog. If something sees the dog then it does not like the mouse. If something sees the mouse then it likes the dog. If the mouse is red then the mouse does not eat the dog. If the mouse sees the dog and the mouse does not like the dog then the dog does not like the mouse. If something eats the dog then the dog likes the mouse.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse does not see the dog.
("mouse" "sees" "dog" "-")
If something eats the mouse then it does not see the dog.
((("something" "eats" "mouse" "+")) -> ("something" "sees" "dog" "-"))
If something sees the dog then it does not like the mouse.
((("something" "sees" "dog" "+")) -> ("something" "likes" "mouse" "-"))
If something sees the mouse then it likes the dog.
((("something" "sees" "mouse" "+")) -> ("something" "likes" "dog" "+"))
If the mouse is red then the mouse does not eat the dog.
((("mouse" "is" "red" "+")) -> ("mouse" "eats" "dog" "-"))
If the mouse sees the dog and the mouse does not like the dog then the dog does not like the mouse.
((("mouse" "sees" "dog" "+") ("mouse" "likes" "dog" "~")) -> ("dog" "likes" "mouse" "-"))
If something eats the dog then the dog likes the mouse.
((("something" "eats" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
The mouse is blue.
True
1
proof
[(triple9)]
("mouse" "is" "blue" "+")
triple9
The dog sees the mouse.
False
1
inv-proof
[(triple6)]
("dog" "sees" "mouse" "+")
triple6
The dog does not see the dog.
True
2
proof
[(((triple1) -> rule1))]
("dog" "sees" "dog" "-")
((triple1) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog sees the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "sees" "dog" "+")
((triple1) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "dog" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog does not see the mouse.[(triple6)] The dog eats the mouse.[(triple1)] The dog is big.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4)] The dog likes the mouse.[(triple5)] The mouse does not eat the dog.[(triple7)] The mouse does not see the dog.[(triple12)] The mouse is big.[(triple8)] The mouse is blue.[(triple9)] The mouse is kind.[(triple10)] The mouse likes the dog.[(triple11)] @1: The dog does not see the dog.[(((triple1) -> rule1))]
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple5
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple7
The mouse does not see the dog.
("mouse" "sees" "dog" "-")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple11
The dog does not see the dog.
("dog" "sees" "dog" "-")
((triple1) -> (rule1 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1