The cat eats the dog. The cat is green. The cat is young. The cat likes the dog. The dog is big. The dog likes the cat. The dog sees the cat. If someone is young and they eat the dog then the dog does not eat the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If someone is young and they eat the dog then the dog does not eat the cat.
((("someone" "is" "young" "+") ("someone" "eats" "dog" "+")) -> ("dog" "eats" "cat" "-"))
The cat eats the dog.
True
1
proof
[(triple1)]
("cat" "eats" "dog" "+")
triple1
The cat is not green.
False
1
inv-proof
[(triple2)]
("cat" "is" "green" "-")
triple2
The dog does not eat the cat.
True
3
proof
[(((triple3 triple1) -> rule1))]
("dog" "eats" "cat" "-")
((triple3 triple1) -> (rule1 % int1))
The dog does not eat the cat.
("dog" "eats" "cat" "-")
int1
The dog eats the cat.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("dog" "eats" "cat" "+")
((triple3 triple1) -> (rule1 % int1))
The dog does not eat the cat.
("dog" "eats" "cat" "-")
int1
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the dog.[(triple1)] The cat is green.[(triple2)] The cat is young.[(triple3)] The cat likes the dog.[(triple4)] The dog is big.[(triple5)] The dog likes the cat.[(triple6)] The dog sees the cat.[(triple7)] @1: The dog does not eat the cat.[(((triple3 triple1) -> rule1))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat likes the dog.
("cat" "likes" "dog" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog likes the cat.
("dog" "likes" "cat" "+")
triple6
The dog sees the cat.
("dog" "sees" "cat" "+")
triple7
The dog does not eat the cat.
("dog" "eats" "cat" "-")
((triple3 triple1) -> (rule1 % int1))
The dog does not eat the cat.
("dog" "eats" "cat" "-")
int1