The cat likes the lion. The cow eats the cat. The dog eats the lion. The dog is nice. The dog does not visit the cow. The lion does not like the cat. The lion does not visit the cow. If someone is round and blue then they do not visit the dog. If the dog is not round then the dog is blue. If someone eats the dog and the dog does not like the cow then the dog is nice. If someone visits the cow then the cow is blue. If the cat likes the dog then the cat does not eat the lion. If someone likes the lion then they like the dog. If someone is kind and blue then they eat the cat. If someone visits the cow and they do not eat the lion then they are kind.
The cat likes the lion.
("cat" "likes" "lion" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not visit the cow.
("dog" "visits" "cow" "-")
The lion does not like the cat.
("lion" "likes" "cat" "-")
The lion does not visit the cow.
("lion" "visits" "cow" "-")
If someone is round and blue then they do not visit the dog.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "dog" "-"))
If the dog is not round then the dog is blue.
((("dog" "is" "round" "~")) -> ("dog" "is" "blue" "+"))
If someone eats the dog and the dog does not like the cow then the dog is nice.
((("someone" "eats" "dog" "+") ("dog" "likes" "cow" "~")) -> ("dog" "is" "nice" "+"))
If someone visits the cow then the cow is blue.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "blue" "+"))
If the cat likes the dog then the cat does not eat the lion.
((("cat" "likes" "dog" "+")) -> ("cat" "eats" "lion" "-"))
If someone likes the lion then they like the dog.
((("someone" "likes" "lion" "+")) -> ("someone" "likes" "dog" "+"))
If someone is kind and blue then they eat the cat.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "cat" "+"))
If someone visits the cow and they do not eat the lion then they are kind.
((("someone" "visits" "cow" "+") ("someone" "eats" "lion" "~")) -> ("someone" "is" "kind" "+"))
The cow eats the cat.
True
1
proof
[(triple2)]
("cow" "eats" "cat" "+")
triple2
The cow does not eat the cat.
False
1
inv-proof
[(triple2)]
("cow" "eats" "cat" "-")
triple2
The cat likes the dog.
True
2
proof
[(((triple1) -> rule6))]
("cat" "likes" "dog" "+")
((triple1) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat does not like the dog.
False
2
inv-proof
[(((triple1) -> rule6))]
("cat" "likes" "dog" "-")
((triple1) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat does not eat the lion.
True
3
proof
[(((((triple1) -> rule6)) -> rule5))]
("cat" "eats" "lion" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat does not eat the lion.
("cat" "eats" "lion" "-")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The cat eats the lion.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5))]
("cat" "eats" "lion" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat does not eat the lion.
("cat" "eats" "lion" "-")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "kind" "-")
The lion eats the cat.
Unknown
rconc
[@1: The lion eats the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "cat" "+")
The lion does not like the dog.
Unknown
inv-rconc
[@1: The lion likes the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "dog" "-")
The cat visits the dog.
Unknown
random
[@0: The cat visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "dog" "+")
The dog does not like the cow.
Unknown
inv-random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "-")
The cat eats the dog.
Unknown
random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "+")
@0: The cat likes the lion.[(triple1)] The cow eats the cat.[(triple2)] The dog does not visit the cow.[(triple5)] The dog eats the lion.[(triple3)] The dog is nice.[(triple4)] The lion does not like the cat.[(triple6)] The lion does not visit the cow.[(triple7)] @1: The cat likes the dog.[(((triple1) -> rule6))] @2: The cat does not eat the lion.[(((((triple1) -> rule6)) -> rule5))]
The cat likes the lion.
("cat" "likes" "lion" "+")
triple1
The cow eats the cat.
("cow" "eats" "cat" "+")
triple2
The dog does not visit the cow.
("dog" "visits" "cow" "-")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The lion does not like the cat.
("lion" "likes" "cat" "-")
triple6
The lion does not visit the cow.
("lion" "visits" "cow" "-")
triple7
The cat likes the dog.
("cat" "likes" "dog" "+")
((triple1) -> (rule6 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat does not eat the lion.
("cat" "eats" "lion" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat does not eat the lion.
("cat" "eats" "lion" "-")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2