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