The dog is rough. The lion needs the squirrel. The rabbit likes the dog. The squirrel does not eat the rabbit. If the rabbit eats the dog then the dog likes the rabbit. If the lion eats the rabbit then the rabbit needs the dog. If someone needs the dog and they are not big then they are round. If someone is rough then they like the squirrel. If someone likes the squirrel and the squirrel likes the dog then the dog is rough. If someone is round then they eat the rabbit.
The dog is rough.
("dog" "is" "rough" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
If the rabbit eats the dog then the dog likes the rabbit.
((("rabbit" "eats" "dog" "+")) -> ("dog" "likes" "rabbit" "+"))
If the lion eats the rabbit then the rabbit needs the dog.
((("lion" "eats" "rabbit" "+")) -> ("rabbit" "needs" "dog" "+"))
If someone needs the dog and they are not big then they are round.
((("someone" "needs" "dog" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "round" "+"))
If someone is rough then they like the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel likes the dog then the dog is rough.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone is round then they eat the rabbit.
((("someone" "is" "round" "+")) -> ("someone" "eats" "rabbit" "+"))
The lion needs the squirrel.
True
1
proof
[(triple2)]
("lion" "needs" "squirrel" "+")
triple2
The squirrel eats the rabbit.
False
1
inv-proof
[(triple4)]
("squirrel" "eats" "rabbit" "+")
triple4
The dog likes the squirrel.
True
2
proof
[(((triple1) -> rule4))]
("dog" "likes" "squirrel" "+")
((triple1) -> (rule4 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple1) -> rule4))]
("dog" "likes" "squirrel" "-")
((triple1) -> (rule4 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the rabbit.
Unknown
inv-rconc
[@1: The dog likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "rabbit" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog likes the lion.
Unknown
random
[@0: The dog likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "lion" "+")
@0: The dog is rough.[(triple1)] The lion needs the squirrel.[(triple2)] The rabbit likes the dog.[(triple3)] The squirrel does not eat the rabbit.[(triple4)] @1: The dog likes the squirrel.[(((triple1) -> rule4))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple3
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple1) -> (rule4 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1