The dog eats the mouse. The dog is cold. The dog is nice. The dog is young. The dog does not like the mouse. The dog needs the mouse. The mouse eats the dog. The mouse is cold. The mouse is nice. The mouse is rough. The mouse does not like the dog. The mouse needs the dog. If the dog is green and the mouse does not eat the dog then the mouse does not like the dog. If the mouse does not eat the dog then the mouse likes the dog. If something likes the mouse then the mouse likes the dog. If something eats the dog then it eats the mouse. If something is cold and it likes the dog then it needs the mouse. If the mouse does not eat the dog then the dog needs the mouse. If something is green and nice then it needs the dog. If the dog does not eat the mouse then the dog is nice.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If the dog is green and the mouse does not eat the dog then the mouse does not like the dog.
((("dog" "is" "green" "+") ("mouse" "eats" "dog" "~")) -> ("mouse" "likes" "dog" "-"))
If the mouse does not eat the dog then the mouse likes the dog.
((("mouse" "eats" "dog" "~")) -> ("mouse" "likes" "dog" "+"))
If something likes the mouse then the mouse likes the dog.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
If something eats the dog then it eats the mouse.
((("something" "eats" "dog" "+")) -> ("something" "eats" "mouse" "+"))
If something is cold and it likes the dog then it needs the mouse.
((("something" "is" "cold" "+") ("something" "likes" "dog" "+")) -> ("something" "needs" "mouse" "+"))
If the mouse does not eat the dog then the dog needs the mouse.
((("mouse" "eats" "dog" "~")) -> ("dog" "needs" "mouse" "+"))
If something is green and nice then it needs the dog.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "dog" "+"))
If the dog does not eat the mouse then the dog is nice.
((("dog" "eats" "mouse" "~")) -> ("dog" "is" "nice" "+"))
The mouse needs the dog.
True
1
proof
[(triple12)]
("mouse" "needs" "dog" "+")
triple12
The mouse is not rough.
False
1
inv-proof
[(triple10)]
("mouse" "is" "rough" "-")
triple10
The mouse eats the mouse.
True
2
proof
[(((triple7) -> rule4))]
("mouse" "eats" "mouse" "+")
((triple7) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple7) -> rule4))]
("mouse" "eats" "mouse" "-")
((triple7) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "needs" "dog" "+")
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 mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The dog does not like the mouse.[(triple5)] The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is young.[(triple4)] The dog needs the mouse.[(triple6)] The mouse does not like the dog.[(triple11)] The mouse eats the dog.[(triple7)] The mouse is cold.[(triple8)] The mouse is nice.[(triple9)] The mouse is rough.[(triple10)] The mouse needs the dog.[(triple12)] @1: The mouse eats the mouse.[(((triple7) -> rule4))]
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple6
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
triple11
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple12
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple7) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1