The bear chases the mouse. The bear is rough. The bear likes the mouse. The cat chases the bear. The cat does not chase the mouse. The cat is blue. The cat is rough. The cat likes the mouse. The cat does not visit the mouse. The mouse chases the bear. The mouse chases the cat. The mouse is cold. The mouse likes the bear. The mouse likes the cat. The mouse visits the bear. The mouse does not visit the cat. If someone visits the mouse and they do not visit the cat then they do not visit the bear. If someone chases the mouse then they do not visit the bear. If someone visits the cat then the cat is kind. If someone is rough and they do not chase the bear then they do not chase the mouse. If someone likes the cat and the cat visits the mouse then they do not chase the mouse. If someone is blue then they like the bear. If the mouse visits the bear then the bear is kind. If the mouse chases the bear then the bear likes the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
If someone visits the mouse and they do not visit the cat then they do not visit the bear.
((("someone" "visits" "mouse" "+") ("someone" "visits" "cat" "~")) -> ("someone" "visits" "bear" "-"))
If someone chases the mouse then they do not visit the bear.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "bear" "-"))
If someone visits the cat then the cat is kind.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone is rough and they do not chase the bear then they do not chase the mouse.
((("someone" "is" "rough" "+") ("someone" "chases" "bear" "~")) -> ("someone" "chases" "mouse" "-"))
If someone likes the cat and the cat visits the mouse then they do not chase the mouse.
((("someone" "likes" "cat" "+") ("cat" "visits" "mouse" "+")) -> ("someone" "chases" "mouse" "-"))
If someone is blue then they like the bear.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "bear" "+"))
If the mouse visits the bear then the bear is kind.
((("mouse" "visits" "bear" "+")) -> ("bear" "is" "kind" "+"))
If the mouse chases the bear then the bear likes the mouse.
((("mouse" "chases" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
The cat chases the bear.
True
1
proof
[(triple4)]
("cat" "chases" "bear" "+")
triple4
The cat is not rough.
False
1
inv-proof
[(triple7)]
("cat" "is" "rough" "-")
triple7
The cat likes the bear.
True
2
proof
[(((triple6) -> rule6))]
("cat" "likes" "bear" "+")
((triple6) -> (rule6 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The bear visits the bear.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "visits" "bear" "+")
((triple1) -> (rule2 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "kind" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bear chases the mouse.[(triple1)] The bear is rough.[(triple2)] The bear likes the mouse.[(triple3 OR ((triple10) -> rule8))] The cat chases the bear.[(triple4)] The cat does not chase the mouse.[(triple5)] The cat does not visit the mouse.[(triple9)] The cat is blue.[(triple6)] The cat is rough.[(triple7)] The cat likes the mouse.[(triple8)] The mouse chases the bear.[(triple10)] The mouse chases the cat.[(triple11)] The mouse does not visit the cat.[(triple16)] The mouse is cold.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the cat.[(triple14)] The mouse visits the bear.[(triple15)] @1: The bear does not visit the bear.[(((triple1) -> rule2))] The bear is kind.[(((triple15) -> rule7))] The cat likes the bear.[(((triple6) -> rule6))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
((triple10) -> (rule8 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple4
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple5
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
triple9
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
triple16
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple13
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The bear does not visit the bear.
("bear" "visits" "bear" "-")
((triple1) -> (rule2 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is kind.
("bear" "is" "kind" "+")
((triple15) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
((triple6) -> (rule6 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1