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