The cat does not chase the lion. The cat is round. The cat needs the cow. The cat needs the dog. The cat needs the lion. The cat visits the cow. The cow chases the dog. The dog chases the cat. The dog chases the lion. The dog is cold. The dog is young. The dog needs the cow. The dog needs the lion. The lion chases the dog. The lion is round. If someone visits the cat then they need the dog. If someone chases the cat then the cat needs the dog. If the cat is not cold then the cat does not need the dog. If the cat needs the cow and the cat needs the dog then the dog needs the cat. If the cow needs the dog then the dog chases the cow. If someone needs the dog and they are not young then they visit the lion. If the cat is young then the cat is round. If someone chases the cat and they are not round then the cat does not visit the dog.
The cat does not chase the lion.
("cat" "chases" "lion" "-")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
If someone visits the cat then they need the dog.
((("someone" "visits" "cat" "+")) -> ("someone" "needs" "dog" "+"))
If someone chases the cat then the cat needs the dog.
((("someone" "chases" "cat" "+")) -> ("cat" "needs" "dog" "+"))
If the cat is not cold then the cat does not need the dog.
((("cat" "is" "cold" "~")) -> ("cat" "needs" "dog" "-"))
If the cat needs the cow and the cat needs the dog then the dog needs the cat.
((("cat" "needs" "cow" "+") ("cat" "needs" "dog" "+")) -> ("dog" "needs" "cat" "+"))
If the cow needs the dog then the dog chases the cow.
((("cow" "needs" "dog" "+")) -> ("dog" "chases" "cow" "+"))
If someone needs the dog and they are not young then they visit the lion.
((("someone" "needs" "dog" "+") ("someone" "is" "young" "~")) -> ("someone" "visits" "lion" "+"))
If the cat is young then the cat is round.
((("cat" "is" "young" "+")) -> ("cat" "is" "round" "+"))
If someone chases the cat and they are not round then the cat does not visit the dog.
((("someone" "chases" "cat" "+") ("someone" "is" "round" "~")) -> ("cat" "visits" "dog" "-"))
The dog is cold.
True
1
proof
[(triple10)]
("dog" "is" "cold" "+")
triple10
The dog is not young.
False
1
inv-proof
[(triple11)]
("dog" "is" "young" "-")
triple11
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The cat does not chase the lion.[(triple1)] The cat is round.[(triple2)] The cat needs the cow.[(triple3)] The cat needs the dog.[(triple4 OR ((triple8) -> rule2))] The cat needs the lion.[(triple5)] The cat visits the cow.[(triple6)] The cow chases the dog.[(triple7)] The dog chases the cat.[(triple8)] The dog chases the lion.[(triple9)] The dog is cold.[(triple10)] The dog is young.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the lion.[(triple13)] The lion chases the dog.[(triple14)] The lion is round.[(triple15)] @1: The dog needs the cat.[(((triple3 triple4) -> rule4) OR ((triple3 ((triple8) -> rule2)) -> rule4))]
The cat does not chase the lion.
("cat" "chases" "lion" "-")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat needs the cow.
("cat" "needs" "cow" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
((triple8) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The cat visits the cow.
("cat" "visits" "cow" "+")
triple6
The cow chases the dog.
("cow" "chases" "dog" "+")
triple7
The dog chases the cat.
("dog" "chases" "cat" "+")
triple8
The dog chases the lion.
("dog" "chases" "lion" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The dog needs the lion.
("dog" "needs" "lion" "+")
triple13
The lion chases the dog.
("lion" "chases" "dog" "+")
triple14
The lion is round.
("lion" "is" "round" "+")
triple15
The dog needs the cat.
("dog" "needs" "cat" "+")
((triple3 triple4) -> (rule4 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
((triple3 ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2