Prova: { true } [skip, skip] { ( 0 = 0 ) } { true } [skip] { true } { true } [skip] { ( 0 = 0 ) } { true } [skip] { true } ( true => ( 0 = 0 ) ) Sentenças a serem provadas: ( true => ( 0 = 0 ) )