The cat likes the tiger. The dog is green. The lion needs the tiger. The tiger is cold. If something needs the tiger then it likes the cat.
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something needs the tiger then it likes the cat.
((("something" "needs" "tiger" "+")) -> ("something" "likes" "cat" "+"))
The lion needs the tiger.
True
1
proof
[(triple3)]
("lion" "needs" "tiger" "+")
triple3
The cat does not like the tiger.
False
1
inv-proof
[(triple1)]
("cat" "likes" "tiger" "-")
triple1
The lion likes the cat.
True
2
proof
[(((triple3) -> rule1))]
("lion" "likes" "cat" "+")
((triple3) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion does not like the cat.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "likes" "cat" "-")
((triple3) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The dog does not like the cat.
Unknown
inv-rconc
[@1: The dog likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "cat" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The dog needs the cat.
Unknown
random
[@0: The dog needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cat" "+")
@0: The cat likes the tiger.[(triple1)] The dog is green.[(triple2)] The lion needs the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The lion likes the cat.[(((triple3) -> rule1))]
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple3
The tiger is cold.
("tiger" "is" "cold" "+")
triple4
The lion likes the cat.
("lion" "likes" "cat" "+")
((triple3) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1