The cat likes the rabbit. The dog eats the rabbit. The rabbit chases the cat. If someone likes the rabbit then the rabbit eats the cat.
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
If someone likes the rabbit then the rabbit eats the cat.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "eats" "cat" "+"))
The cat likes the rabbit.
True
1
proof
[(triple1)]
("cat" "likes" "rabbit" "+")
triple1
The cat does not like the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "likes" "rabbit" "-")
triple1
The rabbit eats the cat.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The rabbit does not eat the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "eats" "cat" "-")
((triple1) -> (rule1 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cat likes the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The rabbit chases the cat.[(triple3)] @1: The rabbit eats the cat.[(((triple1) -> rule1))]
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple3
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1