The tiger is blue. If the tiger is rough then the tiger is cold. If something is cold then it is blue. If something is cold and green then it is young. All rough, blue things are young. Rough things are young. All cold things are green. Young, rough things are green. Rough, blue things are cold.
The tiger is blue.
("tiger" "is" "blue" "+")
If the tiger is rough then the tiger is cold.
((("tiger" "is" "rough" "+")) -> ("tiger" "is" "cold" "+"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is cold and green then it is young.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All rough, blue things are young.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Young, rough things are green.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Rough, blue things are cold.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "cold" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The tiger is blue.[(triple1)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1