The cat does not eat the dog. The cat is round. The cat does not like the cow. The cat does not like the dog. The cow chases the cat. The cow does not chase the dog. The cow eats the cat. The cow eats the dog. The cow is green. The cow is round. The dog chases the cow. The dog eats the cow. The dog is big. The dog is not round. The dog is young. If someone eats the cow and the cow does not like the cat then the cat does not chase the dog. If someone is kind and they do not eat the cow then the cow eats the dog. If someone is big then they like the cow.
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The cat is round.
("cat" "is" "round" "+")
The cat does not like the cow.
("cat" "likes" "cow" "-")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow does not chase the dog.
("cow" "chases" "dog" "-")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog is young.
("dog" "is" "young" "+")
If someone eats the cow and the cow does not like the cat then the cat does not chase the dog.
((("someone" "eats" "cow" "+") ("cow" "likes" "cat" "~")) -> ("cat" "chases" "dog" "-"))
If someone is kind and they do not eat the cow then the cow eats the dog.
((("someone" "is" "kind" "+") ("someone" "eats" "cow" "~")) -> ("cow" "eats" "dog" "+"))
If someone is big then they like the cow.
((("someone" "is" "big" "+")) -> ("someone" "likes" "cow" "+"))
The dog is big.
True
1
proof
[(triple13)]
("dog" "is" "big" "+")
triple13
The dog does not chase the cow.
False
1
inv-proof
[(triple11)]
("dog" "chases" "cow" "-")
triple11
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "cow" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
@0: The cat does not eat the dog.[(triple1)] The cat does not like the cow.[(triple3)] The cat does not like the dog.[(triple4)] The cat is round.[(triple2)] The cow chases the cat.[(triple5)] The cow does not chase the dog.[(triple6)] The cow eats the cat.[(triple7)] The cow eats the dog.[(triple8)] The cow is green.[(triple9)] The cow is round.[(triple10)] The dog chases the cow.[(triple11)] The dog eats the cow.[(triple12)] The dog is big.[(triple13)] The dog is not round.[(triple14)] The dog is young.[(triple15)] @1: The dog likes the cow.[(((triple13) -> rule3))]
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple1
The cat does not like the cow.
("cat" "likes" "cow" "-")
triple3
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple4
The cat is round.
("cat" "is" "round" "+")
triple2
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow does not chase the dog.
("cow" "chases" "dog" "-")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple7
The cow eats the dog.
("cow" "eats" "dog" "+")
triple8
The cow is green.
("cow" "is" "green" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The dog chases the cow.
("dog" "chases" "cow" "+")
triple11
The dog eats the cow.
("dog" "eats" "cow" "+")
triple12
The dog is big.
("dog" "is" "big" "+")
triple13
The dog is not round.
("dog" "is" "round" "-")
triple14
The dog is young.
("dog" "is" "young" "+")
triple15
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple13) -> (rule3 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1