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