The lion does not chase the rabbit. The lion is nice. The lion likes the rabbit. The lion likes the squirrel. The rabbit eats the squirrel. The rabbit is young. The squirrel chases the lion. The squirrel chases the rabbit. The squirrel does not eat the lion. The squirrel is big. The squirrel is rough. The squirrel likes the rabbit. If the squirrel is big then the squirrel likes the rabbit. If someone likes the rabbit then they are big. If the squirrel likes the lion and the lion likes the rabbit then the squirrel is big. If someone chases the lion and the lion likes the rabbit then the rabbit likes the lion. If someone chases the lion and the lion is blue then the lion chases the squirrel. If someone is rough then they are young. If someone likes the squirrel and they are not big then the squirrel is rough. If the rabbit is young then the rabbit is rough.
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
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 does not eat the lion.
("squirrel" "eats" "lion" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If the squirrel is big then the squirrel likes the rabbit.
((("squirrel" "is" "big" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone likes the rabbit then they are big.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If the squirrel likes the lion and the lion likes the rabbit then the squirrel is big.
((("squirrel" "likes" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("squirrel" "is" "big" "+"))
If someone chases the lion and the lion likes the rabbit then the rabbit likes the lion.
((("someone" "chases" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
If someone chases the lion and the lion is blue then the lion chases the squirrel.
((("someone" "chases" "lion" "+") ("lion" "is" "blue" "+")) -> ("lion" "chases" "squirrel" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone likes the squirrel and they are not big then the squirrel is rough.
((("someone" "likes" "squirrel" "+") ("someone" "is" "big" "~")) -> ("squirrel" "is" "rough" "+"))
If the rabbit is young then the rabbit is rough.
((("rabbit" "is" "young" "+")) -> ("rabbit" "is" "rough" "+"))
The squirrel chases the lion.
True
1
proof
[(triple7)]
("squirrel" "chases" "lion" "+")
triple7
The lion does not like the squirrel.
False
1
inv-proof
[(triple4)]
("lion" "likes" "squirrel" "-")
triple4
The rabbit likes the lion.
True
3
proof
[(((triple7 triple3) -> rule4))]
("rabbit" "likes" "lion" "+")
((triple7 triple3) -> (rule4 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit does not like the lion.
False
3
inv-proof
[(((triple7 triple3) -> rule4))]
("rabbit" "likes" "lion" "-")
((triple7 triple3) -> (rule4 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "big" "-")
The lion chases the squirrel.
Unknown
rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "chases" "squirrel" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The rabbit likes the squirrel.
Unknown
random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "+")
@0: The lion does not chase the rabbit.[(triple1)] The lion is nice.[(triple2)] The lion likes the rabbit.[(triple3)] The lion likes the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is young.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel does not eat the lion.[(triple9)] The squirrel is big.[(triple10 OR ((triple12) -> rule2))] The squirrel is rough.[(triple11)] The squirrel likes the rabbit.[(triple12 OR ((triple10) -> rule1))] @1: The lion is big.[(((triple3) -> rule2))] The rabbit is rough.[(((triple6) -> rule8))] The rabbit likes the lion.[(((triple7 triple3) -> rule4))] The squirrel is young.[(((triple11) -> rule6))]
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
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 does not eat the lion.
("squirrel" "eats" "lion" "-")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
((triple12) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple12
((triple10) -> (rule1 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple3) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple6) -> (rule8 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
((triple7 triple3) -> (rule4 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple11) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1