The bear chases the tiger. The bear is blue. The bear is green. The bear visits the tiger. The tiger chases the bear. The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger is not young. The tiger does not see the bear. The tiger does not visit the bear. If the bear sees the tiger and the bear does not visit the tiger then the bear chases the tiger. If something chases the tiger and the tiger visits the bear then it is round. If something visits the tiger and it is not round then it chases the bear.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
If the bear sees the tiger and the bear does not visit the tiger then the bear chases the tiger.
((("bear" "sees" "tiger" "+") ("bear" "visits" "tiger" "~")) -> ("bear" "chases" "tiger" "+"))
If something chases the tiger and the tiger visits the bear then it is round.
((("something" "chases" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("something" "is" "round" "+"))
If something visits the tiger and it is not round then it chases the bear.
((("something" "visits" "tiger" "+") ("something" "is" "round" "~")) -> ("something" "chases" "bear" "+"))
The bear visits the tiger.
True
1
proof
[(triple4)]
("bear" "visits" "tiger" "+")
triple4
The tiger is young.
False
1
inv-proof
[(triple10)]
("tiger" "is" "young" "+")
triple10
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "round" "-")
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 chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear visits the tiger.[(triple4)] The tiger chases the bear.[(triple5)] The tiger does not see the bear.[(triple11)] The tiger does not visit the bear.[(triple12)] The tiger is blue.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger is not young.[(triple10)] The tiger is round.[(triple9)]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple5
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
triple11
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger is green.
("tiger" "is" "green" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is not young.
("tiger" "is" "young" "-")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple9