The bear is nice. The bear does not like the tiger. The cow is big. The cow visits the bear. The cow visits the tiger. The tiger does not see the bear. The tiger visits the bear. If something visits the bear and it does not like the cow then it sees the bear. If something is red then it visits the tiger.
The bear is nice.
("bear" "is" "nice" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The cow is big.
("cow" "is" "big" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the bear and it does not like the cow then it sees the bear.
((("something" "visits" "bear" "+") ("something" "likes" "cow" "~")) -> ("something" "sees" "bear" "+"))
If something is red then it visits the tiger.
((("something" "is" "red" "+")) -> ("something" "visits" "tiger" "+"))
The cow is big.
True
1
proof
[(triple3)]
("cow" "is" "big" "+")
triple3
The bear likes the tiger.
False
1
inv-proof
[(triple2)]
("bear" "likes" "tiger" "+")
triple2
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear does not like the tiger.[(triple2)] The bear is nice.[(triple1)] The cow is big.[(triple3)] The cow visits the bear.[(triple4)] The cow visits the tiger.[(triple5)] The tiger does not see the bear.[(triple6)] The tiger visits the bear.[(triple7)]
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple3
The cow visits the bear.
("cow" "visits" "bear" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7