The bear chases the cat. The bear is green. The bear likes the mouse. The bear does not visit the mouse. The cat chases the bear. The cat is green. The cat is kind. The cat is not rough. The cat likes the bear. The mouse is red. The mouse likes the cat. The mouse visits the bear. If something visits the bear then the bear is round. If the cat does not visit the mouse then the cat visits the bear. If something likes the mouse then the mouse likes the cat. If the mouse is round and the mouse visits the bear then the mouse likes the bear. If the cat chases the bear then the bear is kind. If something chases the cat and it does not like the bear then it visits the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat likes the bear.
("cat" "likes" "bear" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If something visits the bear then the bear is round.
((("something" "visits" "bear" "+")) -> ("bear" "is" "round" "+"))
If the cat does not visit the mouse then the cat visits the bear.
((("cat" "visits" "mouse" "~")) -> ("cat" "visits" "bear" "+"))
If something likes the mouse then the mouse likes the cat.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "cat" "+"))
If the mouse is round and the mouse visits the bear then the mouse likes the bear.
((("mouse" "is" "round" "+") ("mouse" "visits" "bear" "+")) -> ("mouse" "likes" "bear" "+"))
If the cat chases the bear then the bear is kind.
((("cat" "chases" "bear" "+")) -> ("bear" "is" "kind" "+"))
If something chases the cat and it does not like the bear then it visits the cat.
((("something" "chases" "cat" "+") ("something" "likes" "bear" "~")) -> ("something" "visits" "cat" "+"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The bear does not like the mouse.
False
1
inv-proof
[(triple3)]
("bear" "likes" "mouse" "-")
triple3
The bear is round.
True
2
proof
[(((triple12) -> rule1))]
("bear" "is" "round" "+")
((triple12) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple5) -> rule5))]
("bear" "is" "kind" "-")
((triple5) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear does not visit the cat.
Unknown
inv-rconc
[@1: The bear visits the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "cat" "-")
The cat visits the cat.
Unknown
rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "visits" "cat" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear does not visit the mouse.[(triple4)] The bear is green.[(triple2)] The bear likes the mouse.[(triple3)] The cat chases the bear.[(triple5)] The cat is green.[(triple6)] The cat is kind.[(triple7)] The cat is not rough.[(triple8)] The cat likes the bear.[(triple9)] The mouse is red.[(triple10)] The mouse likes the cat.[(triple11 OR ((triple3) -> rule3))] The mouse visits the bear.[(triple12)] @1: The bear is kind.[(((triple5) -> rule5))] The bear is round.[(((triple12) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
triple4
The bear is green.
("bear" "is" "green" "+")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat is not rough.
("cat" "is" "rough" "-")
triple8
The cat likes the bear.
("cat" "likes" "bear" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple11
((triple3) -> (rule3 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple12
The bear is kind.
("bear" "is" "kind" "+")
((triple5) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple12) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1