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