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