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