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