The bear chases the dog. The bear is red. The bear sees the tiger. The bear visits the dog. The dog chases the bear. The dog chases the tiger. The tiger chases the bear. The tiger chases the dog. The tiger is big. The tiger is green. The tiger sees the bear. The tiger sees the dog. If someone sees the bear and the bear chases the tiger then the bear is green.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone sees the bear and the bear chases the tiger then the bear is green.
((("someone" "sees" "bear" "+") ("bear" "chases" "tiger" "+")) -> ("bear" "is" "green" "+"))
The tiger chases the dog.
True
1
proof
[(triple8)]
("tiger" "chases" "dog" "+")
triple8
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear is red.[(triple2)] The bear sees the tiger.[(triple3)] The bear visits the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger chases the dog.[(triple8)] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger sees the bear.[(triple11)] The tiger sees the dog.[(triple12)]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple11
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple12