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