The tiger is not blue. The tiger is cold. The tiger is not green. Green people are cold. If someone is round and not blue then they are not big. If someone is big then they are green.
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not green.
("tiger" "is" "green" "-")
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and not blue then they are not big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "-"))
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
The tiger is cold.
True
1
proof
[(triple2)]
("tiger" "is" "cold" "+")
triple2
The tiger is blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The tiger is cold.[(triple2)] The tiger is not blue.[(triple1)] The tiger is not green.[(triple3)]
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is not blue.
("tiger" "is" "blue" "-")
triple1
The tiger is not green.
("tiger" "is" "green" "-")
triple3