The tiger is green. If the tiger is cold and the tiger is not green then the tiger is not red. If someone is green then they are cold.
The tiger is green.
("tiger" "is" "green" "+")
If the tiger is cold and the tiger is not green then the tiger is not red.
((("tiger" "is" "cold" "+") ("tiger" "is" "green" "~")) -> ("tiger" "is" "red" "-"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "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) -> rule2))]
("tiger" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("tiger" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The tiger is green.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule2))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1