The cat is big. The cat is blue. The cat is cold. The cat is nice. The cat does not need the lion. The cow is not big. The dog is rough. The dog visits the cat. The lion is blue. The lion is cold. The lion is nice. The lion is rough. The lion needs the cow. The lion needs the dog. The lion visits the cat. If the lion visits the dog then the dog visits the lion. If the lion is not cold then the lion does not need the cat. If someone needs the dog and the dog is not rough then the dog eats the cow. If someone visits the lion then they need the dog. If someone eats the cow then the cow visits the lion. If the dog does not eat the cow then the cow needs the cat.
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat does not need the lion.
("cat" "needs" "lion" "-")
The cow is not big.
("cow" "is" "big" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If the lion visits the dog then the dog visits the lion.
((("lion" "visits" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If the lion is not cold then the lion does not need the cat.
((("lion" "is" "cold" "~")) -> ("lion" "needs" "cat" "-"))
If someone needs the dog and the dog is not rough then the dog eats the cow.
((("someone" "needs" "dog" "+") ("dog" "is" "rough" "~")) -> ("dog" "eats" "cow" "+"))
If someone visits the lion then they need the dog.
((("someone" "visits" "lion" "+")) -> ("someone" "needs" "dog" "+"))
If someone eats the cow then the cow visits the lion.
((("someone" "eats" "cow" "+")) -> ("cow" "visits" "lion" "+"))
If the dog does not eat the cow then the cow needs the cat.
((("dog" "eats" "cow" "~")) -> ("cow" "needs" "cat" "+"))
The cat does not need the lion.
True
1
proof
[(triple5)]
("cat" "needs" "lion" "-")
triple5
The cat is not blue.
False
1
inv-proof
[(triple2)]
("cat" "is" "blue" "-")
triple2
The cow does not need the cat.
Unknown
inv-rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "cat" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cat does not need the lion.[(triple5)] The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is nice.[(triple4)] The cow is not big.[(triple6)] The dog is rough.[(triple7)] The dog visits the cat.[(triple8)] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion is nice.[(triple11)] The lion is rough.[(triple12)] The lion needs the cow.[(triple13)] The lion needs the dog.[(triple14)] The lion visits the cat.[(triple15)]
The cat does not need the lion.
("cat" "needs" "lion" "-")
triple5
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cow is not big.
("cow" "is" "big" "-")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog visits the cat.
("dog" "visits" "cat" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion needs the cow.
("lion" "needs" "cow" "+")
triple13
The lion needs the dog.
("lion" "needs" "dog" "+")
triple14
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15