The tiger is blue. The tiger is not cold. The tiger is red. The tiger is not rough. The tiger is round. All cold, rough people are round.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is round.
("tiger" "is" "round" "+")
All cold, rough people are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
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 does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is not cold.[(triple2)] The tiger is not rough.[(triple4)] The tiger is red.[(triple3)] The tiger is round.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is not cold.
("tiger" "is" "cold" "-")
triple2
The tiger is not rough.
("tiger" "is" "rough" "-")
triple4
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple5