The dog is young. The dog visits the squirrel. The lion eats the dog. The lion is big. The lion likes the rabbit. The rabbit eats the dog. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit is big. The rabbit likes the lion. The squirrel eats the dog. The squirrel eats the lion. If something eats the squirrel then it is red. If something is red and it eats the squirrel then the squirrel visits the lion.
The dog is young.
("dog" "is" "young" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
If something eats the squirrel then it is red.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something is red and it eats the squirrel then the squirrel visits the lion.
((("something" "is" "red" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "visits" "lion" "+"))
The rabbit eats the lion.
True
1
proof
[(triple7)]
("rabbit" "eats" "lion" "+")
triple7
The lion does not eat the dog.
False
1
inv-proof
[(triple3)]
("lion" "eats" "dog" "-")
triple3
The rabbit is red.
True
2
proof
[(((triple8) -> rule1))]
("rabbit" "is" "red" "+")
((triple8) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple8) -> rule1))]
("rabbit" "is" "red" "-")
((triple8) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The squirrel visits the lion.
True
4
proof
[(((((triple8) -> rule1) triple8) -> rule2))]
("squirrel" "visits" "lion" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule2 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The squirrel does not visit the lion.
False
4
inv-proof
[(((((triple8) -> rule1) triple8) -> rule2))]
("squirrel" "visits" "lion" "-")
((((triple8) -> (rule1 % int2)) triple8) -> (rule2 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "+")
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "red" "-")
The squirrel visits the dog.
Unknown
random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "+")
The squirrel does not visit the rabbit.
Unknown
inv-random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
@0: The dog is young.[(triple1)] The dog visits the squirrel.[(triple2)] The lion eats the dog.[(triple3)] The lion is big.[(triple4)] The lion likes the rabbit.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is big.[(triple9)] The rabbit likes the lion.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel eats the lion.[(triple12)] @1: The rabbit is red.[(((triple8) -> rule1))] @2: The squirrel visits the lion.[(((((triple8) -> rule1) triple8) -> rule2))]
The dog is young.
("dog" "is" "young" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The lion eats the dog.
("lion" "eats" "dog" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple6
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple7
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
((triple8) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule2 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2