The cat is rough. The cat does not like the dog. The cat visits the lion. The dog is green. The dog is not rough. The dog visits the cat. The lion eats the cat. The lion eats the dog. The lion is green. The lion is not kind. The lion is red. The lion is rough. The lion is young. The lion likes the dog. The lion visits the cat. The lion visits the dog. If something visits the lion then it does not visit the dog. If something visits the dog then the dog visits the lion.
The cat is rough.
("cat" "is" "rough" "+")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something visits the lion then it does not visit the dog.
((("something" "visits" "lion" "+")) -> ("something" "visits" "dog" "-"))
If something visits the dog then the dog visits the lion.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "lion" "+"))
The lion visits the dog.
True
1
proof
[(triple16)]
("lion" "visits" "dog" "+")
triple16
The lion is kind.
False
1
inv-proof
[(triple10)]
("lion" "is" "kind" "+")
triple10
The cat does not visit the dog.
True
2
proof
[(((triple3) -> rule1))]
("cat" "visits" "dog" "-")
((triple3) -> (rule1 % int1))
The cat does not visit the dog.
("cat" "visits" "dog" "-")
int1
The cat visits the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("cat" "visits" "dog" "+")
((triple3) -> (rule1 % int1))
The cat does not visit the dog.
("cat" "visits" "dog" "-")
int1
The dog does not visit the dog.
True
3
proof
[(((((triple16) -> rule2)) -> rule1))]
("dog" "visits" "dog" "-")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog visits the dog.
False
3
inv-proof
[(((((triple16) -> rule2)) -> rule1))]
("dog" "visits" "dog" "+")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog does not like the cat.
Unknown
inv-random
[@0: The dog likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cat" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The cat does not eat the dog.
Unknown
inv-random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "-")
The cat likes the lion.
Unknown
random
[@0: The cat likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "lion" "+")
@0: The cat does not like the dog.[(triple2)] The cat is rough.[(triple1)] The cat visits the lion.[(triple3)] The dog is green.[(triple4)] The dog is not rough.[(triple5)] The dog visits the cat.[(triple6)] The lion eats the cat.[(triple7)] The lion eats the dog.[(triple8)] The lion is green.[(triple9)] The lion is not kind.[(triple10)] The lion is red.[(triple11)] The lion is rough.[(triple12)] The lion is young.[(triple13)] The lion likes the dog.[(triple14)] The lion visits the cat.[(triple15)] The lion visits the dog.[(triple16)] @1: The cat does not visit the dog.[(((triple3) -> rule1))] The dog visits the lion.[(((triple16) -> rule2))] @2: The dog does not visit the dog.[(((((triple16) -> rule2)) -> rule1))]
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple1
The cat visits the lion.
("cat" "visits" "lion" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is not rough.
("dog" "is" "rough" "-")
triple5
The dog visits the cat.
("dog" "visits" "cat" "+")
triple6
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
The lion eats the dog.
("lion" "eats" "dog" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is not kind.
("lion" "is" "kind" "-")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion likes the dog.
("lion" "likes" "dog" "+")
triple14
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15
The lion visits the dog.
("lion" "visits" "dog" "+")
triple16
The cat does not visit the dog.
("cat" "visits" "dog" "-")
((triple3) -> (rule1 % int1))
The cat does not visit the dog.
("cat" "visits" "dog" "-")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
((triple16) -> (rule2 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog does not visit the dog.
("dog" "visits" "dog" "-")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2