The lion is rough. The lion likes the tiger. The lion needs the rabbit. The lion needs the squirrel. The lion needs the tiger. The rabbit is rough. The rabbit is young. The rabbit likes the tiger. The squirrel likes the tiger. The tiger is young. If someone eats the squirrel then they need the tiger. If someone is nice then they need the lion. If someone eats the tiger then the tiger needs the squirrel. If someone eats the rabbit and the rabbit eats the squirrel then the squirrel likes the rabbit. If the lion likes the rabbit then the lion is red. If someone likes the squirrel and they are red then they like the tiger. If someone needs the tiger and they like the squirrel then the tiger is young. If the lion needs the rabbit then the rabbit is blue.
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone eats the squirrel then they need the tiger.
((("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "tiger" "+"))
If someone is nice then they need the lion.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "lion" "+"))
If someone eats the tiger then the tiger needs the squirrel.
((("someone" "eats" "tiger" "+")) -> ("tiger" "needs" "squirrel" "+"))
If someone eats the rabbit and the rabbit eats the squirrel then the squirrel likes the rabbit.
((("someone" "eats" "rabbit" "+") ("rabbit" "eats" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If the lion likes the rabbit then the lion is red.
((("lion" "likes" "rabbit" "+")) -> ("lion" "is" "red" "+"))
If someone likes the squirrel and they are red then they like the tiger.
((("someone" "likes" "squirrel" "+") ("someone" "is" "red" "+")) -> ("someone" "likes" "tiger" "+"))
If someone needs the tiger and they like the squirrel then the tiger is young.
((("someone" "needs" "tiger" "+") ("someone" "likes" "squirrel" "+")) -> ("tiger" "is" "young" "+"))
If the lion needs the rabbit then the rabbit is blue.
((("lion" "needs" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
The squirrel likes the tiger.
True
1
proof
[(triple9)]
("squirrel" "likes" "tiger" "+")
triple9
The lion does not need the rabbit.
False
1
inv-proof
[(triple3)]
("lion" "needs" "rabbit" "-")
triple3
The rabbit is blue.
True
2
proof
[(((triple3) -> rule8))]
("rabbit" "is" "blue" "+")
((triple3) -> (rule8 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple3) -> rule8))]
("rabbit" "is" "blue" "-")
((triple3) -> (rule8 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "lion" "-")
The rabbit needs the lion.
Unknown
rconc
[@1: The rabbit needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "lion" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The lion is rough.[(triple1)] The lion likes the tiger.[(triple2)] The lion needs the rabbit.[(triple3)] The lion needs the squirrel.[(triple4)] The lion needs the tiger.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit likes the tiger.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger is young.[(triple10)] @1: The rabbit is blue.[(((triple3) -> rule8))]
The lion is rough.
("lion" "is" "rough" "+")
triple1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple4
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple8
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple3) -> (rule8 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1