The dog chases the rabbit. The dog is blue. The dog is nice. The dog likes the lion. The lion chases the rabbit. The lion eats the dog. The lion eats the rabbit. The lion likes the rabbit. The rabbit is not round. The rabbit likes the lion. If something chases the rabbit and it is young then the rabbit likes the dog. If something is young and it chases the rabbit then the rabbit is rough. If the lion likes the rabbit then the rabbit does not eat the dog. If the lion is blue and the lion does not like the rabbit then the rabbit eats the dog. If something eats the lion and the lion does not chase the rabbit then the rabbit eats the dog. If the dog is young and the dog is nice then the dog likes the lion.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If something chases the rabbit and it is young then the rabbit likes the dog.
((("something" "chases" "rabbit" "+") ("something" "is" "young" "+")) -> ("rabbit" "likes" "dog" "+"))
If something is young and it chases the rabbit then the rabbit is rough.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If the lion likes the rabbit then the rabbit does not eat the dog.
((("lion" "likes" "rabbit" "+")) -> ("rabbit" "eats" "dog" "-"))
If the lion is blue and the lion does not like the rabbit then the rabbit eats the dog.
((("lion" "is" "blue" "+") ("lion" "likes" "rabbit" "~")) -> ("rabbit" "eats" "dog" "+"))
If something eats the lion and the lion does not chase the rabbit then the rabbit eats the dog.
((("something" "eats" "lion" "+") ("lion" "chases" "rabbit" "~")) -> ("rabbit" "eats" "dog" "+"))
If the dog is young and the dog is nice then the dog likes the lion.
((("dog" "is" "young" "+") ("dog" "is" "nice" "+")) -> ("dog" "likes" "lion" "+"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The rabbit does not like the lion.
False
1
inv-proof
[(triple10)]
("rabbit" "likes" "lion" "-")
triple10
The rabbit does not eat the dog.
True
2
proof
[(((triple8) -> rule3))]
("rabbit" "eats" "dog" "-")
((triple8) -> (rule3 % int1))
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
int1
The rabbit eats the dog.
False
2
inv-proof
[(((triple8) -> rule3))]
("rabbit" "eats" "dog" "+")
((triple8) -> (rule3 % int1))
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
int1
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit likes the dog.
Unknown
rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "dog" "+")
The dog does not eat the rabbit.
Unknown
inv-random
[@0: The dog eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "rabbit" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog likes the lion.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the dog.[(triple6)] The lion eats the rabbit.[(triple7)] The lion likes the rabbit.[(triple8)] The rabbit is not round.[(triple9)] The rabbit likes the lion.[(triple10)] @1: The rabbit does not eat the dog.[(((triple8) -> rule3))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog likes the lion.
("dog" "likes" "lion" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The rabbit is not round.
("rabbit" "is" "round" "-")
triple9
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple10
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
((triple8) -> (rule3 % int1))
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
int1