The cat eats the tiger. The tiger sees the cat. If something is cold and it eats the cat then the cat sees the tiger.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something is cold and it eats the cat then the cat sees the tiger.
((("something" "is" "cold" "+") ("something" "eats" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
The cat eats the tiger.
True
1
proof
[(triple1)]
("cat" "eats" "tiger" "+")
triple1
The cat does not eat the tiger.
False
1
inv-proof
[(triple1)]
("cat" "eats" "tiger" "-")
triple1
The cat does not see the tiger.
Unknown
inv-rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "tiger" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The cat eats the tiger.[(triple1)] The tiger sees the cat.[(triple2)]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple2