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