The tiger is cold. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. If someone is young and not kind then they are not cold. If the tiger is not kind then the tiger is red.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone is young and not kind then they are not cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "cold" "-"))
If the tiger is not kind then the tiger is red.
((("tiger" "is" "kind" "~")) -> ("tiger" "is" "red" "+"))
The tiger is red.
True
1
proof
[(triple3)]
("tiger" "is" "red" "+")
triple3
The tiger is not kind.
False
1
inv-proof
[(triple2)]
("tiger" "is" "kind" "-")
triple2
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 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 kind.[(triple2)] The tiger is red.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5