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