The dog likes the lion. The lion chases the dog. If something likes the lion then the lion is not nice. If something eats the lion and it does not like the dog then the lion is not young. If something chases the dog and the dog is big then the dog does not chase the lion.
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
If something likes the lion then the lion is not nice.
((("something" "likes" "lion" "+")) -> ("lion" "is" "nice" "-"))
If something eats the lion and it does not like the dog then the lion is not young.
((("something" "eats" "lion" "+") ("something" "likes" "dog" "~")) -> ("lion" "is" "young" "-"))
If something chases the dog and the dog is big then the dog does not chase the lion.
((("something" "chases" "dog" "+") ("dog" "is" "big" "+")) -> ("dog" "chases" "lion" "-"))
The dog likes the lion.
True
1
proof
[(triple1)]
("dog" "likes" "lion" "+")
triple1
The lion does not chase the dog.
False
1
inv-proof
[(triple2)]
("lion" "chases" "dog" "-")
triple2
The lion is not nice.
True
2
proof
[(((triple1) -> rule1))]
("lion" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The lion is nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The dog does not chase the lion.
Unknown
inv-random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The dog likes the lion.[(triple1)] The lion chases the dog.[(triple2)] @1: The lion is not nice.[(((triple1) -> rule1))]
The dog likes the lion.
("dog" "likes" "lion" "+")
triple1
The lion chases the dog.
("lion" "chases" "dog" "+")
triple2
The lion is not nice.
("lion" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1