The bear eats the tiger. The bear needs the rabbit. The bear needs the tiger. The bear visits the tiger. The rabbit eats the bear. The rabbit eats the tiger. The rabbit is nice. The rabbit needs the tiger. The tiger eats the rabbit. The tiger is nice. If something is green then it needs the tiger.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something is green then it needs the tiger.
((("something" "is" "green" "+")) -> ("something" "needs" "tiger" "+"))
The bear needs the rabbit.
True
1
proof
[(triple2)]
("bear" "needs" "rabbit" "+")
triple2
The tiger does not eat the rabbit.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "rabbit" "-")
triple9
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bear eats the tiger.[(triple1)] The bear needs the rabbit.[(triple2)] The bear needs the tiger.[(triple3)] The bear visits the tiger.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is nice.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is nice.[(triple10)]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple5
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10