The cat chases the dog. The cat chases the mouse. The cat is big. The cat is cold. The cat is rough. The cat is round. The cat likes the mouse. The cat needs the dog. The dog chases the mouse. The mouse is big. The mouse is cold. The mouse is young. The mouse likes the dog. The mouse needs the tiger. The tiger is round. The tiger likes the mouse. If the cat likes the tiger then the tiger is young. If someone is young then they need the cat. If the tiger needs the mouse then the mouse likes the cat. If someone chases the tiger and the tiger needs the mouse then the mouse needs the cat. If someone likes the tiger and they are rough then they chase the tiger. If the tiger needs the cat then the tiger chases the mouse. If someone needs the mouse and they need the cat then the cat likes the mouse. If someone needs the tiger and the tiger is big then the tiger is young.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If the cat likes the tiger then the tiger is young.
((("cat" "likes" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If someone is young then they need the cat.
((("someone" "is" "young" "+")) -> ("someone" "needs" "cat" "+"))
If the tiger needs the mouse then the mouse likes the cat.
((("tiger" "needs" "mouse" "+")) -> ("mouse" "likes" "cat" "+"))
If someone chases the tiger and the tiger needs the mouse then the mouse needs the cat.
((("someone" "chases" "tiger" "+") ("tiger" "needs" "mouse" "+")) -> ("mouse" "needs" "cat" "+"))
If someone likes the tiger and they are rough then they chase the tiger.
((("someone" "likes" "tiger" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "+"))
If the tiger needs the cat then the tiger chases the mouse.
((("tiger" "needs" "cat" "+")) -> ("tiger" "chases" "mouse" "+"))
If someone needs the mouse and they need the cat then the cat likes the mouse.
((("someone" "needs" "mouse" "+") ("someone" "needs" "cat" "+")) -> ("cat" "likes" "mouse" "+"))
If someone needs the tiger and the tiger is big then the tiger is young.
((("someone" "needs" "tiger" "+") ("tiger" "is" "big" "+")) -> ("tiger" "is" "young" "+"))
The cat chases the dog.
True
1
proof
[(triple1)]
("cat" "chases" "dog" "+")
triple1
The mouse is not big.
False
1
inv-proof
[(triple10)]
("mouse" "is" "big" "-")
triple10
The mouse needs the cat.
True
2
proof
[(((triple12) -> rule2))]
("mouse" "needs" "cat" "+")
((triple12) -> (rule2 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The mouse does not need the cat.
False
2
inv-proof
[(((triple12) -> rule2))]
("mouse" "needs" "cat" "-")
((triple12) -> (rule2 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "cat" "-")
The dog chases the tiger.
Unknown
rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "tiger" "+")
The mouse does not like the tiger.
Unknown
inv-random
[@0: The mouse likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "tiger" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat is big.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat likes the mouse.[(triple7)] The cat needs the dog.[(triple8)] The dog chases the mouse.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11)] The mouse is young.[(triple12)] The mouse likes the dog.[(triple13)] The mouse needs the tiger.[(triple14)] The tiger is round.[(triple15)] The tiger likes the mouse.[(triple16)] @1: The mouse needs the cat.[(((triple12) -> rule2))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple7
The cat needs the dog.
("cat" "needs" "dog" "+")
triple8
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse is young.
("mouse" "is" "young" "+")
triple12
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple13
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple16
The mouse needs the cat.
("mouse" "needs" "cat" "+")
((triple12) -> (rule2 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1