The lion is not young. The lion likes the squirrel. The lion visits the squirrel. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit visits the lion. The squirrel does not eat the rabbit. The squirrel is cold. The squirrel likes the rabbit. The squirrel visits the lion. If someone visits the lion then the lion eats the rabbit. If the rabbit is rough and the rabbit likes the lion then the rabbit is not cold. If someone is nice and they do not eat the rabbit then they eat the squirrel.
The lion is not young.
("lion" "is" "young" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone visits the lion then the lion eats the rabbit.
((("someone" "visits" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
If the rabbit is rough and the rabbit likes the lion then the rabbit is not cold.
((("rabbit" "is" "rough" "+") ("rabbit" "likes" "lion" "+")) -> ("rabbit" "is" "cold" "-"))
If someone is nice and they do not eat the rabbit then they eat the squirrel.
((("someone" "is" "nice" "+") ("someone" "eats" "rabbit" "~")) -> ("someone" "eats" "squirrel" "+"))
The lion is not young.
True
1
proof
[(triple1)]
("lion" "is" "young" "-")
triple1
The lion does not visit the squirrel.
False
1
inv-proof
[(triple3)]
("lion" "visits" "squirrel" "-")
triple3
The lion eats the rabbit.
True
2
proof
[(((triple10) -> rule1) OR ((triple6) -> rule1))]
("lion" "eats" "rabbit" "+")
((triple10) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
((triple6) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion does not eat the rabbit.
False
2
inv-proof
[(((triple10) -> rule1) OR ((triple6) -> rule1))]
("lion" "eats" "rabbit" "-")
((triple10) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
((triple6) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The lion eats the squirrel.
Unknown
rconc
[@1: The lion eats the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "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 visits the squirrel.
Unknown
random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "+")
@0: The lion is not young.[(triple1)] The lion likes the squirrel.[(triple2)] The lion visits the squirrel.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit visits the lion.[(triple6)] The squirrel does not eat the rabbit.[(triple7)] The squirrel is cold.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The lion eats the rabbit.[(((triple10) -> rule1) OR ((triple6) -> rule1))]
The lion is not young.
("lion" "is" "young" "-")
triple1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple6
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple10) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
((triple6) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1