The cat visits the tiger. The tiger is nice. If someone is blue then they see the tiger. If someone chases the cat and the cat is round then they see the tiger.
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone is blue then they see the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "tiger" "+"))
If someone chases the cat and the cat is round then they see the tiger.
((("someone" "chases" "cat" "+") ("cat" "is" "round" "+")) -> ("someone" "sees" "tiger" "+"))
The tiger is nice.
True
1
proof
[(triple2)]
("tiger" "is" "nice" "+")
triple2
The cat does not visit the tiger.
False
1
inv-proof
[(triple1)]
("cat" "visits" "tiger" "-")
triple1
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "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 visits the tiger.[(triple1)] The tiger is nice.[(triple2)]
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
triple2