The lion is big. The lion is blue. The lion needs the rabbit. The lion needs the tiger. The rabbit is cold. The rabbit visits the squirrel. The squirrel is cold. The squirrel likes the rabbit. The tiger is cold. The tiger likes the lion. The tiger likes the rabbit. The tiger visits the lion. If someone needs the tiger then the tiger visits the lion. If someone is blue and they like the rabbit then the rabbit likes the lion. If someone likes the lion then they like the rabbit. If the lion visits the squirrel and the squirrel is cold then the squirrel visits the lion. If someone is blue and they like the tiger then they are green. If someone is cold and they visit the rabbit then they are green.
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone needs the tiger then the tiger visits the lion.
((("someone" "needs" "tiger" "+")) -> ("tiger" "visits" "lion" "+"))
If someone is blue and they like the rabbit then the rabbit likes the lion.
((("someone" "is" "blue" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
If someone likes the lion then they like the rabbit.
((("someone" "likes" "lion" "+")) -> ("someone" "likes" "rabbit" "+"))
If the lion visits the squirrel and the squirrel is cold then the squirrel visits the lion.
((("lion" "visits" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "visits" "lion" "+"))
If someone is blue and they like the tiger then they are green.
((("someone" "is" "blue" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and they visit the rabbit then they are green.
((("someone" "is" "cold" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "green" "+"))
The lion needs the tiger.
True
1
proof
[(triple4)]
("lion" "needs" "tiger" "+")
triple4
The rabbit does not visit the squirrel.
False
1
inv-proof
[(triple6)]
("rabbit" "visits" "squirrel" "-")
triple6
The squirrel does not visit the lion.
Unknown
inv-rconc
[@1: The squirrel visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "visits" "lion" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion needs the rabbit.[(triple3)] The lion needs the tiger.[(triple4)] The rabbit is cold.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel is cold.[(triple7)] The squirrel likes the rabbit.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the lion.[(triple10)] The tiger likes the rabbit.[(triple11 OR ((triple10) -> rule3))] The tiger visits the lion.[(triple12 OR ((triple4) -> rule1))]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple3
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple4
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple5
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple10
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple11
((triple10) -> (rule3 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12
((triple4) -> (rule1 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1