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