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