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