The tiger is cold. The tiger is green. The tiger is nice. The tiger is not red. The tiger is round. If the tiger is green and the tiger is not round then the tiger is cold.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger is round.
("tiger" "is" "round" "+")
If the tiger is green and the tiger is not round then the tiger is cold.
((("tiger" "is" "green" "+") ("tiger" "is" "round" "~")) -> ("tiger" "is" "cold" "+"))
The tiger is round.
True
1
proof
[(triple5)]
("tiger" "is" "round" "+")
triple5
The tiger is not nice.
False
1
inv-proof
[(triple3)]
("tiger" "is" "nice" "-")
triple3
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
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 cold.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is not red.[(triple4)] The tiger is round.[(triple5)]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The tiger is not red.
("tiger" "is" "red" "-")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5