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