The bear eats the dog. The bear is big. The bear is round. The bear visits the cat. The bear visits the cow. The bear visits the dog. The cat eats the cow. The cat is round. The cat sees the dog. The cow eats the dog. The cow is big. The cow sees the dog. The dog is red. The dog does not see the cat. The dog sees the cow. The dog visits the cat. If someone sees the cat then the cat is blue. If the dog does not visit the cow then the cow is not blue. If someone is blue then they see the cow. If someone visits the bear and the bear eats the cat then the cat sees the dog. If someone eats the bear then they visit the bear. If someone sees the bear and they do not visit the dog then they visit the bear. If someone sees the cat and they see the cow then the cow eats the cat. If someone is kind then they see the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not see the cat.
("dog" "sees" "cat" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone sees the cat then the cat is blue.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "blue" "+"))
If the dog does not visit the cow then the cow is not blue.
((("dog" "visits" "cow" "~")) -> ("cow" "is" "blue" "-"))
If someone is blue then they see the cow.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cow" "+"))
If someone visits the bear and the bear eats the cat then the cat sees the dog.
((("someone" "visits" "bear" "+") ("bear" "eats" "cat" "+")) -> ("cat" "sees" "dog" "+"))
If someone eats the bear then they visit the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "visits" "bear" "+"))
If someone sees the bear and they do not visit the dog then they visit the bear.
((("someone" "sees" "bear" "+") ("someone" "visits" "dog" "~")) -> ("someone" "visits" "bear" "+"))
If someone sees the cat and they see the cow then the cow eats the cat.
((("someone" "sees" "cat" "+") ("someone" "sees" "cow" "+")) -> ("cow" "eats" "cat" "+"))
If someone is kind then they see the bear.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bear" "+"))
The cow is big.
True
1
proof
[(triple11)]
("cow" "is" "big" "+")
triple11
The cat does not eat the cow.
False
1
inv-proof
[(triple7)]
("cat" "eats" "cow" "-")
triple7
The cow does not eat the cat.
Unknown
inv-rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "eats" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is round.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the cow.[(triple5)] The bear visits the dog.[(triple6)] The cat eats the cow.[(triple7)] The cat is round.[(triple8)] The cat sees the dog.[(triple9)] The cow eats the dog.[(triple10)] The cow is big.[(triple11)] The cow sees the dog.[(triple12)] The dog does not see the cat.[(triple14)] The dog is red.[(triple13)] The dog sees the cow.[(triple15)] The dog visits the cat.[(triple16)]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The bear visits the dog.
("bear" "visits" "dog" "+")
triple6
The cat eats the cow.
("cat" "eats" "cow" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat sees the dog.
("cat" "sees" "dog" "+")
triple9
The cow eats the dog.
("cow" "eats" "dog" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
triple11
The cow sees the dog.
("cow" "sees" "dog" "+")
triple12
The dog does not see the cat.
("dog" "sees" "cat" "-")
triple14
The dog is red.
("dog" "is" "red" "+")
triple13
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The dog visits the cat.
("dog" "visits" "cat" "+")
triple16