The cat does not eat the dog. The cat needs the rabbit. The dog is not blue. The dog is green. The dog needs the rabbit. The dog visits the cat. The mouse eats the cat. The mouse eats the rabbit. The mouse is kind. The rabbit eats the cat. The rabbit eats the dog. The rabbit is blue. If something needs the dog then it visits the mouse. If the mouse visits the dog then the dog is kind. If something visits the rabbit then it does not need the rabbit. If something is cold and it does not need the mouse then it does not eat the rabbit. If something visits the cat then the cat eats the mouse. If something eats the mouse then it needs the cat.
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is green.
("dog" "is" "green" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If something needs the dog then it visits the mouse.
((("something" "needs" "dog" "+")) -> ("something" "visits" "mouse" "+"))
If the mouse visits the dog then the dog is kind.
((("mouse" "visits" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something visits the rabbit then it does not need the rabbit.
((("something" "visits" "rabbit" "+")) -> ("something" "needs" "rabbit" "-"))
If something is cold and it does not need the mouse then it does not eat the rabbit.
((("something" "is" "cold" "+") ("something" "needs" "mouse" "~")) -> ("something" "eats" "rabbit" "-"))
If something visits the cat then the cat eats the mouse.
((("something" "visits" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
If something eats the mouse then it needs the cat.
((("something" "eats" "mouse" "+")) -> ("something" "needs" "cat" "+"))
The dog needs the rabbit.
True
1
proof
[(triple5)]
("dog" "needs" "rabbit" "+")
triple5
The dog does not need the rabbit.
False
1
inv-proof
[(triple5)]
("dog" "needs" "rabbit" "-")
triple5
The cat eats the mouse.
True
2
proof
[(((triple6) -> rule5))]
("cat" "eats" "mouse" "+")
((triple6) -> (rule5 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat does not eat the mouse.
False
2
inv-proof
[(((triple6) -> rule5))]
("cat" "eats" "mouse" "-")
((triple6) -> (rule5 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The dog does not visit the mouse.
Unknown
inv-rconc
[@1: The dog visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "mouse" "-")
The dog is kind.
Unknown
rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "kind" "+")
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The cat does not eat the dog.[(triple1)] The cat needs the rabbit.[(triple2)] The dog is green.[(triple4)] The dog is not blue.[(triple3)] The dog needs the rabbit.[(triple5)] The dog visits the cat.[(triple6)] The mouse eats the cat.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is kind.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit is blue.[(triple12)] @1: The cat eats the mouse.[(((triple6) -> rule5))] @2: The cat needs the cat.[(((((triple6) -> rule5)) -> rule6))]
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple1
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is not blue.
("dog" "is" "blue" "-")
triple3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The dog visits the cat.
("dog" "visits" "cat" "+")
triple6
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple7
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The cat eats the mouse.
("cat" "eats" "mouse" "+")
((triple6) -> (rule5 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int2