The tiger is green. Rough things are cold. If something is round then it is rough. If something is round then it is green. If something is cold and rough then it is round. Green, kind things are rough. All green things are cold.
The tiger is green.
("tiger" "is" "green" "+")
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is cold and rough then it is round.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Green, kind things are rough.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
The tiger is green.
True
1
proof
[(triple1)]
("tiger" "is" "green" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple1)]
("tiger" "is" "green" "-")
triple1
The tiger is cold.
True
2
proof
[(((triple1) -> rule6))]
("tiger" "is" "cold" "+")
((triple1) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple1) -> rule6))]
("tiger" "is" "cold" "-")
((triple1) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@2: The tiger is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("tiger" "is" "round" "-")
The tiger is rough.
Unknown
rconc
[@3: The tiger is rough.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule5 <- FAIL)]]
("tiger" "is" "rough" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is green.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule6))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple1) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1