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