The bear visits the tiger. The cow is red. The lion does not eat the cow. The lion is not red. The lion visits the tiger. The tiger likes the bear. The tiger visits the bear. If someone is round then they like the lion. If someone visits the bear then the bear is red.
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow is red.
("cow" "is" "red" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion is not red.
("lion" "is" "red" "-")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone is round then they like the lion.
((("someone" "is" "round" "+")) -> ("someone" "likes" "lion" "+"))
If someone visits the bear then the bear is red.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "red" "+"))
The tiger likes the bear.
True
1
proof
[(triple6)]
("tiger" "likes" "bear" "+")
triple6
The tiger does not visit the bear.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "bear" "-")
triple7
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "lion" "-")
The bear visits the cow.
Unknown
random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "+")
@0: The bear visits the tiger.[(triple1)] The cow is red.[(triple2)] The lion does not eat the cow.[(triple3)] The lion is not red.[(triple4)] The lion visits the tiger.[(triple5)] The tiger likes the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear is red.[(((triple7) -> rule2))]
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple3
The lion is not red.
("lion" "is" "red" "-")
triple4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple5
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
The bear is red.
("bear" "is" "red" "+")
((triple7) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1