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