The bear is kind. The bear sees the rabbit. The bear visits the squirrel. The cat eats the squirrel. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit is rough. The rabbit visits the cat. The rabbit visits the squirrel. The squirrel eats the cat. The squirrel visits the cat. The squirrel visits the rabbit. If someone sees the squirrel then the squirrel is rough. If someone is rough and they eat the bear then the bear visits the cat.
The bear is kind.
("bear" "is" "kind" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone sees the squirrel then the squirrel is rough.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is rough and they eat the bear then the bear visits the cat.
((("someone" "is" "rough" "+") ("someone" "eats" "bear" "+")) -> ("bear" "visits" "cat" "+"))
The bear is kind.
True
1
proof
[(triple1)]
("bear" "is" "kind" "+")
triple1
The bear does not visit the squirrel.
False
1
inv-proof
[(triple3)]
("bear" "visits" "squirrel" "-")
triple3
The bear does not visit the cat.
Unknown
inv-rconc
[@1: The bear visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "cat" "-")
The bear eats the squirrel.
Unknown
random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "+")
@0: The bear is kind.[(triple1)] The bear sees the rabbit.[(triple2)] The bear visits the squirrel.[(triple3)] The cat eats the squirrel.[(triple4)] The rabbit eats the cat.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is rough.[(triple7)] The rabbit visits the cat.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the rabbit.[(triple12)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple5
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12