The bear is nice. The bear is red. The bear is rough. The bear likes the cat. The bear likes the mouse. The bear sees the cat. The bear visits the cat. The bear visits the mouse. The cat sees the bear. The mouse is round. If the bear visits the cat and the cat is kind then the bear is round. If something likes the cat and the cat sees the mouse then the mouse sees the cat. If something sees the mouse and it visits the cat then it sees the cat. If something visits the cat and the cat likes the bear then it is red. If something sees the mouse and it sees the bear then the bear visits the cat. If something visits the bear then the bear sees the mouse.
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The mouse is round.
("mouse" "is" "round" "+")
If the bear visits the cat and the cat is kind then the bear is round.
((("bear" "visits" "cat" "+") ("cat" "is" "kind" "+")) -> ("bear" "is" "round" "+"))
If something likes the cat and the cat sees the mouse then the mouse sees the cat.
((("something" "likes" "cat" "+") ("cat" "sees" "mouse" "+")) -> ("mouse" "sees" "cat" "+"))
If something sees the mouse and it visits the cat then it sees the cat.
((("something" "sees" "mouse" "+") ("something" "visits" "cat" "+")) -> ("something" "sees" "cat" "+"))
If something visits the cat and the cat likes the bear then it is red.
((("something" "visits" "cat" "+") ("cat" "likes" "bear" "+")) -> ("something" "is" "red" "+"))
If something sees the mouse and it sees the bear then the bear visits the cat.
((("something" "sees" "mouse" "+") ("something" "sees" "bear" "+")) -> ("bear" "visits" "cat" "+"))
If something visits the bear then the bear sees the mouse.
((("something" "visits" "bear" "+")) -> ("bear" "sees" "mouse" "+"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The bear does not like the mouse.
False
1
inv-proof
[(triple5)]
("bear" "likes" "mouse" "-")
triple5
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "sees" "cat" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bear is nice.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the mouse.[(triple5)] The bear sees the cat.[(triple6)] The bear visits the cat.[(triple7)] The bear visits the mouse.[(triple8)] The cat sees the bear.[(triple9)] The mouse is round.[(triple10)]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The bear sees the cat.
("bear" "sees" "cat" "+")
triple6
The bear visits the cat.
("bear" "visits" "cat" "+")
triple7
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The cat sees the bear.
("cat" "sees" "bear" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10