The bear is cold. The bear is kind. The bear visits the squirrel. The dog eats the tiger. The dog is kind. The dog sees the squirrel. The dog sees the tiger. The squirrel is kind. The tiger eats the squirrel. The tiger is rough. If something eats the bear then it visits the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something eats the bear then it visits the bear.
((("something" "eats" "bear" "+")) -> ("something" "visits" "bear" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The tiger is not rough.
False
1
inv-proof
[(triple10)]
("tiger" "is" "rough" "-")
triple10
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The bear sees the tiger.
Unknown
random
[@0: The bear sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "tiger" "+")
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear visits the squirrel.[(triple3)] The dog eats the tiger.[(triple4)] The dog is kind.[(triple5)] The dog sees the squirrel.[(triple6)] The dog sees the tiger.[(triple7)] The squirrel is kind.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is rough.[(triple10)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10