The cat is cold. The cat likes the lion. The cat visits the lion. The dog is cold. The dog is rough. The dog needs the cat. The dog visits the lion. The lion is kind. The lion is nice. The lion likes the cat. The lion needs the cat. The lion visits the cat. If someone likes the lion and the lion needs the dog then they visit the dog. If the dog needs the cat then the dog visits the lion.
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone likes the lion and the lion needs the dog then they visit the dog.
((("someone" "likes" "lion" "+") ("lion" "needs" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If the dog needs the cat then the dog visits the lion.
((("dog" "needs" "cat" "+")) -> ("dog" "visits" "lion" "+"))
The lion likes the cat.
True
1
proof
[(triple10)]
("lion" "likes" "cat" "+")
triple10
The cat does not visit the lion.
False
1
inv-proof
[(triple3)]
("cat" "visits" "lion" "-")
triple3
The lion does not visit the dog.
Unknown
inv-rconc
[@1: The lion visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "dog" "-")
The dog visits the cat.
Unknown
random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "+")
@0: The cat is cold.[(triple1)] The cat likes the lion.[(triple2)] The cat visits the lion.[(triple3)] The dog is cold.[(triple4)] The dog is rough.[(triple5)] The dog needs the cat.[(triple6)] The dog visits the lion.[(triple7 OR ((triple6) -> rule2))] The lion is kind.[(triple8)] The lion is nice.[(triple9)] The lion likes the cat.[(triple10)] The lion needs the cat.[(triple11)] The lion visits the cat.[(triple12)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat likes the lion.
("cat" "likes" "lion" "+")
triple2
The cat visits the lion.
("cat" "visits" "lion" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog needs the cat.
("dog" "needs" "cat" "+")
triple6
The dog visits the lion.
("dog" "visits" "lion" "+")
triple7
((triple6) -> (rule2 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion likes the cat.
("lion" "likes" "cat" "+")
triple10
The lion needs the cat.
("lion" "needs" "cat" "+")
triple11
The lion visits the cat.
("lion" "visits" "cat" "+")
triple12