The rabbit chases the tiger. The rabbit eats the squirrel. The rabbit is green. The rabbit is rough. The squirrel chases the rabbit. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is round. The squirrel sees the rabbit. The tiger chases the rabbit. The tiger chases the squirrel. The tiger eats the rabbit. The tiger is green. The tiger is rough. The tiger sees the rabbit. If the squirrel is rough and the squirrel chases the rabbit then the squirrel sees the tiger.
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If the squirrel is rough and the squirrel chases the rabbit then the squirrel sees the tiger.
((("squirrel" "is" "rough" "+") ("squirrel" "chases" "rabbit" "+")) -> ("squirrel" "sees" "tiger" "+"))
The squirrel chases the tiger.
True
1
proof
[(triple6)]
("squirrel" "chases" "tiger" "+")
triple6
The squirrel does not chase the tiger.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "tiger" "-")
triple6
The squirrel does not see the tiger.
Unknown
inv-rconc
[@1: The squirrel sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "tiger" "-")
The tiger sees the squirrel.
Unknown
random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "+")
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is green.[(triple3)] The rabbit is rough.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the rabbit.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the rabbit.[(triple15)]
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple5
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple9
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple11
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15