The tiger is not cold. All red things are blue. Red, rough things are blue. If something is rough and not big then it is not blue. If something is blue and not big then it is cold. All red, rough things are cold. If the tiger is blue and the tiger is rough then the tiger is cold. If the tiger is blue and the tiger is red then the tiger is not rough. Cold things are red.
The tiger is not cold.
("tiger" "is" "cold" "-")
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Red, rough things are blue.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is rough and not big then it is not blue.
((("something" "is" "rough" "+") ("something" "is" "big" "~")) -> ("something" "is" "blue" "-"))
If something is blue and not big then it is cold.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "cold" "+"))
All red, rough things are cold.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If the tiger is blue and the tiger is rough then the tiger is cold.
((("tiger" "is" "blue" "+") ("tiger" "is" "rough" "+")) -> ("tiger" "is" "cold" "+"))
If the tiger is blue and the tiger is red then the tiger is not rough.
((("tiger" "is" "blue" "+") ("tiger" "is" "red" "+")) -> ("tiger" "is" "rough" "-"))
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
The tiger is not cold.
True
1
proof
[(triple1)]
("tiger" "is" "cold" "-")
triple1
The tiger is cold.
False
1
inv-proof
[(triple1)]
("tiger" "is" "cold" "+")
triple1
The tiger is not blue.
Unknown
inv-rconc
[@2: The tiger is blue.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("tiger" "is" "blue" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is not cold.[(triple1)]
The tiger is not cold.
("tiger" "is" "cold" "-")
triple1